]> andersk Git - splint.git/blob - src/Headers/cgrammar_tokens.h
If checking mostly works. Boolean expression are handled.
[splint.git] / src / Headers / cgrammar_tokens.h
1 /*
2 ** Inserted at beginning of c files generated by bison
3 ** REMEMBER:  Change bison.reset too.
4 */
5
6 /*@-allmacros@*/
7 /*@+boolint@*/
8 /*@+charint@*/
9 /*@-macroparams@*/
10 /*@-macroundef@*/
11 /*@-unreachable@*/
12 /*@-macrospec@*/
13 /*@-varuse@*/
14 /*@+ignorequals@*/
15 /*@-macrostmt@*/
16 /*@-noeffect@*/
17 /*@-shadow@*/
18 /*@-exitarg@*/
19 /*@-macroredef@*/
20 /*@-uniondef@*/
21 /*@-compdef@*/
22 /*@-matchfields@*/
23 /*@-exportlocal@*/
24 /*@-evalorderuncon@*/
25 /*@-exportheader@*/
26 /*@-typeuse@*/
27 /*@-redecl@*/
28 /*@-redef@*/
29 /*@-noparams@*/
30 /*@-ansireserved@*/
31 /*@-fielduse@*/
32 /*@-ifblock@*/
33 /*@-elseifcomplete@*/
34 /*@-whileblock@*/
35 /*@-forblock@*/
36 /*@-branchstate@*/
37 /*@-readonlytrans@*/
38 /*@-namechecks@*/
39 /*@-usedef@*/
40 /*@-systemunrecog@*/
41 /*@-dependenttrans@*/
42 /*@-unqualifiedtrans@*/
43 /*@-nullassign@*/
44
45 /* < end of bison.head > */
46
47 typedef union
48 {
49  lltok tok;
50  int count;
51  specialClauseKind sck;
52  qual typequal;
53  qualList tquallist;
54  ctype ctyp;
55  sRef sr;
56  /*@only@*/ qtype qtyp;
57  /*@only@*/ cstring cname;
58  /*@only@*/ idDecl ntyp;
59  /*@only@*/ idDeclList ntyplist;
60  /*@only@*/ uentryList flist;
61  /*@owned@*/ uentryList entrylist;
62  /*@observer@*/ /*@dependent@*/ uentry entry;
63  /*@only@*/ uentry oentry;
64  /*@only@*/ exprNode expr;
65  /*@only@*/ enumNameList enumnamelist;
66  /*@only@*/ exprNodeList alist;
67  /*@only@*/ sRefSet srset; 
68  /*@only@*/ cstringList cstringlist;
69 } YYSTYPE;
70 #define BADTOK  258
71 #define SKIPTOK 259
72 #define CTOK_ELIPSIS    260
73 #define CASE    261
74 #define DEFAULT 262
75 #define CIF     263
76 #define CELSE   264
77 #define SWITCH  265
78 #define WHILE   266
79 #define DO      267
80 #define CFOR    268
81 #define GOTO    269
82 #define CONTINUE        270
83 #define BREAK   271
84 #define RETURN  272
85 #define TSEMI   273
86 #define TLBRACE 274
87 #define TRBRACE 275
88 #define TCOMMA  276
89 #define TCOLON  277
90 #define TASSIGN 278
91 #define TLPAREN 279
92 #define TRPAREN 280
93 #define TLSQBR  281
94 #define TRSQBR  282
95 #define TDOT    283
96 #define TAMPERSAND      284
97 #define TEXCL   285
98 #define TTILDE  286
99 #define TMINUS  287
100 #define TPLUS   288
101 #define TMULT   289
102 #define TDIV    290
103 #define TPERCENT        291
104 #define TLT     292
105 #define TGT     293
106 #define TCIRC   294
107 #define TBAR    295
108 #define TQUEST  296
109 #define CSIZEOF 297
110 #define CALIGNOF        298
111 #define ARROW_OP        299
112 #define CTYPEDEF        300
113 #define COFFSETOF       301
114 #define INC_OP  302
115 #define DEC_OP  303
116 #define LEFT_OP 304
117 #define RIGHT_OP        305
118 #define LE_OP   306
119 #define GE_OP   307
120 #define EQ_OP   308
121 #define NE_OP   309
122 #define AND_OP  310
123 #define OR_OP   311
124 #define MUL_ASSIGN      312
125 #define DIV_ASSIGN      313
126 #define MOD_ASSIGN      314
127 #define ADD_ASSIGN      315
128 #define SUB_ASSIGN      316
129 #define LEFT_ASSIGN     317
130 #define RIGHT_ASSIGN    318
131 #define AND_ASSIGN      319
132 #define XOR_ASSIGN      320
133 #define OR_ASSIGN       321
134 #define CSTRUCT 322
135 #define CUNION  323
136 #define CENUM   324
137 #define VA_ARG  325
138 #define VA_DCL  326
139 #define QGLOBALS        327
140 #define QMODIFIES       328
141 #define QNOMODS 329
142 #define QCONSTANT       330
143 #define QFUNCTION       331
144 #define QITER   332
145 #define QDEFINES        333
146 #define QUSES   334
147 #define QALLOCATES      335
148 #define QSETS   336
149 #define QRELEASES       337
150 #define QPRECLAUSE      338
151 #define QPOSTCLAUSE     339
152 #define QALT    340
153 #define QUNDEF  341
154 #define QKILLED 342
155 #define QENDMACRO       343
156 #define LLMACRO 344
157 #define LLMACROITER     345
158 #define LLMACROEND      346
159 #define TENDMACRO       347
160 #define QSWITCHBREAK    348
161 #define QLOOPBREAK      349
162 #define QINNERBREAK     350
163 #define QSAFEBREAK      351
164 #define QINNERCONTINUE  352
165 #define QFALLTHROUGH    353
166 #define QLINTNOTREACHED 354
167 #define QLINTFALLTHROUGH        355
168 #define QLINTFALLTHRU   356
169 #define QARGSUSED       357
170 #define QPRINTFLIKE     358
171 #define QLINTPRINTFLIKE 359
172 #define QSCANFLIKE      360
173 #define QMESSAGELIKE    361
174 #define QNOTREACHED     362
175 #define QCONST  363
176 #define QVOLATILE       364
177 #define QINLINE 365
178 #define QEXTENSION      366
179 #define QEXTERN 367
180 #define QSTATIC 368
181 #define QAUTO   369
182 #define QREGISTER       370
183 #define QOUT    371
184 #define QIN     372
185 #define QYIELD  373
186 #define QONLY   374
187 #define QTEMP   375
188 #define QSHARED 376
189 #define QREF    377
190 #define QUNIQUE 378
191 #define QCHECKED        379
192 #define QUNCHECKED      380
193 #define QCHECKEDSTRICT  381
194 #define QCHECKMOD       382
195 #define QKEEP   383
196 #define QKEPT   384
197 #define QPARTIAL        385
198 #define QSPECIAL        386
199 #define QOWNED  387
200 #define QDEPENDENT      388
201 #define QRETURNED       389
202 #define QEXPOSED        390
203 #define QNULL   391
204 #define QOBSERVER       392
205 #define QISNULL 393
206 #define QEXITS  394
207 #define QMAYEXIT        395
208 #define QNEVEREXIT      396
209 #define QTRUEEXIT       397
210 #define QFALSEEXIT      398
211 #define QLONG   399
212 #define QSIGNED 400
213 #define QUNSIGNED       401
214 #define QSHORT  402
215 #define QUNUSED 403
216 #define QSEF    404
217 #define QNOTNULL        405
218 #define QRELNULL        406
219 #define QABSTRACT       407
220 #define QCONCRETE       408
221 #define QMUTABLE        409
222 #define QIMMUTABLE      410
223 #define QTRUENULL       411
224 #define QFALSENULL      412
225 #define QEXTERNAL       413
226 #define QREFCOUNTED     414
227 #define QREFS   415
228 #define QNEWREF 416
229 #define QTEMPREF        417
230 #define QKILLREF        418
231 #define QRELDEF 419
232 #define CGCHAR  420
233 #define CBOOL   421
234 #define CINT    422
235 #define CGFLOAT 423
236 #define CDOUBLE 424
237 #define CVOID   425
238 #define QANYTYPE        426
239 #define QINTEGRALTYPE   427
240 #define QUNSIGNEDINTEGRALTYPE   428
241 #define QSIGNEDINTEGRALTYPE     429
242 #define QNULLTERMINATED 430
243 #define QSETBUFFERSIZE  431
244 #define QBUFFERCONSTRAINT       432
245 #define QSETSTRINGLENGTH        433
246 #define QMAXSET 434
247 #define QMAXREAD        435
248 #define QTESTINRANGE    436
249 #define IDENTIFIER      437
250 #define NEW_IDENTIFIER  438
251 #define TYPE_NAME_OR_ID 439
252 #define CCONSTANT       440
253 #define ITER_NAME       441
254 #define ITER_ENDNAME    442
255 #define TYPE_NAME       443
256
257
258 extern YYSTYPE yylval;
This page took 0.058548 seconds and 5 git commands to generate.