Commit | Line | Data |
---|---|---|
34e49164 C |
1 | Workflow: |
2 | ||
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. | |
5 | ||
6 | parse_cocci.ml: Initiates the parsing process and subsequent processing | |
7 | phases. There are two entry points: | |
8 | ||
9 | process: called by main, returns metavariables and merged ast code | |
10 | ||
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. | |
14 | ||
15 | ||
16 | ||
17 | arity.ml | |
18 | ast0_cocci.ml | |
19 | ast0toast.ml | |
20 | ast_cocci.ml | |
21 | check_meta.ml | |
22 | data.ml | |
23 | lexer_cocci.ml | |
24 | main.ml | |
25 | merge.ml | |
26 | parse_cocci.ml | |
27 | parser_cocci_menhir.ml | |
28 | parser_cocci.ml | |
29 | plus.ml | |
30 | semantic_cocci.ml | |
31 | top_level.ml | |
32 | unparse_cocci.ml |