X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/885824d34f6f6626fde2fb041801408cbaf1f6f1..2934b455c4074408a0f819009c071456f021ba21:/src/Headers/llgrammar_gen2.h?ds=sidebyside

diff --git a/src/Headers/llgrammar_gen2.h b/src/Headers/llgrammar_gen2.h
index 842c367..2a69055 100644
--- a/src/Headers/llgrammar_gen2.h
+++ b/src/Headers/llgrammar_gen2.h
@@ -109,105 +109,106 @@ typedef union
   /*@only@*/ interfaceNodeList interfacelist; 
   /*@only@*/ CTypesNode ctypes;
 } YYSTYPE;
-#define	simpleOp	258
-#define	PREFIX_OP	259
-#define	POSTFIX_OP	260
-#define	LLT_MULOP	261
-#define	LLT_SEMI	262
-#define	LLT_VERTICALBAR	263
-#define	ITERATION_OP	264
-#define	LLT_LPAR	265
-#define	LLT_LBRACKET	266
-#define	selectSym	267
-#define	LLT_IF_THEN_ELSE	268
-#define	logicalOp	269
-#define	eqSepSym	270
-#define	equationSym	271
-#define	commentSym	272
-#define	LLT_WHITESPACE	273
-#define	LLT_EOL	274
-#define	LLT_TYPEDEF_NAME	275
-#define	quantifierSym	276
-#define	openSym	277
-#define	closeSym	278
-#define	sepSym	279
-#define	simpleId	280
-#define	mapSym	281
-#define	markerSym	282
-#define	preSym	283
-#define	postSym	284
-#define	anySym	285
-#define	LLT_COLON	286
-#define	LLT_COMMA	287
-#define	LLT_EQUALS	288
-#define	LLT_LBRACE	289
-#define	LLT_RBRACE	290
-#define	LLT_RBRACKET	291
-#define	LLT_RPAR	292
-#define	LLT_QUOTE	293
-#define	eqOp	294
-#define	LLT_CCHAR	295
-#define	LLT_CFLOAT	296
-#define	LLT_CINTEGER	297
-#define	LLT_LCSTRING	298
-#define	LLT_ALL	299
-#define	LLT_ANYTHING	300
-#define	LLT_BE	301
-#define	LLT_BODY	302
-#define	LLT_CLAIMS	303
-#define	LLT_CHECKS	304
-#define	LLT_CONSTANT	305
-#define	LLT_ELSE	306
-#define	LLT_ENSURES	307
-#define	LLT_FOR	308
-#define	LLT_FRESH	309
-#define	LLT_IF	310
-#define	LLT_IMMUTABLE	311
-#define	LLT_IMPORTS	312
-#define	LLT_CONSTRAINT	313
-#define	LLT_ISSUB	314
-#define	LLT_LET	315
-#define	LLT_MODIFIES	316
-#define	LLT_MUTABLE	317
-#define	LLT_NOTHING	318
-#define	LLT_INTERNAL	319
-#define	LLT_FILESYS	320
-#define	LLT_OBJ	321
-#define	LLT_OUT	322
-#define	LLT_SEF	323
-#define	LLT_ONLY	324
-#define	LLT_PARTIAL	325
-#define	LLT_OWNED	326
-#define	LLT_DEPENDENT	327
-#define	LLT_KEEP	328
-#define	LLT_KEPT	329
-#define	LLT_TEMP	330
-#define	LLT_SHARED	331
-#define	LLT_UNIQUE	332
-#define	LLT_UNUSED	333
-#define	LLT_EXITS	334
-#define	LLT_MAYEXIT	335
-#define	LLT_NEVEREXIT	336
-#define	LLT_TRUEEXIT	337
-#define	LLT_FALSEEXIT	338
-#define	LLT_UNDEF	339
-#define	LLT_KILLED	340
-#define	LLT_CHECKMOD	341
-#define	LLT_CHECKED	342
-#define	LLT_UNCHECKED	343
-#define	LLT_CHECKEDSTRICT	344
-#define	LLT_TRUENULL	345
-#define	LLT_FALSENULL	346
-#define	LLT_LNULL	347
-#define	LLT_LNOTNULL	348
-#define	LLT_RETURNED	349
-#define	LLT_OBSERVER	350
-#define	LLT_EXPOSED	351
-#define	LLT_REFCOUNTED	352
-#define	LLT_REFS	353
-#define	LLT_RELNULL	354
-#define	LLT_RELDEF	355
-#define	LLT_KILLREF	356
+#define	simpleOp	257
+#define	PREFIX_OP	258
+#define	POSTFIX_OP	259
+#define	LLT_MULOP	260
+#define	LLT_SEMI	261
+#define	LLT_VERTICALBAR	262
+#define	ITERATION_OP	263
+#define	LLT_LPAR	264
+#define	LLT_LBRACKET	265
+#define	selectSym	266
+#define	LLT_IF_THEN_ELSE	267
+#define	logicalOp	268
+#define	eqSepSym	269
+#define	equationSym	270
+#define	commentSym	271
+#define	LLT_WHITESPACE	272
+#define	LLT_EOL	273
+#define	LLT_TYPEDEF_NAME	274
+#define	quantifierSym	275
+#define	openSym	276
+#define	closeSym	277
+#define	sepSym	278
+#define	simpleId	279
+#define	mapSym	280
+#define	markerSym	281
+#define	preSym	282
+#define	postSym	283
+#define	anySym	284
+#define	LLT_COLON	285
+#define	LLT_COMMA	286
+#define	LLT_EQUALS	287
+#define	LLT_LBRACE	288
+#define	LLT_RBRACE	289
+#define	LLT_RBRACKET	290
+#define	LLT_RPAR	291
+#define	LLT_QUOTE	292
+#define	eqOp	293
+#define	LLT_CCHAR	294
+#define	LLT_CFLOAT	295
+#define	LLT_CINTEGER	296
+#define	LLT_LCSTRING	297
+#define	LLT_ALL	298
+#define	LLT_ANYTHING	299
+#define	LLT_BE	300
+#define	LLT_BODY	301
+#define	LLT_CLAIMS	302
+#define	LLT_CHECKS	303
+#define	LLT_CONSTANT	304
+#define	LLT_ELSE	305
+#define	LLT_ENSURES	306
+#define	LLT_FOR	307
+#define	LLT_FRESH	308
+#define	LLT_IF	309
+#define	LLT_IMMUTABLE	310
+#define	LLT_IMPORTS	311
+#define	LLT_CONSTRAINT	312
+#define	LLT_ISSUB	313
+#define	LLT_LET	314
+#define	LLT_MODIFIES	315
+#define	LLT_MUTABLE	316
+#define	LLT_NOTHING	317
+#define	LLT_INTERNAL	318
+#define	LLT_FILESYS	319
+#define	LLT_OBJ	320
+#define	LLT_OUT	321
+#define	LLT_SEF	322
+#define	LLT_ONLY	323
+#define	LLT_PARTIAL	324
+#define	LLT_OWNED	325
+#define	LLT_DEPENDENT	326
+#define	LLT_KEEP	327
+#define	LLT_KEPT	328
+#define	LLT_TEMP	329
+#define	LLT_SHARED	330
+#define	LLT_UNIQUE	331
+#define	LLT_UNUSED	332
+#define	LLT_EXITS	333
+#define	LLT_MAYEXIT	334
+#define	LLT_NEVEREXIT	335
+#define	LLT_TRUEEXIT	336
+#define	LLT_FALSEEXIT	337
+#define	LLT_UNDEF	338
+#define	LLT_KILLED	339
+#define	LLT_CHECKMOD	340
+#define	LLT_CHECKED	341
+#define	LLT_UNCHECKED	342
+#define	LLT_CHECKEDSTRICT	343
+#define	LLT_TRUENULL	344
+#define	LLT_FALSENULL	345
+#define	LLT_LNULL	346
+#define	LLT_LNOTNULL	347
+#define	LLT_RETURNED	348
+#define	LLT_OBSERVER	349
+#define	LLT_EXPOSED	350
+#define	LLT_REFCOUNTED	351
+#define	LLT_REFS	352
+#define	LLT_RELNULL	353
+#define	LLT_RELDEF	354
+#define	LLT_KILLREF	355
+#define	LLT_NULLTERMINATED	356
 #define	LLT_TEMPREF	357
 #define	LLT_NEWREF	358
 #define	LLT_PRIVATE	359
@@ -245,45 +246,3 @@ typedef union
 
 
 extern YYSTYPE yllval;
-/*
-** Resets all flags in bison.head
-*/
-
-
-/*@=allmacros@*/
-/*@=boolint@*/
-/*@=charint@*/
-/*@=macroparams@*/
-/*@=macroundef@*/
-/*@=unreachable@*/
-/*@=macrospec@*/
-/*@=varuse@*/
-/*@=ignorequals@*/
-/*@=macrostmt@*/
-/*@=noeffect@*/
-/*@=shadow@*/
-/*@=exitarg@*/
-/*@=macroredef@*/
-/*@=uniondef@*/
-/*@=compdef@*/
-/*@=matchfields@*/
-/*@=exportlocal@*/
-/*@=evalorderuncon@*/
-/*@=exportheader@*/
-/*@=typeuse@*/
-/*@=redecl@*/
-/*@=redef@*/
-/*@=noparams@*/
-/*@=ansireserved@*/
-/*@=fielduse@*/
-/*@=ifblock@*/
-/*@=elseifcomplete@*/
-/*@=whileblock@*/
-/*@=forblock@*/
-/*@=branchstate@*/
-/*@=readonlytrans@*/
-/*@=namechecks@*/
-/*@=usedef@*/
-/*@=systemunrecog@*/
-/*@=dependenttrans@*/
-/*@=unqualifiedtrans@*/