|
Daniel@0
|
1 /* Part of DML (Digital Music Laboratory)
|
|
Daniel@0
|
2 Copyright 2014-2015 Samer Abdallah, University of London
|
|
Daniel@0
|
3
|
|
Daniel@0
|
4 This program is free software; you can redistribute it and/or
|
|
Daniel@0
|
5 modify it under the terms of the GNU General Public License
|
|
Daniel@0
|
6 as published by the Free Software Foundation; either version 2
|
|
Daniel@0
|
7 of the License, or (at your option) any later version.
|
|
Daniel@0
|
8
|
|
Daniel@0
|
9 This program is distributed in the hope that it will be useful,
|
|
Daniel@0
|
10 but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
Daniel@0
|
11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
Daniel@0
|
12 GNU General Public License for more details.
|
|
Daniel@0
|
13
|
|
Daniel@0
|
14 You should have received a copy of the GNU General Public
|
|
Daniel@0
|
15 License along with this library; if not, write to the Free Software
|
|
Daniel@0
|
16 Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
|
|
Daniel@0
|
17 */
|
|
Daniel@0
|
18
|
|
Daniel@0
|
19 :- module(termutils,
|
|
Daniel@0
|
20 [ with_status_line/1
|
|
Daniel@0
|
21 , put_cap/2
|
|
Daniel@0
|
22 , put_cap/1
|
|
Daniel@0
|
23 , status/2
|
|
Daniel@0
|
24 , msg/2
|
|
Daniel@0
|
25 , msg/1
|
|
Daniel@0
|
26 , heading/2
|
|
Daniel@0
|
27 , ask/3
|
|
Daniel@0
|
28 ]).
|
|
Daniel@0
|
29
|
|
Daniel@0
|
30 :- meta_predicate with_status_line(0).
|
|
Daniel@0
|
31
|
|
Daniel@0
|
32 put_cap(Cap) :- tty_get_capability(Cap,string,Atom), tty_put(Atom,1).
|
|
Daniel@0
|
33 put_cap(Cap,Lines) :- tty_get_capability(Cap,string,Atom), tty_put(Atom,Lines).
|
|
Daniel@0
|
34
|
|
Daniel@0
|
35 user:goal_expansion(put_cap(Cap), tty_put(Atom,1)) :-
|
|
Daniel@0
|
36 tty_get_capability(Cap,string,Atom).
|
|
Daniel@0
|
37 user:goal_expansion(put_cap(Cap,Lines), tty_put(Atom,Lines)) :-
|
|
Daniel@0
|
38 tty_get_capability(Cap,string,Atom).
|
|
Daniel@0
|
39
|
|
Daniel@0
|
40 with_status_line(Goal) :-
|
|
Daniel@0
|
41 stream_property(user_output,buffer(Buff)),
|
|
Daniel@0
|
42 tty_size(_,Width), W is Width-1,
|
|
Daniel@0
|
43 flag(line_len,_,W),
|
|
Daniel@0
|
44 setup_call_cleanup(
|
|
Daniel@0
|
45 set_stream(user_output,buffer(false)), (put_cap(cr), call(Goal), status("",[])),
|
|
Daniel@0
|
46 set_stream(user_output,buffer(Buff))).
|
|
Daniel@0
|
47
|
|
Daniel@0
|
48 msg(F) :- msg(F,[]).
|
|
Daniel@0
|
49 msg(F,A) :- format(F,A), nl.
|
|
Daniel@0
|
50 ask(F,A,Ch) :- format(F,A), flush_output, get_single_char(C), put_char(C), char_code(Ch,C), nl.
|
|
Daniel@0
|
51 heading(F,A) :- ansi_format([bold],F,A), nl,nl.
|
|
Daniel@0
|
52 status(F,A) :-
|
|
Daniel@0
|
53 format(string(Msg),F,A),
|
|
Daniel@0
|
54 flag(line_len,MaxLen,MaxLen),
|
|
Daniel@0
|
55 string_length(Msg,Len),
|
|
Daniel@0
|
56 (Len>MaxLen -> sub_string(Msg,0,MaxLen,_,Msg1); Msg=Msg1),
|
|
Daniel@0
|
57 write(Msg1), put_cap(ce), put_cap(cr).
|
