*** empty log message ***

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

diff --git a/src/Headers/mtgrammar_tokens.h b/src/Headers/mtgrammar_tokens.h
index 620f9285b27723f4d5af71c217a8e0b6564e52ef..a9212ea0040c7d62e943f821b86544615a090b6f 100644 (file)
--- a/src/Headers/mtgrammar_tokens.h
+++ b/src/Headers/mtgrammar_tokens.h
@@ -50,6 +50,10 @@
 /*@-bounds@*/
 /* < end of bison.head > */
 
+#ifndef BISON_MTGRAMMAR_TAB_H
+# define BISON_MTGRAMMAR_TAB_H
+
+#ifndef YYSTYPE
 typedef union {
   mttok tok; 
   mtDeclarationNode mtdecl;
@@ -77,55 +81,60 @@ typedef union {
   /*@only@*/ qtype qtyp;
   qual qual;
   qualList quals;
-} YYSTYPE;
-#define        MT_BADTOK       257
-#define        MT_END  258
-#define        MT_STATE        259
-#define        MT_GLOBAL       260
-#define        MT_CONTEXT      261
-#define        MT_ONEOF        262
-#define        MT_DEFAULTS     263
-#define        MT_DEFAULT      264
-#define        MT_REFERENCE    265
-#define        MT_PARAMETER    266
-#define        MT_RESULT       267
-#define        MT_CLAUSE       268
-#define        MT_LITERAL      269
-#define        MT_NULL 270
-#define        MT_ANNOTATIONS  271
-#define        MT_ARROW        272
-#define        MT_MERGE        273
-#define        MT_TRANSFERS    274
-#define        MT_PRECONDITIONS        275
-#define        MT_POSTCONDITIONS       276
-#define        MT_LOSEREFERENCE        277
-#define        MT_AS   278
-#define        MT_ERROR        279
-#define        MT_PLUS 280
-#define        MT_STAR 281
-#define        MT_BAR  282
-#define        MT_LPAREN       283
-#define        MT_RPAREN       284
-#define        MT_LBRACKET     285
-#define        MT_RBRACKET     286
-#define        MT_LBRACE       287
-#define        MT_RBRACE       288
-#define        MT_COMMA        289
-#define        MT_CHAR 290
-#define        MT_INT  291
-#define        MT_FLOAT        292
-#define        MT_DOUBLE       293
-#define        MT_VOID 294
-#define        MT_ANYTYPE      295
-#define        MT_INTEGRALTYPE 296
-#define        MT_UNSIGNEDINTEGRALTYPE 297
-#define        MT_SIGNEDINTEGRALTYPE   298
-#define        MT_CONST        299
-#define        MT_VOLATILE     300
-#define        MT_RESTRICT     301
-#define        MT_STRINGLIT    302
-#define        MT_IDENT        303
+} yystype;
+# define YYSTYPE yystype
+# define YYSTYPE_IS_TRIVIAL 1
+#endif
+# define       MT_BADTOK       257
+# define       MT_END  258
+# define       MT_STATE        259
+# define       MT_GLOBAL       260
+# define       MT_CONTEXT      261
+# define       MT_ONEOF        262
+# define       MT_DEFAULTS     263
+# define       MT_DEFAULT      264
+# define       MT_REFERENCE    265
+# define       MT_PARAMETER    266
+# define       MT_RESULT       267
+# define       MT_CLAUSE       268
+# define       MT_LITERAL      269
+# define       MT_NULL 270
+# define       MT_ANNOTATIONS  271
+# define       MT_ARROW        272
+# define       MT_MERGE        273
+# define       MT_TRANSFERS    274
+# define       MT_PRECONDITIONS        275
+# define       MT_POSTCONDITIONS       276
+# define       MT_LOSEREFERENCE        277
+# define       MT_AS   278
+# define       MT_ERROR        279
+# define       MT_PLUS 280
+# define       MT_STAR 281
+# define       MT_BAR  282
+# define       MT_LPAREN       283
+# define       MT_RPAREN       284
+# define       MT_LBRACKET     285
+# define       MT_RBRACKET     286
+# define       MT_LBRACE       287
+# define       MT_RBRACE       288
+# define       MT_COMMA        289
+# define       MT_CHAR 290
+# define       MT_INT  291
+# define       MT_FLOAT        292
+# define       MT_DOUBLE       293
+# define       MT_VOID 294
+# define       MT_ANYTYPE      295
+# define       MT_INTEGRALTYPE 296
+# define       MT_UNSIGNEDINTEGRALTYPE 297
+# define       MT_SIGNEDINTEGRALTYPE   298
+# define       MT_CONST        299
+# define       MT_VOLATILE     300
+# define       MT_RESTRICT     301
+# define       MT_STRINGLIT    302
+# define       MT_IDENT        303
+
 
+#endif /* not BISON_MTGRAMMAR_TAB_H */
 /*
 ** Resets all flags in bison.head
 */