4 | Tvolatile
of (Data.clt
)
6 | Tunsigned
of (Data.clt
)
8 | Ttypedef
of (Data.clt
)
9 | Tstruct
of (Data.clt
)
10 | Tstatic
of (Data.clt
)
11 | Tssize_t
of (Data.clt
)
12 | Tsize_t
of (Data.clt
)
13 | Tsigned
of (Data.clt
)
14 | Tshort
of (Data.clt
)
15 | Tregister
of (Data.clt
)
16 | Tptrdiff_t
of (Data.clt
)
20 | Tinline
of (Data.clt
)
21 | Tfloat
of (Data.clt
)
22 | Textern
of (Data.clt
)
24 | Tdouble
of (Data.clt
)
25 | Tconst
of (Data.clt
)
28 | Tattr
of (string * Data.clt
)
33 | TWhile
of (Data.clt
)
34 | TWhenTrue
of (Data.clt
)
35 | TWhenFalse
of (Data.clt
)
40 | TUndef
of (Data.clt
* token
)
42 | TTypeId
of (string * Data.clt
)
44 | TTildeExclEq
of (Data.clt
)
45 | TTildeEq
of (Data.clt
)
46 | TTilde
of (Data.clt
)
48 | TSymId
of (string * Data.clt
)
49 | TSwitch
of (Data.clt
)
51 | TString
of (string * Data.clt
)
52 | TStrict
of (Data.clt
)
54 | TSizeof
of (Data.clt
)
55 | TShROp
of (Ast_cocci.arithOp
* Data.clt
)
56 | TShLOp
of (Ast_cocci.arithOp
* Data.clt
)
57 | TScriptData
of (string)
59 | TRuleName
of (string)
61 | TReturn
of (Data.clt
)
63 | TPtrOp
of (Data.clt
)
64 | TPtVirg
of (Data.clt
)
65 | TPragma
of (Ast_cocci.added_string
* Data.clt
)
68 | TPlusFile
of (string * Data.clt
)
71 | TPathIsoFile
of (string)
73 | TPOEllipsis
of (Data.clt
)
74 | TPCEllipsis
of (Data.clt
)
75 | TPArob
of (Data.clt
)
76 | TOrLog
of (Data.clt
)
79 | TOPar0
of (Data.clt
)
81 | TOInit
of (Data.clt
)
82 | TOEllipsis
of (Data.clt
)
84 | TOBrace
of (Data.clt
)
86 | TNotEq
of (Data.clt
)
90 | TMinusFile
of (string * Data.clt
)
91 | TMinus
of (Data.clt
)
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
)
100 | TMetaLocalIdExp
of (Parse_aux.typed_expinfo
)
101 | TMetaLocalFunc
of (Parse_aux.idinfo
)
102 | TMetaIterator
of (Parse_aux.idinfo
)
103 | TMetaInitList
of (Parse_aux.list_info
)
104 | TMetaInit
of (Parse_aux.info
)
105 | TMetaIdExp
of (Parse_aux.typed_expinfo
)
106 | TMetaId
of (Parse_aux.midinfo
)
107 | TMetaFunc
of (Parse_aux.idinfo
)
108 | TMetaFieldList
of (Parse_aux.list_info
)
109 | TMetaField
of (Parse_aux.info
)
110 | TMetaExpList
of (Parse_aux.list_info
)
111 | TMetaExp
of (Parse_aux.typed_expinfo
)
112 | TMetaErr
of (Parse_aux.expinfo
)
113 | TMetaDeclarer
of (Parse_aux.idinfo
)
114 | TMetaDecl
of (Parse_aux.info
)
115 | TMetaConst
of (Parse_aux.typed_expinfo
)
116 | TMeta
of (Parse_aux.info
)
118 | TLogOp
of (Ast_cocci.logicalOp
* Data.clt
)
120 | TLineEnd
of (Data.clt
)
121 | TIteratorId
of (string * Data.clt
)
125 | TIsoToTestExpression
133 | TInt
of (string * Data.clt
)
136 | TIncludeNL
of (string * Data.clt
)
137 | TIncludeL
of (string * Data.clt
)
141 | TIdent
of (string * Data.clt
)
143 | TGoto
of (Data.clt
)
146 | TFunDecl
of (Data.clt
)
150 | TFloat
of (string * Data.clt
)
158 | TEqEq
of (Data.clt
)
160 | TElse
of (Data.clt
)
161 | TEllipsis
of (Data.clt
)
162 | TDotDot
of (Data.clt
)
165 | TDmOp
of (Ast_cocci.arithOp
* Data.clt
)
168 | TDefineParam
of (Data.clt
* token
* int * int)
169 | TDefine
of (Data.clt
* token
)
170 | TDefault
of (Data.clt
)
171 | TDeclarerId
of (string * Data.clt
)
176 | TContinue
of (Data.clt
)
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
)
189 | TBang
of (Data.clt
)
190 | TAssign
of (Ast_cocci.assignOp
* Data.clt
)
194 | TAndLog
of (Data.clt
)
199 val script_meta_main
: (Lexing.lexbuf
-> token
) -> Lexing.lexbuf
-> ((string option (*string*) * string option (*ast*)) * (Ast_cocci.meta_name
* Ast_cocci.metavar
) option)
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
)
211 val include_main
: (Lexing.lexbuf
-> token
) -> Lexing.lexbuf
-> (Data.incl_iso list
)