]>
Commit | Line | Data |
---|---|---|
aeee38da | 1 | /* |
2 | ** Inserted at beginning of c files generated by bison | |
3 | ** REMEMBER: Change bison.reset too. | |
4 | */ | |
5 | ||
6 | /*@-allmacros@*/ | |
7 | /*@+boolint@*/ | |
8 | /*@+charint@*/ | |
9 | /*@-macroparams@*/ | |
10 | /*@-macroundef@*/ | |
11 | /*@-unreachable@*/ | |
12 | /*@-macrospec@*/ | |
13 | /*@-varuse@*/ | |
14 | /*@+ignorequals@*/ | |
15 | /*@-macrostmt@*/ | |
16 | /*@-noeffect@*/ | |
17 | /*@-shadow@*/ | |
18 | /*@-exitarg@*/ | |
19 | /*@-macroredef@*/ | |
20 | /*@-uniondef@*/ | |
21 | /*@-compdef@*/ | |
22 | /*@-matchfields@*/ | |
23 | /*@-exportlocal@*/ | |
24 | /*@-evalorderuncon@*/ | |
25 | /*@-exportheader@*/ | |
26 | /*@-typeuse@*/ | |
27 | /*@-redecl@*/ | |
28 | /*@-redef@*/ | |
29 | /*@-noparams@*/ | |
30 | /*@-ansireserved@*/ | |
31 | /*@-fielduse@*/ | |
32 | /*@-ifblock@*/ | |
33 | /*@-elseifcomplete@*/ | |
34 | /*@-whileblock@*/ | |
35 | /*@-forblock@*/ | |
36 | /*@-branchstate@*/ | |
37 | /*@-readonlytrans@*/ | |
38 | /*@-namechecks@*/ | |
39 | /*@-usedef@*/ | |
40 | /*@-systemunrecog@*/ | |
41 | /*@-dependenttrans@*/ | |
42 | /*@-unqualifiedtrans@*/ | |
43 | /*@-nullassign@*/ | |
44 | /*@-nullpass@*/ | |
45 | /*@-nullptrarith*/ | |
46 | /*@-usereleased@*/ | |
47 | /*@-declundef@*/ | |
48 | ||
49 | /*drl added 11/27/2001*/ | |
50 | /*@-bounds@*/ | |
51 | /* < end of bison.head > */ | |
52 | ||
53 | typedef union { | |
54 | ltoken ltok; /* a leaf is also an ltoken */ | |
55 | unsigned int count; | |
56 | /*@only@*/ ltokenList ltokenList; | |
57 | /*@only@*/ opFormNode opform; | |
58 | /*@owned@*/ sigNode signature; | |
59 | /*@only@*/ nameNode name; | |
60 | /*@owned@*/ lslOp operator; | |
61 | /*@only@*/ lslOpList operators; | |
62 | /*@-redef@*/ /*@-matchfields@*/ | |
63 | } YYSTYPE; | |
64 | #define LST_SIMPLEID 257 | |
65 | #define LST_LOGICALOP 258 | |
66 | #define LST_EQOP 259 | |
67 | #define LST_SIMPLEOP 260 | |
68 | #define LST_MAPSYM 261 | |
69 | #define LST_FIELDMAPSYM 262 | |
70 | #define LST_MARKERSYM 263 | |
71 | #define LST_ifTOKEN 264 | |
72 | #define LST_thenTOKEN 265 | |
73 | #define LST_elseTOKEN 266 | |
74 | #define LST_LBRACKET 267 | |
75 | #define LST_RBRACKET 268 | |
76 | #define LST_SELECTSYM 269 | |
77 | #define LST_SEPSYM 270 | |
78 | #define LST_OPENSYM 271 | |
79 | #define LST_CLOSESYM 272 | |
80 | #define LST_COLON 273 | |
81 | #define LST_COMMA 274 | |
82 | #define LST_EOL 275 | |
83 | #define LST_COMMENTSYM 276 | |
84 | #define LST_WHITESPACE 277 | |
85 | #define LST_QUANTIFIERSYM 278 | |
86 | #define LST_EQUATIONSYM 279 | |
87 | #define LST_EQSEPSYM 280 | |
88 | #define LST_COMPOSESYM 281 | |
89 | #define LST_LPAR 282 | |
90 | #define LST_RPAR 283 | |
91 | #define LST_assertsTOKEN 284 | |
92 | #define LST_assumesTOKEN 285 | |
93 | #define LST_byTOKEN 286 | |
94 | #define LST_convertsTOKEN 287 | |
95 | #define LST_enumerationTOKEN 288 | |
96 | #define LST_equationsTOKEN 289 | |
97 | #define LST_exemptingTOKEN 290 | |
98 | #define LST_forTOKEN 291 | |
99 | #define LST_generatedTOKEN 292 | |
100 | #define LST_impliesTOKEN 293 | |
101 | #define LST_includesTOKEN 294 | |
102 | #define LST_introducesTOKEN 295 | |
103 | #define LST_ofTOKEN 296 | |
104 | #define LST_partitionedTOKEN 297 | |
105 | #define LST_traitTOKEN 298 | |
106 | #define LST_tupleTOKEN 299 | |
107 | #define LST_unionTOKEN 300 | |
108 | #define LST_BADTOKEN 301 | |
109 | ||
110 | /* | |
111 | ** Resets all flags in bison.head | |
112 | */ | |
113 | ||
114 | ||
115 | /*@=allmacros@*/ | |
116 | /*@=boolint@*/ | |
117 | /*@=charint@*/ | |
118 | /*@=macroparams@*/ | |
119 | /*@=macroundef@*/ | |
120 | /*@=unreachable@*/ | |
121 | /*@=macrospec@*/ | |
122 | /*@=varuse@*/ | |
123 | /*@=ignorequals@*/ | |
124 | /*@=macrostmt@*/ | |
125 | /*@=noeffect@*/ | |
126 | /*@=shadow@*/ | |
127 | /*@=exitarg@*/ | |
128 | /*@=macroredef@*/ | |
129 | /*@=uniondef@*/ | |
130 | /*@=compdef@*/ | |
131 | /*@=matchfields@*/ | |
132 | /*@=exportlocal@*/ | |
133 | /*@=evalorderuncon@*/ | |
134 | /*@=exportheader@*/ | |
135 | /*@=typeuse@*/ | |
136 | /*@=redecl@*/ | |
137 | /*@=redef@*/ | |
138 | /*@=noparams@*/ | |
139 | /*@=ansireserved@*/ | |
140 | /*@=fielduse@*/ | |
141 | /*@=ifblock@*/ | |
142 | /*@=elseifcomplete@*/ | |
143 | /*@=whileblock@*/ | |
144 | /*@=forblock@*/ | |
145 | /*@=branchstate@*/ | |
146 | /*@=readonlytrans@*/ | |
147 | /*@=namechecks@*/ | |
148 | /*@=usedef@*/ | |
149 | /*@=systemunrecog@*/ | |
150 | /*@=dependenttrans@*/ | |
151 | /*@=unqualifiedtrans@*/ | |
152 | /*@=declundef@*/ | |
153 | ||
154 | ||
155 | /*drl added 11/27/2001*/ | |
156 | /*@=bounds@*/ |