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