source: Deliverables/D2.2/8051/src/clight/clightParser.mli

Last change on this file was 1542, checked in by tranquil, 8 years ago

merge of indexed labels branch

File size: 355 bytes
Line 
1(** This module implements a parser for [C] based on [gcc] and
2    [CIL]. *)
3
4(** [process ?is_lustre_file ?remove_lustre_externals filename] parses the
5    contents of [filename] to obtain an abstract syntax tree that represents a
6    Clight program. *)
7val process :
8  ?is_lustre_file:bool -> ?remove_lustre_externals:bool ->
9  string -> Clight.program
Note: See TracBrowser for help on using the repository browser.