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.