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 */
TOK_STRING
#define TOK_STRING
Definition: jsil_y.tab.h:175
TOK_FALSE
#define TOK_FALSE
Definition: jsil_y.tab.h:141
TOK_T_NULL
#define TOK_T_NULL
Definition: jsil_y.tab.h:155
TOK_RETURNS
#define TOK_RETURNS
Definition: jsil_y.tab.h:120
TOK_SCANNER_ERROR
#define TOK_SCANNER_ERROR
Definition: jsil_y.tab.h:117
TOK_NULL
#define TOK_NULL
Definition: jsil_y.tab.h:137
TOK_TARGETFUNCTION
#define TOK_TARGETFUNCTION
Definition: jsil_y.tab.h:147
yyjsilparse
int yyjsilparse(void)
Definition: jsil_y.tab.cpp:1401
TOK_CLASS
#define TOK_CLASS
Definition: jsil_y.tab.h:148
TOK_T_OBJECT
#define TOK_T_OBJECT
Definition: jsil_y.tab.h:162
TOK_T_BOOLEAN
#define TOK_T_BOOLEAN
Definition: jsil_y.tab.h:157
TOK_FLOATING
#define TOK_FLOATING
Definition: jsil_y.tab.h:174
TOK_UNDEFINED
#define TOK_UNDEFINED
Definition: jsil_y.tab.h:138
TOK_DELETE
#define TOK_DELETE
Definition: jsil_y.tab.h:130
TOK_NUM_TO_UINT32
#define TOK_NUM_TO_UINT32
Definition: jsil_y.tab.h:152
TOK_BUILTIN_LOC
#define TOK_BUILTIN_LOC
Definition: jsil_y.tab.h:176
TOK_BUILTIN_IDENTIFIER
#define TOK_BUILTIN_IDENTIFIER
Definition: jsil_y.tab.h:177
TOK_TO
#define TOK_TO
Definition: jsil_y.tab.h:121
TOK_NEWLINE
#define TOK_NEWLINE
Definition: jsil_y.tab.h:118
TOK_FID
#define TOK_FID
Definition: jsil_y.tab.h:143
TOK_PROCEDURE
#define TOK_PROCEDURE
Definition: jsil_y.tab.h:119
TOK_TRUE
#define TOK_TRUE
Definition: jsil_y.tab.h:140
TOK_BASE
#define TOK_BASE
Definition: jsil_y.tab.h:135
TOK_REF
#define TOK_REF
Definition: jsil_y.tab.h:133
yyjsillval
YYSTYPE yyjsillval
Definition: jsil_y.tab.cpp:1391
TOK_T_REFERENCE
#define TOK_T_REFERENCE
Definition: jsil_y.tab.h:163
TOK_PROTO_OBJ
#define TOK_PROTO_OBJ
Definition: jsil_y.tab.h:132
TOK_T_NUMBER
#define TOK_T_NUMBER
Definition: jsil_y.tab.h:159
YYSTYPE
Definition: xml_y.tab.cpp:166
TOK_T_STRING
#define TOK_T_STRING
Definition: jsil_y.tab.h:158
TOK_LEQ
#define TOK_LEQ
Definition: jsil_y.tab.h:165
TOK_FIELD
#define TOK_FIELD
Definition: jsil_y.tab.h:134
TOK_T_BUILTIN_OBJECT
#define TOK_T_BUILTIN_OBJECT
Definition: jsil_y.tab.h:160
TOK_OR
#define TOK_OR
Definition: jsil_y.tab.h:167
TOK_LABEL
#define TOK_LABEL
Definition: jsil_y.tab.h:124
TOK_SKIP
#define TOK_SKIP
Definition: jsil_y.tab.h:126
TOK_SCOPE
#define TOK_SCOPE
Definition: jsil_y.tab.h:144
yytokentype
yytokentype
Definition: ansi_c_y.tab.h:50
TOK_CONSTRUCTID
#define TOK_CONSTRUCTID
Definition: jsil_y.tab.h:145
TOK_LEFT_SHIFT
#define TOK_LEFT_SHIFT
Definition: jsil_y.tab.h:169
TOK_PRIMVALUE
#define TOK_PRIMVALUE
Definition: jsil_y.tab.h:146
TOK_THROWS
#define TOK_THROWS
Definition: jsil_y.tab.h:122
TOK_NOT
#define TOK_NOT
Definition: jsil_y.tab.h:172
YYSTYPE
int YYSTYPE
Definition: jsil_y.tab.h:182
TOK_T_UNDEFINED
#define TOK_T_UNDEFINED
Definition: jsil_y.tab.h:156
TOK_EVAL
#define TOK_EVAL
Definition: jsil_y.tab.h:123
TOK_AND
#define TOK_AND
Definition: jsil_y.tab.h:166
TOK_EMPTY
#define TOK_EMPTY
Definition: jsil_y.tab.h:139
TOK_GOTO
#define TOK_GOTO
Definition: jsil_y.tab.h:125
TOK_UNSIGNED_RIGHT_SHIFT
#define TOK_UNSIGNED_RIGHT_SHIFT
Definition: jsil_y.tab.h:171
TOK_DEFEQ
#define TOK_DEFEQ
Definition: jsil_y.tab.h:164
TOK_T_USER_OBJECT
#define TOK_T_USER_OBJECT
Definition: jsil_y.tab.h:161
TOK_STRING_TO_NUM
#define TOK_STRING_TO_NUM
Definition: jsil_y.tab.h:150
TOK_SUBTYPE_OF
#define TOK_SUBTYPE_OF
Definition: jsil_y.tab.h:168
TOK_PROTO
#define TOK_PROTO
Definition: jsil_y.tab.h:142
TOK_VARIABLE_REFERENCE
#define TOK_VARIABLE_REFERENCE
Definition: jsil_y.tab.h:154
TOK_TYPEOF
#define TOK_TYPEOF
Definition: jsil_y.tab.h:136
TOK_IDENTIFIER
#define TOK_IDENTIFIER
Definition: jsil_y.tab.h:173
TOK_NUM_TO_STRING
#define TOK_NUM_TO_STRING
Definition: jsil_y.tab.h:149
TOK_NEW
#define TOK_NEW
Definition: jsil_y.tab.h:128
TOK_SIGNED_RIGHT_SHIFT
#define TOK_SIGNED_RIGHT_SHIFT
Definition: jsil_y.tab.h:170
TOK_HAS_FIELD
#define TOK_HAS_FIELD
Definition: jsil_y.tab.h:129
TOK_SPEC_IDENTIFIER
#define TOK_SPEC_IDENTIFIER
Definition: jsil_y.tab.h:178
TOK_WITH
#define TOK_WITH
Definition: jsil_y.tab.h:127
TOK_PROTO_FIELD
#define TOK_PROTO_FIELD
Definition: jsil_y.tab.h:131
TOK_NUM_TO_INT32
#define TOK_NUM_TO_INT32
Definition: jsil_y.tab.h:151
TOK_MEMBER_REFERENCE
#define TOK_MEMBER_REFERENCE
Definition: jsil_y.tab.h:153