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
86 #define MT_ANNOTATIONS 268
89 #define MT_TRANSFERS 271
90 #define MT_PRECONDITIONS 272
91 #define MT_POSTCONDITIONS 273
92 #define MT_LOSEREFERENCE 274
100 #define MT_LBRACKET 282
101 #define MT_RBRACKET 283
102 #define MT_LBRACE 284
103 #define MT_RBRACE 285
108 #define MT_DOUBLE 290
110 #define MT_ANYTYPE 292
111 #define MT_INTEGRALTYPE 293
112 #define MT_UNSIGNEDINTEGRALTYPE 294
113 #define MT_SIGNEDINTEGRALTYPE 295
115 #define MT_VOLATILE 297
116 #define MT_STRINGLIT 298
120 ** Resets all flags in bison.head
142 /*@=evalorderuncon@*/
151 /*@=elseifcomplete@*/
159 /*@=dependenttrans@*/
160 /*@=unqualifiedtrans@*/