Newer
Older
(*----------------------------------------------------------------------
module : Lv6Verbose
date :
------------------------------------------------------------------------
description :
Affichage verbeux avec appel "printf-like" :
Lv6Verbose.put "format" args...
----------------------------------------------------------------------*)
Erwan Jahier
committed
val on : unit -> unit
val off : unit -> unit
val set : int -> unit
val level : unit -> int
(* GESTION DES FLAGS DE VERBOSE POUR LE DEBUG "FIN"
Usage typique :
- dans un module Toto, faire au début :
let dbgflag = Global.get_dbg_flag "Toto"
- puis utiliser dans le code :
Lv6Verbose.printf ~flag:dbg ...
Lv6Verbose.exe ~flag:dbg ...
tout les Lv6Verbose seront pris en compte
type flag
val get_flag : string -> flag
val set_flag : flag -> unit
val flag_list : unit -> string list
Erwan Jahier
committed
(* print/execute if EITHER:
- level (dflt=1) is >= than the set level
- flag is set
*)
val printf : ?level:int -> ?flag:flag -> ('a, unit, string, unit) format4 -> 'a
val put : ?level:int -> ?flag:flag -> ('a, unit, string, unit) format4 -> 'a
val print_string : ?level:int -> ?flag:flag -> string -> unit
val exe : ?level:int -> ?flag:flag -> (unit -> unit) -> unit
val profile_info : string -> unit