Module OASISContext

module OASISContext: sig .. end

Global context for messages and i18n


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 Stdlib.ref

Default context

val fspecs : unit -> (string * Stdlib.Arg.spec * string) list * (unit -> t)

Command line arguments to create OASISContext.t.

val quiet : t

Quiet context.