2 ** Inserted at beginning of c files generated by bison
3 ** REMEMBER: Change bison.reset too.
42 /*@-unqualifiedtrans@*/
49 /*drl added 11/27/2001*/
51 /* < end of bison.head > */
53 #ifndef BISON_MTGRAMMAR_TAB_H
54 # define BISON_MTGRAMMAR_TAB_H
59 mtDeclarationNode mtdecl;
60 mtDeclarationPiece mtpiece;
61 mtDeclarationPieces mtpieces;
62 mtContextNode mtcontext;
63 mtValuesNode mtvalues;
64 mtDefaultsNode mtdefaults;
65 mtDefaultsDeclList mtdeflist;
66 mtAnnotationsNode mtannotations;
67 mtAnnotationList mtannotlist;
68 mtAnnotationDecl mtannotdecl;
70 mtMergeItem mtmergeitem;
71 mtMergeClauseList mtmergeclauselist;
72 mtMergeClause mtmergeclause;
73 mtTransferClauseList mttransferclauselist;
74 mtTransferClause mttransferclause;
75 mtTransferAction mttransferaction;
76 mtLoseReferenceList mtlosereferencelist;
77 mtLoseReference mtlosereference;
79 /*@only@*/ cstringList cstringlist;
81 /*@only@*/ qtype qtyp;
85 # define YYSTYPE yystype
86 # define YYSTYPE_IS_TRIVIAL 1
88 # define MT_BADTOK 257
91 # define MT_GLOBAL 260
92 # define MT_CONTEXT 261
94 # define MT_DEFAULTS 263
95 # define MT_DEFAULT 264
96 # define MT_REFERENCE 265
97 # define MT_PARAMETER 266
98 # define MT_RESULT 267
99 # define MT_CLAUSE 268
100 # define MT_LITERAL 269
102 # define MT_ANNOTATIONS 271
103 # define MT_ARROW 272
104 # define MT_MERGE 273
105 # define MT_TRANSFERS 274
106 # define MT_PRECONDITIONS 275
107 # define MT_POSTCONDITIONS 276
108 # define MT_LOSEREFERENCE 277
110 # define MT_ERROR 279
114 # define MT_LPAREN 283
115 # define MT_RPAREN 284
116 # define MT_LBRACKET 285
117 # define MT_RBRACKET 286
118 # define MT_LBRACE 287
119 # define MT_RBRACE 288
120 # define MT_COMMA 289
123 # define MT_FLOAT 292
124 # define MT_DOUBLE 293
126 # define MT_ANYTYPE 295
127 # define MT_INTEGRALTYPE 296
128 # define MT_UNSIGNEDINTEGRALTYPE 297
129 # define MT_SIGNEDINTEGRALTYPE 298
130 # define MT_CONST 299
131 # define MT_VOLATILE 300
132 # define MT_RESTRICT 301
133 # define MT_STRINGLIT 302
134 # define MT_IDENT 303
137 #endif /* not BISON_MTGRAMMAR_TAB_H */
139 ** Resets all flags in bison.head
161 /*@=evalorderuncon@*/
170 /*@=elseifcomplete@*/
178 /*@=dependenttrans@*/
179 /*@=unqualifiedtrans@*/
183 /*drl added 11/27/2001*/