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