Note:

You are viewing a development version of the library. Goto the latest version.

Module OASISContext

module OASISContext: sig .. end
Global context for messages and i18n
Author(s): Sylvain Le Gall

type level = [ `Debug | `Error | `Info | `Warning ] 
type source 
type source_filename = source OASISFileSystem.filename 
val in_srcdir : OASISUnixPath.unix_filename -> source_filename
type t = {
   quiet : bool; (*
Display nothing.
*)
   info : bool; (*
Display info messages.
*)
   debug : bool; (*
Display also debug messages.
*)
   ignore_plugins : bool; (*
Don't use plugins
*)
   ignore_unknown_fields : bool; (*
Ignore fields unknown
*)
   printf : level -> string -> unit; (*
Redirect output
*)
   srcfs : source OASISFileSystem.fs; (*
The file system containing the sources
*)
   load_oasis_plugin : string -> bool; (*
Load the named OASIS plugin and return if it was able to find it.
*)
}
val default : t Pervasives.ref
Default context
val fspecs : unit -> (string * Arg.spec * string) list * (unit -> t)
Command line arguments to create OASISContext.t.
val quiet : t
Quiet context.