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 | Tsigned
of (Data.clt
)
12 | Tshort
of (Data.clt
)
13 | Tregister
of (Data.clt
)
17 | Tinline
of (Data.clt
)
18 | Tfloat
of (Data.clt
)
19 | Textern
of (Data.clt
)
21 | Tdouble
of (Data.clt
)
22 | Tconst
of (Data.clt
)
25 | Tattr
of (string * Data.clt
)
30 | TWhile
of (Data.clt
)
31 | TWhenTrue
of (Data.clt
)
32 | TWhenFalse
of (Data.clt
)
36 | TTypeId
of (string * Data.clt
)
38 | TTilde
of (Data.clt
)
39 | TSwitch
of (Data.clt
)
40 | TString
of (string * Data.clt
)
41 | TStrict
of (Data.clt
)
43 | TSizeof
of (Data.clt
)
44 | TShOp
of (Ast_cocci.arithOp
* Data.clt
)
45 | TScriptData
of (string)
47 | TRuleName
of (string)
50 | TReturn
of (Data.clt
)
52 | TPtrOp
of (Data.clt
)
53 | TPtVirg
of (Data.clt
)
54 | TPragma
of (string * Data.clt
)
57 | TPlusFile
of (string * Data.clt
)
60 | TPathIsoFile
of (string)
62 | TPOEllipsis
of (Data.clt
)
63 | TPCEllipsis
of (Data.clt
)
65 | TOrLog
of (Data.clt
)
68 | TOPar0
of (Data.clt
)
70 | TOInit
of (Data.clt
)
71 | TOEllipsis
of (Data.clt
)
73 | TOBrace
of (Data.clt
)
75 | TNotEq
of (Data.clt
)
79 | TMinusFile
of (string * Data.clt
)
80 | TMinus
of (Data.clt
)
82 | TMetaType
of (Parse_aux.info
)
83 | TMetaStmList
of (Parse_aux.info
)
84 | TMetaStm
of (Parse_aux.info
)
85 | TMetaPos
of (Parse_aux.pos_info
)
86 | TMetaParamList
of (Parse_aux.list_info
)
87 | TMetaParam
of (Parse_aux.info
)
88 | TMetaLocalIdExp
of (Parse_aux.typed_info
)
89 | TMetaLocalFunc
of (Parse_aux.idinfo
)
90 | TMetaIterator
of (Parse_aux.idinfo
)
91 | TMetaInit
of (Parse_aux.info
)
92 | TMetaIdExp
of (Parse_aux.typed_info
)
93 | TMetaId
of (Parse_aux.idinfo
)
94 | TMetaFunc
of (Parse_aux.idinfo
)
95 | TMetaExpList
of (Parse_aux.list_info
)
96 | TMetaExp
of (Parse_aux.typed_info
)
97 | TMetaErr
of (Parse_aux.expinfo
)
98 | TMetaDeclarer
of (Parse_aux.idinfo
)
99 | TMetaConst
of (Parse_aux.typed_info
)
101 | TLogOp
of (Ast_cocci.logicalOp
* Data.clt
)
103 | TLineEnd
of (Data.clt
)
104 | TIteratorId
of (string * Data.clt
)
115 | TInt
of (string * Data.clt
)
118 | TIncludeNL
of (string * Data.clt
)
119 | TIncludeL
of (string * Data.clt
)
123 | TIdent
of (string * Data.clt
)
125 | TGoto
of (Data.clt
)
128 | TFunDecl
of (Data.clt
)
132 | TFloat
of (string * Data.clt
)
139 | TEqEq
of (Data.clt
)
141 | TElse
of (Data.clt
)
142 | TEllipsis
of (Data.clt
)
143 | TDotDot
of (Data.clt
)
146 | TDmOp
of (Ast_cocci.arithOp
* Data.clt
)
149 | TDefineParam
of (Data.clt
* token
* int * int)
150 | TDefine
of (Data.clt
* token
)
151 | TDefault
of (Data.clt
)
152 | TDeclarerId
of (string * Data.clt
)
155 | TContinue
of (Data.clt
)
158 | TComma
of (Data.clt
)
159 | TChar
of (string * Data.clt
)
160 | TCase
of (Data.clt
)
161 | TCPar0
of (Data.clt
)
162 | TCPar
of (Data.clt
)
163 | TCEllipsis
of (Data.clt
)
164 | TCCro
of (Data.clt
)
165 | TCBrace
of (Data.clt
)
166 | TBreak
of (Data.clt
)
168 | TBang
of (Data.clt
)
169 | TAssign
of (Ast_cocci.assignOp
* Data.clt
)
173 | TAndLog
of (Data.clt
)
178 val script_meta_main
: (Lexing.lexbuf
-> token
) -> Lexing.lexbuf
-> (string * (string * string))
179 val rule_name
: (Lexing.lexbuf
-> token
) -> Lexing.lexbuf
-> (Ast_cocci.rulename
)
180 val reinit
: (Lexing.lexbuf
-> token
) -> Lexing.lexbuf
-> (unit)
181 val plus_main
: (Lexing.lexbuf
-> token
) -> Lexing.lexbuf
-> (Ast0_cocci.rule
)
182 val plus_exp_main
: (Lexing.lexbuf
-> token
) -> Lexing.lexbuf
-> (Ast0_cocci.rule
)
183 val never_used
: (Lexing.lexbuf
-> token
) -> Lexing.lexbuf
-> (unit)
184 val minus_main
: (Lexing.lexbuf
-> token
) -> Lexing.lexbuf
-> (Ast0_cocci.rule
)
185 val minus_exp_main
: (Lexing.lexbuf
-> token
) -> Lexing.lexbuf
-> (Ast0_cocci.rule
)
186 val meta_main
: (Lexing.lexbuf
-> token
) -> Lexing.lexbuf
-> ((Ast_cocci.metavar
,Ast_cocci.metavar
) Common.either list
)
187 val iso_rule_name
: (Lexing.lexbuf
-> token
) -> Lexing.lexbuf
-> (Ast_cocci.rulename
)
188 val iso_meta_main
: (Lexing.lexbuf
-> token
) -> Lexing.lexbuf
-> ((Ast_cocci.metavar
,Ast_cocci.metavar
) Common.either list
)
189 val iso_main
: (Lexing.lexbuf
-> token
) -> Lexing.lexbuf
-> (Ast0_cocci.anything list list
)
190 val include_main
: (Lexing.lexbuf
-> token
) -> Lexing.lexbuf
-> ((string,string) Common.either list
)