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 /* A Bison parser, made by GNU Bison 1.875a. */
59 /* Skeleton parser for Yacc-like parsing with Bison,
60 Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002, 2003 Free Software Foundation, Inc.
62 This program is free software; you can redistribute it and/or modify
63 it under the terms of the GNU General Public License as published by
64 the Free Software Foundation; either version 2, or (at your option)
67 This program is distributed in the hope that it will be useful,
68 but WITHOUT ANY WARRANTY; without even the implied warranty of
69 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
70 GNU General Public License for more details.
72 You should have received a copy of the GNU General Public License
73 along with this program; if not, write to the Free Software
74 Foundation, Inc., 59 Temple Place - Suite 330,
75 Boston, MA 02111-1307, USA. */
77 /* As a special exception, when this file is copied by Bison into a
78 Bison output file, you may use that output file without restriction.
79 This special exception was added by the Free Software Foundation
80 in version 1.24 of Bison. */
85 /* Put the tokens into the symbol table, so that GDB and other debuggers
102 MT_ANNOTATIONS = 272,
106 MT_PRECONDITIONS = 276,
107 MT_POSTCONDITIONS = 277,
108 MT_LOSEREFERENCE = 278,
127 MT_INTEGRALTYPE = 297,
128 MT_UNSIGNEDINTEGRALTYPE = 298,
129 MT_SIGNEDINTEGRALTYPE = 299,
137 #define MT_BADTOK 258
140 #define MT_GLOBAL 261
141 #define MT_CONTEXT 262
143 #define MT_DEFAULTS 264
144 #define MT_DEFAULT 265
145 #define MT_REFERENCE 266
146 #define MT_PARAMETER 267
147 #define MT_RESULT 268
148 #define MT_CLAUSE 269
149 #define MT_LITERAL 270
151 #define MT_ANNOTATIONS 272
154 #define MT_TRANSFERS 275
155 #define MT_PRECONDITIONS 276
156 #define MT_POSTCONDITIONS 277
157 #define MT_LOSEREFERENCE 278
163 #define MT_LPAREN 284
164 #define MT_RPAREN 285
165 #define MT_LBRACKET 286
166 #define MT_RBRACKET 287
167 #define MT_LBRACE 288
168 #define MT_RBRACE 289
173 #define MT_DOUBLE 294
175 #define MT_ANYTYPE 296
176 #define MT_INTEGRALTYPE 297
177 #define MT_UNSIGNEDINTEGRALTYPE 298
178 #define MT_SIGNEDINTEGRALTYPE 299
180 #define MT_VOLATILE 301
181 #define MT_RESTRICT 302
182 #define MT_STRINGLIT 303
188 #if ! defined (YYSTYPE) && ! defined (YYSTYPE_IS_DECLARED)
190 typedef union YYSTYPE {
192 mtDeclarationNode mtdecl;
193 mtDeclarationPiece mtpiece;
194 mtDeclarationPieces mtpieces;
195 mtContextNode mtcontext;
196 mtValuesNode mtvalues;
197 mtDefaultsNode mtdefaults;
198 mtDefaultsDeclList mtdeflist;
199 mtAnnotationsNode mtannotations;
200 mtAnnotationList mtannotlist;
201 mtAnnotationDecl mtannotdecl;
203 mtMergeItem mtmergeitem;
204 mtMergeClauseList mtmergeclauselist;
205 mtMergeClause mtmergeclause;
206 mtTransferClauseList mttransferclauselist;
207 mtTransferClause mttransferclause;
208 mtTransferAction mttransferaction;
209 mtLoseReferenceList mtlosereferencelist;
210 mtLoseReference mtlosereference;
212 /*@only@*/ cstringList cstringlist;
214 /*@only@*/ qtype qtyp;
218 /* Line 1240 of yacc.c. */
220 # define yystype YYSTYPE /* obsolescent; will be withdrawn */
221 # define YYSTYPE_IS_DECLARED 1
222 # define YYSTYPE_IS_TRIVIAL 1
230 ** Resets all flags in bison.head
252 /*@=evalorderuncon@*/
261 /*@=elseifcomplete@*/
269 /*@=dependenttrans@*/
270 /*@=unqualifiedtrans@*/
274 /*drl added 11/27/2001*/
277 /*drl added 12/11/2002*/