Commit 80e1a3d2 authored by Loïc Correnson's avatar Loïc Correnson Committed by Allan Blanchard
Browse files

[log] exporting tty mode for channels

parent 722e71ed
......@@ -804,6 +804,7 @@ sig
('a,formatter,unit) format -> 'a
val result : ?level:int -> ?dkey:category -> 'a pretty_printer
val has_tty : unit -> bool
val feedback: ?ontty:ontty -> ?level:int -> ?dkey:category -> 'a pretty_printer
val debug : ?level:int -> ?dkey:category -> 'a pretty_printer
val warning : ?wkey: warn_category -> 'a pretty_printer
......@@ -1038,6 +1039,8 @@ struct
let transient channel = channel.terminal.isatty && !tty ()
let has_tty () = transient channel
let feedback
?(ontty=`Message)
?(level=1) ?dkey ?current ?source
......
......@@ -158,6 +158,9 @@ module type Messages = sig
@since Beryllium-20090601-beta1
@see <https://frama-c.com/download/frama-c-plugin-development-guide.pdf> Plug-in Development Guide *)
val has_tty : unit -> bool
(** Returns [true] is this Log's channel is in console mode *)
val feedback : ?ontty:ontty -> ?level:int -> ?dkey:category -> 'a pretty_printer
(** Progress and feedback. Level is tested against the verbosity level.
@since Beryllium-20090601-beta1
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment