Commit | Line | Data |
---|---|---|
951c7801 C |
1 | type sequence = |
2 | Seq of element * sequence | |
3 | | Empty | |
4 | | SExists of Ast_cocci.meta_name * sequence | |
5 | ||
6 | and term = | |
7 | Atomic of Ast_cocci.rule_elem | |
8 | | IfThen of term * term * Ast_cocci.end_info | |
9 | | TExists of Ast_cocci.meta_name * term | |
10 | ||
11 | and element = | |
12 | Term of term * dots_bef_aft | |
13 | | Or of sequence * sequence | |
14 | | DInfo of dots | |
15 | | EExists of Ast_cocci.meta_name * element | |
16 | ||
ae4735db | 17 | and dots = |
951c7801 C |
18 | Dots |
19 | | Nest of sequence | |
20 | | When of dots * sequence | |
21 | ||
22 | and dots_bef_aft = | |
23 | NoDots | |
24 | | AddingBetweenDots of term * int (*index of let var*) | |
25 | | DroppingBetweenDots of term * int (*index of let var*) | |
26 |