package cil

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val init : filename:string -> Lexing.lexbuf
val finish : unit -> unit
val initial : Lexing.lexbuf -> Cparser.token
val push_context : unit -> unit
val add_type : string -> unit
val add_identifier : string -> unit
val pop_context : unit -> unit
val get_white : unit -> string
val get_extra_lexeme : unit -> string
val clear_white : unit -> unit
val clear_lexeme : unit -> unit
val currentLoc : unit -> Cabs.cabsloc