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_LITERAL 269
89 #define MT_ANNOTATIONS 271
92 #define MT_TRANSFERS 274
93 #define MT_PRECONDITIONS 275
94 #define MT_POSTCONDITIONS 276
95 #define MT_LOSEREFERENCE 277
101 #define MT_LPAREN 283
102 #define MT_RPAREN 284
103 #define MT_LBRACKET 285
104 #define MT_RBRACKET 286
105 #define MT_LBRACE 287
106 #define MT_RBRACE 288
111 #define MT_DOUBLE 293
113 #define MT_ANYTYPE 295
114 #define MT_INTEGRALTYPE 296
115 #define MT_UNSIGNEDINTEGRALTYPE 297
116 #define MT_SIGNEDINTEGRALTYPE 298
118 #define MT_VOLATILE 300
119 #define MT_STRINGLIT 301
123 ** Resets all flags in bison.head
145 /*@=evalorderuncon@*/
154 /*@=elseifcomplete@*/
162 /*@=dependenttrans@*/
163 /*@=unqualifiedtrans@*/