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*/
57 /* < end of bison.head > */
59 /* A Bison parser, made by GNU Bison 2.3. */
61 /* Skeleton interface for Bison's Yacc-like parsers in C
63 Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002, 2003, 2004, 2005, 2006
64 Free Software Foundation, Inc.
66 This program is free software; you can redistribute it and/or modify
67 it under the terms of the GNU General Public License as published by
68 the Free Software Foundation; either version 2, or (at your option)
71 This program is distributed in the hope that it will be useful,
72 but WITHOUT ANY WARRANTY; without even the implied warranty of
73 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
74 GNU General Public License for more details.
76 You should have received a copy of the GNU General Public License
77 along with this program; if not, write to the Free Software
78 Foundation, Inc., 51 Franklin Street, Fifth Floor,
79 Boston, MA 02110-1301, USA. */
81 /* As a special exception, you may create a larger work that contains
82 part or all of the Bison parser skeleton and distribute that work
83 under terms of your choice, so long as that work isn't itself a
84 parser generator using the skeleton or a modified version thereof
85 as a parser skeleton. Alternatively, if you modify or redistribute
86 the parser skeleton itself, you may (at your option) remove this
87 special exception, which will cause the skeleton and the resulting
88 Bison output files to be licensed under the GNU General Public
89 License without this special exception.
91 This special exception was added by the Free Software Foundation in
92 version 2.2 of Bison. */
97 /* Put the tokens into the symbol table, so that GDB and other debuggers
105 LST_FIELDMAPSYM = 263,
119 LST_COMMENTSYM = 277,
120 LST_WHITESPACE = 278,
121 LST_QUANTIFIERSYM = 279,
122 LST_EQUATIONSYM = 280,
124 LST_COMPOSESYM = 282,
127 LST_assertsTOKEN = 285,
128 LST_assumesTOKEN = 286,
130 LST_convertsTOKEN = 288,
131 LST_enumerationTOKEN = 289,
132 LST_equationsTOKEN = 290,
133 LST_exemptingTOKEN = 291,
135 LST_generatedTOKEN = 293,
136 LST_impliesTOKEN = 294,
137 LST_includesTOKEN = 295,
138 LST_introducesTOKEN = 296,
140 LST_partitionedTOKEN = 298,
141 LST_traitTOKEN = 299,
142 LST_tupleTOKEN = 300,
143 LST_unionTOKEN = 301,
148 #define LST_SIMPLEID 258
149 #define LST_LOGICALOP 259
151 #define LST_SIMPLEOP 261
152 #define LST_MAPSYM 262
153 #define LST_FIELDMAPSYM 263
154 #define LST_MARKERSYM 264
155 #define LST_ifTOKEN 265
156 #define LST_thenTOKEN 266
157 #define LST_elseTOKEN 267
158 #define LST_LBRACKET 268
159 #define LST_RBRACKET 269
160 #define LST_SELECTSYM 270
161 #define LST_SEPSYM 271
162 #define LST_OPENSYM 272
163 #define LST_CLOSESYM 273
164 #define LST_COLON 274
165 #define LST_COMMA 275
167 #define LST_COMMENTSYM 277
168 #define LST_WHITESPACE 278
169 #define LST_QUANTIFIERSYM 279
170 #define LST_EQUATIONSYM 280
171 #define LST_EQSEPSYM 281
172 #define LST_COMPOSESYM 282
175 #define LST_assertsTOKEN 285
176 #define LST_assumesTOKEN 286
177 #define LST_byTOKEN 287
178 #define LST_convertsTOKEN 288
179 #define LST_enumerationTOKEN 289
180 #define LST_equationsTOKEN 290
181 #define LST_exemptingTOKEN 291
182 #define LST_forTOKEN 292
183 #define LST_generatedTOKEN 293
184 #define LST_impliesTOKEN 294
185 #define LST_includesTOKEN 295
186 #define LST_introducesTOKEN 296
187 #define LST_ofTOKEN 297
188 #define LST_partitionedTOKEN 298
189 #define LST_traitTOKEN 299
190 #define LST_tupleTOKEN 300
191 #define LST_unionTOKEN 301
192 #define LST_BADTOKEN 302
197 #if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED
198 typedef union YYSTYPE
201 ltoken ltok; /* a leaf is also an ltoken */
203 /*@only@*/ ltokenList ltokenList;
204 /*@only@*/ opFormNode opform;
205 /*@owned@*/ sigNode signature;
206 /*@only@*/ nameNode name;
207 /*@owned@*/ lslOp operator;
208 /*@only@*/ lslOpList operators;
209 /*@-redef@*/ /*@-matchfields@*/
211 /* Line 1529 of yacc.c. */
214 # define yystype YYSTYPE /* obsolescent; will be withdrawn */
215 # define YYSTYPE_IS_DECLARED 1
216 # define YYSTYPE_IS_TRIVIAL 1
222 ** Resets all flags in bison.head
244 /*@=evalorderuncon@*/
253 /*@=elseifcomplete@*/
261 /*@=dependenttrans@*/
262 /*@=unqualifiedtrans@*/
266 /*drl added 11/27/2001*/
269 /*drl added 12/11/2002*/