Commit | Line | Data |
---|---|---|
34e49164 C |
1 | exception Error |
2 | ||
3 | type token = | |
4 | | Tvolatile of (Data.clt) | |
5 | | Tvoid of (Data.clt) | |
6 | | Tunsigned of (Data.clt) | |
7 | | Tunion of (Data.clt) | |
8 | | Ttypedef of (Data.clt) | |
9 | | Tstruct of (Data.clt) | |
10 | | Tstatic of (Data.clt) | |
1eddfd50 C |
11 | | Tssize_t of (Data.clt) |
12 | | Tsize_t of (Data.clt) | |
34e49164 C |
13 | | Tsigned of (Data.clt) |
14 | | Tshort of (Data.clt) | |
15 | | Tregister of (Data.clt) | |
1eddfd50 | 16 | | Tptrdiff_t of (Data.clt) |
34e49164 C |
17 | | Tlong of (Data.clt) |
18 | | Tlist | |
19 | | Tint of (Data.clt) | |
20 | | Tinline of (Data.clt) | |
21 | | Tfloat of (Data.clt) | |
22 | | Textern of (Data.clt) | |
faf9a90c | 23 | | Tenum of (Data.clt) |
34e49164 C |
24 | | Tdouble of (Data.clt) |
25 | | Tconst of (Data.clt) | |
26 | | Tchar of (Data.clt) | |
27 | | Tauto of (Data.clt) | |
28 | | Tattr of (string * Data.clt) | |
29 | | TXor of (Data.clt) | |
30 | | TWords | |
31 | | TWhy0 | |
32 | | TWhy of (Data.clt) | |
33 | | TWhile of (Data.clt) | |
1be43e12 C |
34 | | TWhenTrue of (Data.clt) |
35 | | TWhenFalse of (Data.clt) | |
34e49164 | 36 | | TWhen of (Data.clt) |
951c7801 | 37 | | TVirtual |
34e49164 | 38 | | TUsing |
aba5c457 | 39 | | TUnderscore |
3a314143 | 40 | | TUndef of (Data.clt * token) |
34e49164 C |
41 | | TTypedef |
42 | | TTypeId of (string * Data.clt) | |
43 | | TType | |
951c7801 C |
44 | | TTildeExclEq of (Data.clt) |
45 | | TTildeEq of (Data.clt) | |
34e49164 | 46 | | TTilde of (Data.clt) |
97111a47 C |
47 | | TSymbol |
48 | | TSymId of (string * Data.clt) | |
34e49164 | 49 | | TSwitch of (Data.clt) |
5636bb2c | 50 | | TSub of (Data.clt) |
34e49164 C |
51 | | TString of (string * Data.clt) |
52 | | TStrict of (Data.clt) | |
53 | | TStatement | |
54 | | TSizeof of (Data.clt) | |
413ffc02 C |
55 | | TShROp of (Ast_cocci.arithOp * Data.clt) |
56 | | TShLOp of (Ast_cocci.arithOp * Data.clt) | |
34e49164 | 57 | | TScriptData of (string) |
1be43e12 | 58 | | TScript |
34e49164 C |
59 | | TRuleName of (string) |
60 | | TRightIso | |
34e49164 C |
61 | | TReturn of (Data.clt) |
62 | | TPure | |
63 | | TPtrOp of (Data.clt) | |
64 | | TPtVirg of (Data.clt) | |
c3e37e97 | 65 | | TPragma of (Ast_cocci.added_string * Data.clt) |
34e49164 C |
66 | | TPosition |
67 | | TPosAny | |
68 | | TPlusFile of (string * Data.clt) | |
69 | | TPlus0 | |
70 | | TPlus of (Data.clt) | |
71 | | TPathIsoFile of (string) | |
72 | | TParameter | |
73 | | TPOEllipsis of (Data.clt) | |
74 | | TPCEllipsis of (Data.clt) | |
17ba0788 | 75 | | TPArob of (Data.clt) |
34e49164 C |
76 | | TOrLog of (Data.clt) |
77 | | TOr of (Data.clt) | |
78 | | TOn | |
79 | | TOPar0 of (Data.clt) | |
80 | | TOPar of (Data.clt) | |
1be43e12 | 81 | | TOInit of (Data.clt) |
34e49164 C |
82 | | TOEllipsis of (Data.clt) |
83 | | TOCro of (Data.clt) | |
84 | | TOBrace of (Data.clt) | |
85 | | TNothing | |
86 | | TNotEq of (Data.clt) | |
87 | | TNever | |
88 | | TName | |
89 | | TMul of (Data.clt) | |
90 | | TMinusFile of (string * Data.clt) | |
91 | | TMinus of (Data.clt) | |
92 | | TMid0 of (Data.clt) | |
b23ff9c7 | 93 | | TMetavariable |
34e49164 C |
94 | | TMetaType of (Parse_aux.info) |
95 | | TMetaStmList of (Parse_aux.info) | |
96 | | TMetaStm of (Parse_aux.info) | |
97 | | TMetaPos of (Parse_aux.pos_info) | |
98 | | TMetaParamList of (Parse_aux.list_info) | |
99 | | TMetaParam of (Parse_aux.info) | |
951c7801 | 100 | | TMetaLocalIdExp of (Parse_aux.typed_expinfo) |
34e49164 C |
101 | | TMetaLocalFunc of (Parse_aux.idinfo) |
102 | | TMetaIterator of (Parse_aux.idinfo) | |
8f657093 | 103 | | TMetaInitList of (Parse_aux.list_info) |
113803cf | 104 | | TMetaInit of (Parse_aux.info) |
951c7801 | 105 | | TMetaIdExp of (Parse_aux.typed_expinfo) |
8babbc8f | 106 | | TMetaId of (Parse_aux.midinfo) |
34e49164 | 107 | | TMetaFunc of (Parse_aux.idinfo) |
190f1acf | 108 | | TMetaFieldList of (Parse_aux.list_info) |
413ffc02 | 109 | | TMetaField of (Parse_aux.info) |
34e49164 | 110 | | TMetaExpList of (Parse_aux.list_info) |
951c7801 | 111 | | TMetaExp of (Parse_aux.typed_expinfo) |
34e49164 C |
112 | | TMetaErr of (Parse_aux.expinfo) |
113 | | TMetaDeclarer of (Parse_aux.idinfo) | |
413ffc02 | 114 | | TMetaDecl of (Parse_aux.info) |
951c7801 | 115 | | TMetaConst of (Parse_aux.typed_expinfo) |
b23ff9c7 | 116 | | TMeta of (Parse_aux.info) |
34e49164 C |
117 | | TMPtVirg |
118 | | TLogOp of (Ast_cocci.logicalOp * Data.clt) | |
119 | | TLocal | |
120 | | TLineEnd of (Data.clt) | |
121 | | TIteratorId of (string * Data.clt) | |
122 | | TIterator | |
123 | | TIsoType | |
124 | | TIsoTopLevel | |
c3e37e97 | 125 | | TIsoToTestExpression |
34e49164 C |
126 | | TIsoTestExpression |
127 | | TIsoStatement | |
128 | | TIsoExpression | |
129 | | TIsoDeclaration | |
130 | | TIsoArgExpression | |
131 | | TIso | |
132 | | TInvalid | |
133 | | TInt of (string * Data.clt) | |
b1b2de81 | 134 | | TInitialize |
113803cf | 135 | | TInitialiser |
34e49164 C |
136 | | TIncludeNL of (string * Data.clt) |
137 | | TIncludeL of (string * Data.clt) | |
138 | | TInc of (Data.clt) | |
139 | | TIf of (Data.clt) | |
140 | | TIdentifier | |
141 | | TIdent of (string * Data.clt) | |
142 | | TIdExpression | |
143 | | TGoto of (Data.clt) | |
faf9a90c | 144 | | TGenerated |
34e49164 C |
145 | | TFunction |
146 | | TFunDecl of (Data.clt) | |
147 | | TFresh | |
148 | | TForall | |
149 | | TFor of (Data.clt) | |
150 | | TFloat of (string * Data.clt) | |
b1b2de81 | 151 | | TFinalize |
413ffc02 | 152 | | TField |
34e49164 C |
153 | | TExtends |
154 | | TExpression | |
155 | | TExists | |
156 | | TEver | |
157 | | TError | |
158 | | TEqEq of (Data.clt) | |
159 | | TEq of (Data.clt) | |
160 | | TElse of (Data.clt) | |
161 | | TEllipsis of (Data.clt) | |
162 | | TDotDot of (Data.clt) | |
163 | | TDot of (Data.clt) | |
164 | | TDo of (Data.clt) | |
165 | | TDmOp of (Ast_cocci.arithOp * Data.clt) | |
166 | | TDisable | |
167 | | TDepends | |
708f4980 | 168 | | TDefineParam of (Data.clt * token * int * int) |
34e49164 C |
169 | | TDefine of (Data.clt * token) |
170 | | TDefault of (Data.clt) | |
171 | | TDeclarerId of (string * Data.clt) | |
172 | | TDeclarer | |
413ffc02 | 173 | | TDeclaration |
34e49164 | 174 | | TDec of (Data.clt) |
978fd7e5 | 175 | | TCppConcatOp |
34e49164 C |
176 | | TContinue of (Data.clt) |
177 | | TContext | |
178 | | TConstant | |
179 | | TComma of (Data.clt) | |
180 | | TChar of (string * Data.clt) | |
181 | | TCase of (Data.clt) | |
182 | | TCPar0 of (Data.clt) | |
183 | | TCPar of (Data.clt) | |
184 | | TCEllipsis of (Data.clt) | |
185 | | TCCro of (Data.clt) | |
186 | | TCBrace of (Data.clt) | |
187 | | TBreak of (Data.clt) | |
188 | | TBang0 | |
189 | | TBang of (Data.clt) | |
190 | | TAssign of (Ast_cocci.assignOp * Data.clt) | |
191 | | TArobArob | |
192 | | TArob | |
193 | | TAny of (Data.clt) | |
194 | | TAndLog of (Data.clt) | |
195 | | TAnd of (Data.clt) | |
196 | | EOF | |
197 | ||
198 | ||
413ffc02 | 199 | val script_meta_main: (Lexing.lexbuf -> token) -> Lexing.lexbuf -> ((string option (*string*) * string option (*ast*)) * (Ast_cocci.meta_name * Ast_cocci.metavar) option) |
34e49164 C |
200 | val rule_name: (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (Ast_cocci.rulename) |
201 | val reinit: (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (unit) | |
202 | val plus_main: (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (Ast0_cocci.rule) | |
203 | val plus_exp_main: (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (Ast0_cocci.rule) | |
204 | val never_used: (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (unit) | |
205 | val minus_main: (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (Ast0_cocci.rule) | |
206 | val minus_exp_main: (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (Ast0_cocci.rule) | |
207 | val meta_main: (Lexing.lexbuf -> token) -> Lexing.lexbuf -> ((Ast_cocci.metavar,Ast_cocci.metavar) Common.either list) | |
208 | val iso_rule_name: (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (Ast_cocci.rulename) | |
209 | val iso_meta_main: (Lexing.lexbuf -> token) -> Lexing.lexbuf -> ((Ast_cocci.metavar,Ast_cocci.metavar) Common.either list) | |
210 | val iso_main: (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (Ast0_cocci.anything list list) | |
978fd7e5 | 211 | val include_main: (Lexing.lexbuf -> token) -> Lexing.lexbuf -> (Data.incl_iso list) |