2 ** Inserted at beginning of c files generated by bison
3 ** REMEMBER: Change bison.reset too.
42 /*@-unqualifiedtrans@*/
46 /* < end of bison.head > */
50 mtDeclarationNode mtdecl;
51 mtDeclarationPiece mtpiece;
52 mtDeclarationPieces mtpieces;
53 mtContextNode mtcontext;
54 mtValuesNode mtvalues;
55 mtDefaultsNode mtdefaults;
56 mtDefaultsDeclList mtdeflist;
57 mtAnnotationsNode mtannotations;
58 mtAnnotationList mtannotlist;
59 mtAnnotationDecl mtannotdecl;
61 mtMergeItem mtmergeitem;
62 mtMergeClauseList mtmergeclauselist;
63 mtMergeClause mtmergeclause;
64 mtTransferClauseList mttransferclauselist;
65 mtTransferClause mttransferclause;
66 mtTransferAction mttransferaction;
67 mtLoseReferenceList mtlosereferencelist;
68 mtLoseReference mtlosereference;
70 /*@only@*/ cstringList cstringlist;
72 /*@only@*/ qtype qtyp;
79 #define MT_CONTEXT 261
81 #define MT_DEFAULTS 263
82 #define MT_DEFAULT 264
83 #define MT_REFERENCE 265
84 #define MT_PARAMETER 266
87 #define MT_ANNOTATIONS 269
90 #define MT_TRANSFERS 272
91 #define MT_PRECONDITIONS 273
92 #define MT_POSTCONDITIONS 274
93 #define MT_LOSEREFERENCE 275
100 #define MT_RPAREN 282
101 #define MT_LBRACKET 283
102 #define MT_RBRACKET 284
103 #define MT_LBRACE 285
104 #define MT_RBRACE 286
109 #define MT_DOUBLE 291
111 #define MT_ANYTYPE 293
112 #define MT_INTEGRALTYPE 294
113 #define MT_UNSIGNEDINTEGRALTYPE 295
114 #define MT_SIGNEDINTEGRALTYPE 296
116 #define MT_VOLATILE 298
117 #define MT_STRINGLIT 299
121 ** Resets all flags in bison.head
143 /*@=evalorderuncon@*/
152 /*@=elseifcomplete@*/
160 /*@=dependenttrans@*/
161 /*@=unqualifiedtrans@*/