]> andersk Git - splint.git/blob - src/Headers/cgrammar_tokens.h
Merged with Dave Evans's changes.
[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   /*drl
70     added 1/19/2001
71   */
72   constraint con;
73   constraintList conL;
74   constraintExpr conE;
75   /* drl */
76 } YYSTYPE;
77 #define BADTOK  257
78 #define SKIPTOK 258
79 #define CTOK_ELIPSIS    259
80 #define CASE    260
81 #define DEFAULT 261
82 #define CIF     262
83 #define CELSE   263
84 #define SWITCH  264
85 #define WHILE   265
86 #define DO      266
87 #define CFOR    267
88 #define GOTO    268
89 #define CONTINUE        269
90 #define BREAK   270
91 #define RETURN  271
92 #define TSEMI   272
93 #define TLBRACE 273
94 #define TRBRACE 274
95 #define TCOMMA  275
96 #define TCOLON  276
97 #define TASSIGN 277
98 #define TLPAREN 278
99 #define TRPAREN 279
100 #define TLSQBR  280
101 #define TRSQBR  281
102 #define TDOT    282
103 #define TAMPERSAND      283
104 #define TEXCL   284
105 #define TTILDE  285
106 #define TMINUS  286
107 #define TPLUS   287
108 #define TMULT   288
109 #define TDIV    289
110 #define TPERCENT        290
111 #define TLT     291
112 #define TGT     292
113 #define TCIRC   293
114 #define TBAR    294
115 #define TQUEST  295
116 #define CSIZEOF 296
117 #define CALIGNOF        297
118 #define ARROW_OP        298
119 #define CTYPEDEF        299
120 #define COFFSETOF       300
121 #define INC_OP  301
122 #define DEC_OP  302
123 #define LEFT_OP 303
124 #define RIGHT_OP        304
125 #define LE_OP   305
126 #define GE_OP   306
127 #define EQ_OP   307
128 #define NE_OP   308
129 #define AND_OP  309
130 #define OR_OP   310
131 #define MUL_ASSIGN      311
132 #define DIV_ASSIGN      312
133 #define MOD_ASSIGN      313
134 #define ADD_ASSIGN      314
135 #define SUB_ASSIGN      315
136 #define LEFT_ASSIGN     316
137 #define RIGHT_ASSIGN    317
138 #define AND_ASSIGN      318
139 #define XOR_ASSIGN      319
140 #define OR_ASSIGN       320
141 #define CSTRUCT 321
142 #define CUNION  322
143 #define CENUM   323
144 #define VA_ARG  324
145 #define VA_DCL  325
146 #define QGLOBALS        326
147 #define QMODIFIES       327
148 #define QNOMODS 328
149 #define QCONSTANT       329
150 #define QFUNCTION       330
151 #define QITER   331
152 #define QDEFINES        332
153 #define QUSES   333
154 #define QALLOCATES      334
155 #define QSETS   335
156 #define QRELEASES       336
157 #define QPRECLAUSE      337
158 #define QPOSTCLAUSE     338
159 #define QALT    339
160 #define QUNDEF  340
161 #define QKILLED 341
162 #define QENDMACRO       342
163 #define LLMACRO 343
164 #define LLMACROITER     344
165 #define LLMACROEND      345
166 #define TENDMACRO       346
167 #define QSWITCHBREAK    347
168 #define QLOOPBREAK      348
169 #define QINNERBREAK     349
170 #define QSAFEBREAK      350
171 #define QINNERCONTINUE  351
172 #define QFALLTHROUGH    352
173 #define QLINTNOTREACHED 353
174 #define QLINTFALLTHROUGH        354
175 #define QLINTFALLTHRU   355
176 #define QARGSUSED       356
177 #define QPRINTFLIKE     357
178 #define QLINTPRINTFLIKE 358
179 #define QSCANFLIKE      359
180 #define QMESSAGELIKE    360
181 #define QNOTREACHED     361
182 #define QCONST  362
183 #define QVOLATILE       363
184 #define QINLINE 364
185 #define QEXTENSION      365
186 #define QEXTERN 366
187 #define QSTATIC 367
188 #define QAUTO   368
189 #define QREGISTER       369
190 #define QOUT    370
191 #define QIN     371
192 #define QYIELD  372
193 #define QONLY   373
194 #define QTEMP   374
195 #define QSHARED 375
196 #define QREF    376
197 #define QUNIQUE 377
198 #define QCHECKED        378
199 #define QUNCHECKED      379
200 #define QCHECKEDSTRICT  380
201 #define QCHECKMOD       381
202 #define QKEEP   382
203 #define QKEPT   383
204 #define QPARTIAL        384
205 #define QSPECIAL        385
206 #define QOWNED  386
207 #define QDEPENDENT      387
208 #define QRETURNED       388
209 #define QEXPOSED        389
210 #define QNULL   390
211 #define QOBSERVER       391
212 #define QISNULL 392
213 #define QEXITS  393
214 #define QMAYEXIT        394
215 #define QNEVEREXIT      395
216 #define QTRUEEXIT       396
217 #define QFALSEEXIT      397
218 #define QLONG   398
219 #define QSIGNED 399
220 #define QUNSIGNED       400
221 #define QSHORT  401
222 #define QUNUSED 402
223 #define QSEF    403
224 #define QNOTNULL        404
225 #define QRELNULL        405
226 #define QABSTRACT       406
227 #define QCONCRETE       407
228 #define QMUTABLE        408
229 #define QIMMUTABLE      409
230 #define QTRUENULL       410
231 #define QFALSENULL      411
232 #define QEXTERNAL       412
233 #define QREFCOUNTED     413
234 #define QREFS   414
235 #define QNEWREF 415
236 #define QTEMPREF        416
237 #define QKILLREF        417
238 #define QRELDEF 418
239 #define CGCHAR  419
240 #define CBOOL   420
241 #define CINT    421
242 #define CGFLOAT 422
243 #define CDOUBLE 423
244 #define CVOID   424
245 #define QANYTYPE        425
246 #define QINTEGRALTYPE   426
247 #define QUNSIGNEDINTEGRALTYPE   427
248 #define QSIGNEDINTEGRALTYPE     428
249 #define QNULLTERMINATED 429
250 #define QSETBUFFERSIZE  430
251 #define QBUFFERCONSTRAINT       431
252 #define QENSURESCONSTRAINT      432
253 #define QSETSTRINGLENGTH        433
254 #define QMAXSET 434
255 #define QMAXREAD        435
256 #define QTESTINRANGE    436
257 #define TCAND   437
258 #define IDENTIFIER      438
259 #define NEW_IDENTIFIER  439
260 #define TYPE_NAME_OR_ID 440
261 #define CCONSTANT       441
262 #define ITER_NAME       442
263 #define ITER_ENDNAME    443
264 #define TYPE_NAME       444
265
266
267 extern YYSTYPE yylval;
This page took 0.074777 seconds and 5 git commands to generate.