]> matita.cs.unibo.it Git - helm.git/blob - helm/uwobo/src/ocaml/uwobo_logger.mli
uwobo ocaml daily snapshot: Tue, 26 Nov 2002 14:26:36 +0100
[helm.git] / helm / uwobo / src / ocaml / uwobo_logger.mli
1
2 type priority = [
3   | `Emerg    (* system is unusable *)
4   | `Alert    (* action must be taken immediately *)
5   | `Crit     (* critical conditions *)
6   | `Err      (* error conditions *)
7   | `Warning  (* warning conditions *)
8   | `Notice   (* normal, but significant, condition *)
9   | `Info     (* informational message *)
10   | `Debug    (* debug-level message *)
11 ]
12
13   (** @param level minimum level of priority that will be reported, msg with
14   priority less than this will be ignored *)
15 class sysLogger:
16   ?level: priority ->
17   unit ->
18     object
19         (** enable logging, by default logging is disabled *)
20       method enable: unit
21         (** disable logging *)
22       method disable: unit
23         (** log a message *)
24       method log: priority -> string -> unit
25     end
26
27 class processingLogger:
28   unit ->
29     object
30       method log: string -> unit
31       method asText: string
32       method asHtml: string
33     end
34