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