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