Added support for omitted if clauses in conditionals, patch provided by peteran.

[splint.git] / src / Headers / signature_gen.h

diff --git a/src/Headers/signature_gen.h b/src/Headers/signature_gen.h
index 4de07dea0edf26187e4375b32f8a03585bfa9943..9b23e6251a961b37529acb049ba4ca397891a001 100644 (file)
--- a/src/Headers/signature_gen.h
+++ b/src/Headers/signature_gen.h
@@ -48,8 +48,16 @@
 
 /*drl added 11/27/2001*/
 /*@-bounds@*/
+
+/*drl added 12/11/2002*/
+/*@-type@*/
+
 /* < end of bison.head > */
 
+#ifndef BISON_SIGNATURE_TAB_H
+# define BISON_SIGNATURE_TAB_H
+
+#ifndef YYSTYPE
 typedef union {
   ltoken ltok;  /* a leaf is also an ltoken */
   unsigned int count;
@@ -60,53 +68,58 @@ typedef union {
   /*@owned@*/ lslOp operator;
   /*@only@*/  lslOpList operators;
   /*@-redef@*/ /*@-matchfields@*/ 
-} YYSTYPE;
-#define        LST_SIMPLEID    257
-#define        LST_LOGICALOP   258
-#define        LST_EQOP        259
-#define        LST_SIMPLEOP    260
-#define        LST_MAPSYM      261
-#define        LST_FIELDMAPSYM 262
-#define        LST_MARKERSYM   263
-#define        LST_ifTOKEN     264
-#define        LST_thenTOKEN   265
-#define        LST_elseTOKEN   266
-#define        LST_LBRACKET    267
-#define        LST_RBRACKET    268
-#define        LST_SELECTSYM   269
-#define        LST_SEPSYM      270
-#define        LST_OPENSYM     271
-#define        LST_CLOSESYM    272
-#define        LST_COLON       273
-#define        LST_COMMA       274
-#define        LST_EOL 275
-#define        LST_COMMENTSYM  276
-#define        LST_WHITESPACE  277
-#define        LST_QUANTIFIERSYM       278
-#define        LST_EQUATIONSYM 279
-#define        LST_EQSEPSYM    280
-#define        LST_COMPOSESYM  281
-#define        LST_LPAR        282
-#define        LST_RPAR        283
-#define        LST_assertsTOKEN        284
-#define        LST_assumesTOKEN        285
-#define        LST_byTOKEN     286
-#define        LST_convertsTOKEN       287
-#define        LST_enumerationTOKEN    288
-#define        LST_equationsTOKEN      289
-#define        LST_exemptingTOKEN      290
-#define        LST_forTOKEN    291
-#define        LST_generatedTOKEN      292
-#define        LST_impliesTOKEN        293
-#define        LST_includesTOKEN       294
-#define        LST_introducesTOKEN     295
-#define        LST_ofTOKEN     296
-#define        LST_partitionedTOKEN    297
-#define        LST_traitTOKEN  298
-#define        LST_tupleTOKEN  299
-#define        LST_unionTOKEN  300
-#define        LST_BADTOKEN    301
+} yystype;
+# define YYSTYPE yystype
+# define YYSTYPE_IS_TRIVIAL 1
+#endif
+# define       LST_SIMPLEID    257
+# define       LST_LOGICALOP   258
+# define       LST_EQOP        259
+# define       LST_SIMPLEOP    260
+# define       LST_MAPSYM      261
+# define       LST_FIELDMAPSYM 262
+# define       LST_MARKERSYM   263
+# define       LST_ifTOKEN     264
+# define       LST_thenTOKEN   265
+# define       LST_elseTOKEN   266
+# define       LST_LBRACKET    267
+# define       LST_RBRACKET    268
+# define       LST_SELECTSYM   269
+# define       LST_SEPSYM      270
+# define       LST_OPENSYM     271
+# define       LST_CLOSESYM    272
+# define       LST_COLON       273
+# define       LST_COMMA       274
+# define       LST_EOL 275
+# define       LST_COMMENTSYM  276
+# define       LST_WHITESPACE  277
+# define       LST_QUANTIFIERSYM       278
+# define       LST_EQUATIONSYM 279
+# define       LST_EQSEPSYM    280
+# define       LST_COMPOSESYM  281
+# define       LST_LPAR        282
+# define       LST_RPAR        283
+# define       LST_assertsTOKEN        284
+# define       LST_assumesTOKEN        285
+# define       LST_byTOKEN     286
+# define       LST_convertsTOKEN       287
+# define       LST_enumerationTOKEN    288
+# define       LST_equationsTOKEN      289
+# define       LST_exemptingTOKEN      290
+# define       LST_forTOKEN    291
+# define       LST_generatedTOKEN      292
+# define       LST_impliesTOKEN        293
+# define       LST_includesTOKEN       294
+# define       LST_introducesTOKEN     295
+# define       LST_ofTOKEN     296
+# define       LST_partitionedTOKEN    297
+# define       LST_traitTOKEN  298
+# define       LST_tupleTOKEN  299
+# define       LST_unionTOKEN  300
+# define       LST_BADTOKEN    301
 
+
+#endif /* not BISON_SIGNATURE_TAB_H */
 /*
 ** Resets all flags in bison.head
 */
@@ -154,3 +167,6 @@ typedef union {
 
 /*drl added 11/27/2001*/
 /*@=bounds@*/
+
+/*drl added 12/11/2002*/
+/*@=type@*/