Module OASISContext

Global context for messages and i18n

type level = [
  1. | `Debug
  2. | `Info
  3. | `Warning
  4. | `Error
]
type source
type source_filename = source OASISFileSystem.filename
type t = {
  1. quiet : bool;
    (*

    Display nothing.

    *)
  2. info : bool;
    (*

    Display info messages.

    *)
  3. debug : bool;
    (*

    Display also debug messages.

    *)
  4. ignore_plugins : bool;
    (*

    Don't use plugins

    *)
  5. ignore_unknown_fields : bool;
    (*

    Ignore fields unknown

    *)
  6. printf : level -> string -> unit;
    (*

    Redirect output

    *)
  7. srcfs : source OASISFileSystem.fs;
    (*

    The file system containing the sources

    *)
  8. load_oasis_plugin : string -> bool;
    (*

    Load the named OASIS plugin and return if it was able to find it.

    *)
}
val default : t ref

Default context

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

Command line arguments to create t.

val quiet : t

Quiet context.