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

Last change on this file since 1462 was 1462, checked in by ayache, 8 years ago

Added D5.1: Frama-C plug-in and Lustre wrapper. D2.2 (8051) has been updated accordingly.

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