sig
val newline : unit -> unit
val currentLoc : unit -> Cil_datatype.Location.t
val setCurrentWorkingDirectory : string -> unit
val setCurrentFile : string -> unit
val setCurrentLine : int -> unit
val startParsing : string -> Lexing.lexbuf
val finishParsing : unit -> unit
val pp_context_from_file :
?ctx:int ->
?start_line:int -> Format.formatter -> Filepath.position -> unit
val parse_error :
?source:Filepath.position ->
('a, Format.formatter, unit, 'b) Pervasives.format4 -> 'a
val had_errors : unit -> bool
val clear_errors : unit -> unit
end