Daniel@0: /* Part of DML (Digital Music Laboratory)
Daniel@0: 	Copyright 2014-2015 Samer Abdallah, University of London
Daniel@0: 	 
Daniel@0: 	This program is free software; you can redistribute it and/or
Daniel@0: 	modify it under the terms of the GNU General Public License
Daniel@0: 	as published by the Free Software Foundation; either version 2
Daniel@0: 	of the License, or (at your option) any later version.
Daniel@0: 
Daniel@0: 	This program is distributed in the hope that it will be useful,
Daniel@0: 	but WITHOUT ANY WARRANTY; without even the implied warranty of
Daniel@0: 	MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
Daniel@0: 	GNU General Public License for more details.
Daniel@0: 
Daniel@0: 	You should have received a copy of the GNU General Public
Daniel@0: 	License along with this library; if not, write to the Free Software
Daniel@0: 	Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA
Daniel@0: */
Daniel@0: 
Daniel@0: :- module(termutils, 
Daniel@0:    [  with_status_line/1
Daniel@0:    ,  put_cap/2
Daniel@0:    ,  put_cap/1
Daniel@0:    ,  status/2
Daniel@0:    ,  msg/2
Daniel@0:    ,  msg/1
Daniel@0:    ,  heading/2
Daniel@0:    ,  ask/3
Daniel@0:    ]).
Daniel@0:       
Daniel@0: :- meta_predicate with_status_line(0).
Daniel@0: 
Daniel@0: put_cap(Cap) :- tty_get_capability(Cap,string,Atom), tty_put(Atom,1).
Daniel@0: put_cap(Cap,Lines) :- tty_get_capability(Cap,string,Atom), tty_put(Atom,Lines).
Daniel@0: 
Daniel@0: user:goal_expansion(put_cap(Cap), tty_put(Atom,1)) :-
Daniel@0: 	tty_get_capability(Cap,string,Atom).
Daniel@0: user:goal_expansion(put_cap(Cap,Lines), tty_put(Atom,Lines)) :-
Daniel@0: 	tty_get_capability(Cap,string,Atom).
Daniel@0: 
Daniel@0: with_status_line(Goal) :-
Daniel@0: 	stream_property(user_output,buffer(Buff)),
Daniel@0: 	tty_size(_,Width), W is Width-1,
Daniel@0: 	flag(line_len,_,W),
Daniel@0: 	setup_call_cleanup(
Daniel@0: 		set_stream(user_output,buffer(false)), (put_cap(cr), call(Goal), status("",[])),
Daniel@0: 		set_stream(user_output,buffer(Buff))).
Daniel@0: 
Daniel@0: msg(F) :- msg(F,[]).
Daniel@0: msg(F,A) :- format(F,A), nl.
Daniel@0: ask(F,A,Ch) :- format(F,A), flush_output, get_single_char(C), put_char(C), char_code(Ch,C), nl.
Daniel@0: heading(F,A) :- ansi_format([bold],F,A), nl,nl.
Daniel@0: status(F,A) :- 
Daniel@0: 	format(string(Msg),F,A), 
Daniel@0: 	flag(line_len,MaxLen,MaxLen),
Daniel@0: 	string_length(Msg,Len),
Daniel@0: 	(Len>MaxLen -> sub_string(Msg,0,MaxLen,_,Msg1); Msg=Msg1),
Daniel@0: 	write(Msg1), put_cap(ce), put_cap(cr).