3 main.ml: an entry point to be used in place of the cocci top level, to
4 check only the parsing of SmPL files.
6 parse_cocci.ml: Initiates the parsing process and subsequent processing
7 phases. There are two entry points:
9 process: called by main, returns metavariables and merged ast code
11 process_for_ctl: called by engine/main, returns no metavariables, but
12 instead ast and ast0 code. ast code is used by ast0toctl for printing
13 and ast0 code is transformed to CTL.
27 parser_cocci_menhir.ml