cil 1.7.3 (latest) · OCaml Package

val logChannel : Pervasives.out_channel Pervasives.ref

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 = {

}

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

package cil