goblint-cil
  1. Overview
  2. Docs
package goblint-cil
Legend:
Library
Module
Module type
Parameter
Class
Class type
val debugFlag : bool Pervasives.ref
val verboseFlag : bool Pervasives.ref
val colorFlag : bool Pervasives.ref
val redEscStr : string
val greenEscStr : string
val yellowEscStr : string
val blueEscStr : string
val purpleEscStr : string
val cyanEscStr : string
val whiteEscStr : string
val resetEscStr : string
val warnFlag : bool Pervasives.ref
exception Error
val error : ('a, unit, Pretty.doc, unit) Pervasives.format4 -> 'a
val bug : ('a, unit, Pretty.doc, unit) Pervasives.format4 -> 'a
val unimp : ('a, unit, Pretty.doc, unit) Pervasives.format4 -> 'a
val s : 'a -> 'b
val hadErrors : bool Pervasives.ref
val warn : ('a, unit, Pretty.doc, unit) Pervasives.format4 -> 'a
val warnOpt : ('a, unit, Pretty.doc, unit) Pervasives.format4 -> 'a
val log : ('a, unit, Pretty.doc, unit) Pervasives.format4 -> 'a
val logg : ('a, unit, Pretty.doc, unit) Pervasives.format4 -> 'a
val null : ('a, unit, Pretty.doc, unit) Pervasives.format4 -> 'a
val pushContext : (unit -> Pretty.doc) -> unit
val popContext : unit -> unit
val showContext : unit -> unit
val withContext : (unit -> Pretty.doc) -> ('a -> 'b) -> 'a -> 'b
val newline : unit -> unit
val newHline : unit -> unit
val getPosition : unit -> int * string * int
val getHPosition : unit -> int * string
val setHLine : int -> unit
val setHFile : string -> unit
val setCurrentLine : int -> unit
val setCurrentFile : string -> unit
type location = {
  1. file : string;
  2. line : int;
  3. hfile : string;
  4. hline : int;
}
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
val readingFromStdin : bool Pervasives.ref
val startParsing : ?useBasename:bool -> string -> Lexing.lexbuf
val startParsingFromString : ?file:string -> ?line:int -> string -> Lexing.lexbuf
val finishParsing : unit -> unit