]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | typedef union { |
2 | ltoken ltok; /* a leaf is also an ltoken */ | |
3 | unsigned int count; | |
4 | /*@only@*/ ltokenList ltokenList; | |
5 | /*@only@*/ opFormNode opform; | |
6 | /*@owned@*/ sigNode signature; | |
7 | /*@only@*/ nameNode name; | |
8 | /*@owned@*/ lslOp operator; | |
9 | /*@only@*/ lslOpList operators; | |
10 | } YYSTYPE; | |
4cccc6ad | 11 | #define LST_SIMPLEID 257 |
12 | #define LST_LOGICALOP 258 | |
13 | #define LST_EQOP 259 | |
14 | #define LST_SIMPLEOP 260 | |
15 | #define LST_MAPSYM 261 | |
16 | #define LST_FIELDMAPSYM 262 | |
17 | #define LST_MARKERSYM 263 | |
18 | #define LST_ifTOKEN 264 | |
19 | #define LST_thenTOKEN 265 | |
20 | #define LST_elseTOKEN 266 | |
21 | #define LST_LBRACKET 267 | |
22 | #define LST_RBRACKET 268 | |
23 | #define LST_SELECTSYM 269 | |
24 | #define LST_SEPSYM 270 | |
25 | #define LST_OPENSYM 271 | |
26 | #define LST_CLOSESYM 272 | |
27 | #define LST_COLON 273 | |
28 | #define LST_COMMA 274 | |
29 | #define LST_EOL 275 | |
30 | #define LST_COMMENTSYM 276 | |
31 | #define LST_WHITESPACE 277 | |
32 | #define LST_QUANTIFIERSYM 278 | |
33 | #define LST_EQUATIONSYM 279 | |
34 | #define LST_EQSEPSYM 280 | |
35 | #define LST_COMPOSESYM 281 | |
36 | #define LST_LPAR 282 | |
37 | #define LST_RPAR 283 | |
38 | #define LST_assertsTOKEN 284 | |
39 | #define LST_assumesTOKEN 285 | |
40 | #define LST_byTOKEN 286 | |
41 | #define LST_convertsTOKEN 287 | |
42 | #define LST_enumerationTOKEN 288 | |
43 | #define LST_equationsTOKEN 289 | |
44 | #define LST_exemptingTOKEN 290 | |
45 | #define LST_forTOKEN 291 | |
46 | #define LST_generatedTOKEN 292 | |
47 | #define LST_impliesTOKEN 293 | |
48 | #define LST_includesTOKEN 294 | |
49 | #define LST_introducesTOKEN 295 | |
50 | #define LST_ofTOKEN 296 | |
51 | #define LST_partitionedTOKEN 297 | |
52 | #define LST_traitTOKEN 298 | |
53 | #define LST_tupleTOKEN 299 | |
54 | #define LST_unionTOKEN 300 | |
55 | #define LST_BADTOKEN 301 | |
885824d3 | 56 |