2 ** Inserted at beginning of c files generated by bison
3 ** REMEMBER: Change bison.reset too.
42 /*@-unqualifiedtrans@*/
45 /* < end of bison.head > */
49 mtDeclarationNode mtdecl;
50 mtDeclarationPiece mtpiece;
51 mtDeclarationPieces mtpieces;
52 mtContextNode mtcontext;
53 mtValuesNode mtvalues;
54 mtDefaultsNode mtdefaults;
55 mtDefaultsDeclList mtdeflist;
56 mtAnnotationsNode mtannotations;
57 mtAnnotationList mtannotlist;
58 mtAnnotationDecl mtannotdecl;
60 mtMergeItem mtmergeitem;
61 mtMergeClauseList mtmergeclauselist;
62 mtMergeClause mtmergeclause;
63 mtTransferClauseList mttransferclauselist;
64 mtTransferClause mttransferclause;
65 mtTransferAction mttransferaction;
66 mtLoseReferenceList mtlosereferencelist;
67 mtLoseReference mtlosereference;
69 /*@only@*/ cstringList cstringlist;
71 /*@only@*/ qtype qtyp;
78 #define MT_CONTEXT 261
80 #define MT_DEFAULTS 263
81 #define MT_DEFAULT 264
82 #define MT_REFERENCE 265
83 #define MT_PARAMETER 266
85 #define MT_ANNOTATIONS 268
88 #define MT_TRANSFERS 271
89 #define MT_PRECONDITIONS 272
90 #define MT_POSTCONDITIONS 273
91 #define MT_LOSEREFERENCE 274
99 #define MT_LBRACKET 282
100 #define MT_RBRACKET 283
101 #define MT_LBRACE 284
102 #define MT_RBRACE 285
107 #define MT_DOUBLE 290
109 #define MT_ANYTYPE 292
110 #define MT_INTEGRALTYPE 293
111 #define MT_UNSIGNEDINTEGRALTYPE 294
112 #define MT_SIGNEDINTEGRALTYPE 295
114 #define MT_VOLATILE 297
115 #define MT_STRINGLIT 298
119 ** Resets all flags in bison.head
141 /*@=evalorderuncon@*/
150 /*@=elseifcomplete@*/
158 /*@=dependenttrans@*/
159 /*@=unqualifiedtrans@*/