cprover
jsil_y.tab.h
Go to the documentation of this file.
1 /* A Bison parser, made by GNU Bison 3.0.4. */
2 
3 /* Bison interface for Yacc-like parsers in C
4 
5  Copyright (C) 1984, 1989-1990, 2000-2015 Free Software Foundation, Inc.
6 
7  This program is free software: you can redistribute it and/or modify
8  it under the terms of the GNU General Public License as published by
9  the Free Software Foundation, either version 3 of the License, or
10  (at your option) any later version.
11 
12  This program is distributed in the hope that it will be useful,
13  but WITHOUT ANY WARRANTY; without even the implied warranty of
14  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15  GNU General Public License for more details.
16 
17  You should have received a copy of the GNU General Public License
18  along with this program. If not, see <http://www.gnu.org/licenses/>. */
19 
20 /* As a special exception, you may create a larger work that contains
21  part or all of the Bison parser skeleton and distribute that work
22  under terms of your choice, so long as that work isn't itself a
23  parser generator using the skeleton or a modified version thereof
24  as a parser skeleton. Alternatively, if you modify or redistribute
25  the parser skeleton itself, you may (at your option) remove this
26  special exception, which will cause the skeleton and the resulting
27  Bison output files to be licensed under the GNU General Public
28  License without this special exception.
29 
30  This special exception was added by the Free Software Foundation in
31  version 2.2 of Bison. */
32 
33 #ifndef YY_YYJSIL_JSIL_Y_TAB_HPP_INCLUDED
34 # define YY_YYJSIL_JSIL_Y_TAB_HPP_INCLUDED
35 /* Debug traces. */
36 #ifndef YYDEBUG
37 # define YYDEBUG 0
38 #endif
39 #if YYDEBUG
40 extern int yyjsildebug;
41 #endif
42 
43 /* Token type. */
44 #ifndef YYTOKENTYPE
45 # define YYTOKENTYPE
47  {
49  TOK_NEWLINE = 259,
51  TOK_RETURNS = 261,
52  TOK_TO = 262,
53  TOK_THROWS = 263,
54  TOK_EVAL = 264,
55  TOK_LABEL = 265,
56  TOK_GOTO = 266,
57  TOK_SKIP = 267,
58  TOK_WITH = 268,
59  TOK_NEW = 269,
61  TOK_DELETE = 271,
64  TOK_REF = 274,
65  TOK_FIELD = 275,
66  TOK_BASE = 276,
67  TOK_TYPEOF = 277,
68  TOK_NULL = 278,
70  TOK_EMPTY = 280,
71  TOK_TRUE = 281,
72  TOK_FALSE = 282,
73  TOK_PROTO = 283,
74  TOK_FID = 284,
75  TOK_SCOPE = 285,
79  TOK_CLASS = 289,
86  TOK_T_NULL = 296,
89  TOK_T_STRING = 299,
90  TOK_T_NUMBER = 300,
93  TOK_T_OBJECT = 303,
95  TOK_DEFEQ = 305,
96  TOK_LEQ = 306,
97  TOK_AND = 307,
98  TOK_OR = 308,
103  TOK_NOT = 313,
106  TOK_STRING = 316,
110  };
111 #endif
112 /* Tokens. */
113 #define TOK_SCANNER_ERROR 258
114 #define TOK_NEWLINE 259
115 #define TOK_PROCEDURE 260
116 #define TOK_RETURNS 261
117 #define TOK_TO 262
118 #define TOK_THROWS 263
119 #define TOK_EVAL 264
120 #define TOK_LABEL 265
121 #define TOK_GOTO 266
122 #define TOK_SKIP 267
123 #define TOK_WITH 268
124 #define TOK_NEW 269
125 #define TOK_HAS_FIELD 270
126 #define TOK_DELETE 271
127 #define TOK_PROTO_FIELD 272
128 #define TOK_PROTO_OBJ 273
129 #define TOK_REF 274
130 #define TOK_FIELD 275
131 #define TOK_BASE 276
132 #define TOK_TYPEOF 277
133 #define TOK_NULL 278
134 #define TOK_UNDEFINED 279
135 #define TOK_EMPTY 280
136 #define TOK_TRUE 281
137 #define TOK_FALSE 282
138 #define TOK_PROTO 283
139 #define TOK_FID 284
140 #define TOK_SCOPE 285
141 #define TOK_CONSTRUCTID 286
142 #define TOK_PRIMVALUE 287
143 #define TOK_TARGETFUNCTION 288
144 #define TOK_CLASS 289
145 #define TOK_NUM_TO_STRING 290
146 #define TOK_STRING_TO_NUM 291
147 #define TOK_NUM_TO_INT32 292
148 #define TOK_NUM_TO_UINT32 293
149 #define TOK_MEMBER_REFERENCE 294
150 #define TOK_VARIABLE_REFERENCE 295
151 #define TOK_T_NULL 296
152 #define TOK_T_UNDEFINED 297
153 #define TOK_T_BOOLEAN 298
154 #define TOK_T_STRING 299
155 #define TOK_T_NUMBER 300
156 #define TOK_T_BUILTIN_OBJECT 301
157 #define TOK_T_USER_OBJECT 302
158 #define TOK_T_OBJECT 303
159 #define TOK_T_REFERENCE 304
160 #define TOK_DEFEQ 305
161 #define TOK_LEQ 306
162 #define TOK_AND 307
163 #define TOK_OR 308
164 #define TOK_SUBTYPE_OF 309
165 #define TOK_LEFT_SHIFT 310
166 #define TOK_SIGNED_RIGHT_SHIFT 311
167 #define TOK_UNSIGNED_RIGHT_SHIFT 312
168 #define TOK_NOT 313
169 #define TOK_IDENTIFIER 314
170 #define TOK_FLOATING 315
171 #define TOK_STRING 316
172 #define TOK_BUILTIN_LOC 317
173 #define TOK_BUILTIN_IDENTIFIER 318
174 #define TOK_SPEC_IDENTIFIER 319
175 
176 /* Value type. */
177 #if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED
178 typedef int YYSTYPE;
179 # define YYSTYPE_IS_TRIVIAL 1
180 # define YYSTYPE_IS_DECLARED 1
181 #endif
182 
183 
184 extern YYSTYPE yyjsillval;
185 
186 int yyjsilparse (void);
187 
188 #endif /* !YY_YYJSIL_JSIL_Y_TAB_HPP_INCLUDED */
#define TOK_SPEC_IDENTIFIER
Definition: jsil_y.tab.h:174
#define TOK_T_BOOLEAN
Definition: jsil_y.tab.h:153
#define TOK_BUILTIN_IDENTIFIER
Definition: jsil_y.tab.h:173
#define TOK_WITH
Definition: jsil_y.tab.h:123
#define TOK_NUM_TO_UINT32
Definition: jsil_y.tab.h:148
#define TOK_BUILTIN_LOC
Definition: jsil_y.tab.h:172
yytokentype
Definition: ansi_c_y.tab.h:46
int yyjsilparse(void)
#define TOK_SCANNER_ERROR
Definition: jsil_y.tab.h:113
#define TOK_TARGETFUNCTION
Definition: jsil_y.tab.h:143
#define TOK_LEQ
Definition: jsil_y.tab.h:161
#define TOK_REF
Definition: jsil_y.tab.h:129
#define TOK_LABEL
Definition: jsil_y.tab.h:120
#define TOK_T_REFERENCE
Definition: jsil_y.tab.h:159
#define TOK_PROTO_OBJ
Definition: jsil_y.tab.h:128
#define TOK_FID
Definition: jsil_y.tab.h:139
#define TOK_TO
Definition: jsil_y.tab.h:117
#define TOK_DELETE
Definition: jsil_y.tab.h:126
#define TOK_FLOATING
Definition: jsil_y.tab.h:170
#define TOK_T_BUILTIN_OBJECT
Definition: jsil_y.tab.h:156
#define TOK_PROCEDURE
Definition: jsil_y.tab.h:115
#define TOK_THROWS
Definition: jsil_y.tab.h:118
#define TOK_TRUE
Definition: jsil_y.tab.h:136
#define TOK_SKIP
Definition: jsil_y.tab.h:122
#define TOK_NOT
Definition: jsil_y.tab.h:168
#define TOK_CONSTRUCTID
Definition: jsil_y.tab.h:141
int YYSTYPE
Definition: jsil_y.tab.h:178
#define TOK_EVAL
Definition: jsil_y.tab.h:119
#define TOK_NEWLINE
Definition: jsil_y.tab.h:114
#define TOK_BASE
Definition: jsil_y.tab.h:131
YYSTYPE yyjsillval
#define TOK_OR
Definition: jsil_y.tab.h:163
#define TOK_T_UNDEFINED
Definition: jsil_y.tab.h:152
#define TOK_SCOPE
Definition: jsil_y.tab.h:140
#define TOK_GOTO
Definition: jsil_y.tab.h:121
#define TOK_UNSIGNED_RIGHT_SHIFT
Definition: jsil_y.tab.h:167
#define TOK_T_NUMBER
Definition: jsil_y.tab.h:155
#define TOK_T_STRING
Definition: jsil_y.tab.h:154
#define TOK_FIELD
Definition: jsil_y.tab.h:130
#define TOK_STRING_TO_NUM
Definition: jsil_y.tab.h:146
#define TOK_LEFT_SHIFT
Definition: jsil_y.tab.h:165
#define TOK_SUBTYPE_OF
Definition: jsil_y.tab.h:164
#define TOK_PROTO
Definition: jsil_y.tab.h:138
#define TOK_AND
Definition: jsil_y.tab.h:162
#define TOK_EMPTY
Definition: jsil_y.tab.h:135
#define TOK_PRIMVALUE
Definition: jsil_y.tab.h:142
#define TOK_T_USER_OBJECT
Definition: jsil_y.tab.h:157
#define TOK_VARIABLE_REFERENCE
Definition: jsil_y.tab.h:150
#define TOK_PROTO_FIELD
Definition: jsil_y.tab.h:127
#define TOK_DEFEQ
Definition: jsil_y.tab.h:160
#define TOK_TYPEOF
Definition: jsil_y.tab.h:132
#define TOK_STRING
Definition: jsil_y.tab.h:171
#define TOK_FALSE
Definition: jsil_y.tab.h:137
#define TOK_IDENTIFIER
Definition: jsil_y.tab.h:169
#define TOK_T_NULL
Definition: jsil_y.tab.h:151
#define TOK_NUM_TO_STRING
Definition: jsil_y.tab.h:145
#define TOK_NULL
Definition: jsil_y.tab.h:133
#define TOK_NEW
Definition: jsil_y.tab.h:124
#define TOK_NUM_TO_INT32
Definition: jsil_y.tab.h:147
#define TOK_MEMBER_REFERENCE
Definition: jsil_y.tab.h:149
#define TOK_SIGNED_RIGHT_SHIFT
Definition: jsil_y.tab.h:166
#define TOK_HAS_FIELD
Definition: jsil_y.tab.h:125
#define TOK_CLASS
Definition: jsil_y.tab.h:144
#define TOK_T_OBJECT
Definition: jsil_y.tab.h:158
#define TOK_RETURNS
Definition: jsil_y.tab.h:116
#define TOK_UNDEFINED
Definition: jsil_y.tab.h:134