From a5f03d96eee482cd84861fc8cefff9eb451c0cad Mon Sep 17 00:00:00 2001 From: xleroy Date: Sun, 29 Mar 2009 09:47:11 +0000 Subject: Cleaned up configure script. Distribution of CIL as an expanded source tree with changes applied (instead of original .tar.gz + patches to be applied at config time). git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1020 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- cil/doc/api/Errormsg.html | 141 ++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 141 insertions(+) create mode 100644 cil/doc/api/Errormsg.html (limited to 'cil/doc/api/Errormsg.html') diff --git a/cil/doc/api/Errormsg.html b/cil/doc/api/Errormsg.html new file mode 100644 index 00000000..bc194728 --- /dev/null +++ b/cil/doc/api/Errormsg.html @@ -0,0 +1,141 @@ + + + + + + + + + + + + + + + + + + + + + + + + + +CIL API Documentation (version 1.3.5) : Errormsg + + +
Previous + Up + Next +
+

Module Errormsg

+
+
module Errormsg: sig .. end
Utility functions for error-reporting
+
+
val logChannel : Pervasives.out_channel Pervasives.ref
+A channel for printing log messages
+
+
val debugFlag : bool Pervasives.ref
+If set then print debugging info
+
+
val verboseFlag : bool Pervasives.ref
val warnFlag : bool Pervasives.ref
+Set to true if you want to see all warnings.
+
+
exception Error
+
+Error reporting functions raise this exception
+
+
val error : ('a, unit, Pretty.doc, unit) format4 -> 'a
+Prints an error message of the form Error: .... + Use in conjunction with s, for example: E.s (E.error ... ).
+
+
val bug : ('a, unit, Pretty.doc, unit) format4 -> 'a
+Similar to error except that its output has the form Bug: ...
+
+
val unimp : ('a, unit, Pretty.doc, unit) format4 -> 'a
+Similar to error except that its output has the form Unimplemented: ...
+
+
val s : 'a -> 'b
+Stop the execution by raising an Error.
+
+
val hadErrors : bool Pervasives.ref
+This is set whenever one of the above error functions are called. It must + be cleared manually
+
+
val warn : ('a, unit, Pretty.doc, unit) format4 -> 'a
+Like Errormsg.error but does not raise the Errormsg.Error + exception. Return type is unit.
+
+
val warnOpt : ('a, unit, Pretty.doc, unit) format4 -> 'a
+Like Errormsg.warn but optional. Printed only if the + Errormsg.warnFlag is set
+
+
val log : ('a, unit, Pretty.doc, unit) format4 -> 'a
+Print something to logChannel
+
+
val logg : ('a, unit, Pretty.doc, unit) format4 -> 'a
+same as Errormsg.log but do not wrap lines
+
+
val null : ('a, unit, Pretty.doc, unit) format4 -> 'a
+Do not actually print (i.e. print to /dev/null)
+
+
val pushContext : (unit -> Pretty.doc) -> unit
+Registers a context printing function
+
+
val popContext : unit -> unit
+Removes the last registered context printing function
+
+
val showContext : unit -> unit
+Show the context stack to stderr
+
+
val withContext : (unit -> Pretty.doc) -> ('a -> 'b) -> 'a -> 'b
+To ensure that the context is registered and removed properly, use the + function below
+
+
val newline : unit -> unit
val newHline : unit -> unit
val getPosition : unit -> int * string * int
val getHPosition : unit -> int * string
+high-level position
+
+
val setHLine : int -> unit
val setHFile : string -> unit
val setCurrentLine : int -> unit
val setCurrentFile : string -> unit

type location = { + + + + + + + + + + + + + + + + + + + +
+   +file : string;(*The file name*)
+   +line : int;(*The line number*)
+   +hfile : string;(*The high-level file name, or "" if not present*)
+   +hline : int;(*The high-level line number, or 0 if not present*)
+} + +
+Type for source-file locations
+
+ +
val d_loc : unit -> location -> Pretty.doc
val d_hloc : unit -> location -> Pretty.doc
val getLocation : unit -> location
val parse_error : string -> 'a
val locUnknown : location
+An unknown location for use when you need one but you don't have one
+
+
val readingFromStdin : bool Pervasives.ref
+Records whether the stdin is open for reading the goal *
+
+
val startParsing : ?useBasename:bool -> string -> Lexing.lexbuf
val startParsingFromString : ?file:string -> ?line:int -> string -> Lexing.lexbuf
val finishParsing : unit -> unit
\ No newline at end of file -- cgit