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 #ifndef BISON_SIGNATURE_TAB_H
58 # define BISON_SIGNATURE_TAB_H
62 ltoken ltok; /* a leaf is also an ltoken */
64 /*@only@*/ ltokenList ltokenList;
65 /*@only@*/ opFormNode opform;
66 /*@owned@*/ sigNode signature;
67 /*@only@*/ nameNode name;
68 /*@owned@*/ lslOp operator;
69 /*@only@*/ lslOpList operators;
70 /*@-redef@*/ /*@-matchfields@*/
72 # define YYSTYPE yystype
73 # define YYSTYPE_IS_TRIVIAL 1
75 # define LST_SIMPLEID 257
76 # define LST_LOGICALOP 258
78 # define LST_SIMPLEOP 260
79 # define LST_MAPSYM 261
80 # define LST_FIELDMAPSYM 262
81 # define LST_MARKERSYM 263
82 # define LST_ifTOKEN 264
83 # define LST_thenTOKEN 265
84 # define LST_elseTOKEN 266
85 # define LST_LBRACKET 267
86 # define LST_RBRACKET 268
87 # define LST_SELECTSYM 269
88 # define LST_SEPSYM 270
89 # define LST_OPENSYM 271
90 # define LST_CLOSESYM 272
91 # define LST_COLON 273
92 # define LST_COMMA 274
94 # define LST_COMMENTSYM 276
95 # define LST_WHITESPACE 277
96 # define LST_QUANTIFIERSYM 278
97 # define LST_EQUATIONSYM 279
98 # define LST_EQSEPSYM 280
99 # define LST_COMPOSESYM 281
100 # define LST_LPAR 282
101 # define LST_RPAR 283
102 # define LST_assertsTOKEN 284
103 # define LST_assumesTOKEN 285
104 # define LST_byTOKEN 286
105 # define LST_convertsTOKEN 287
106 # define LST_enumerationTOKEN 288
107 # define LST_equationsTOKEN 289
108 # define LST_exemptingTOKEN 290
109 # define LST_forTOKEN 291
110 # define LST_generatedTOKEN 292
111 # define LST_impliesTOKEN 293
112 # define LST_includesTOKEN 294
113 # define LST_introducesTOKEN 295
114 # define LST_ofTOKEN 296
115 # define LST_partitionedTOKEN 297
116 # define LST_traitTOKEN 298
117 # define LST_tupleTOKEN 299
118 # define LST_unionTOKEN 300
119 # define LST_BADTOKEN 301
122 #endif /* not BISON_SIGNATURE_TAB_H */
124 ** Resets all flags in bison.head
146 /*@=evalorderuncon@*/
155 /*@=elseifcomplete@*/
163 /*@=dependenttrans@*/
164 /*@=unqualifiedtrans@*/
168 /*drl added 11/27/2001*/
171 /*drl added 12/11/2002*/