cprover
jsil_y.tab.h
Go to the documentation of this file.
1
/* A Bison parser, made by GNU Bison 3.6.4. */
2
3
/* Bison interface for Yacc-like parsers in C
4
5
Copyright (C) 1984, 1989-1990, 2000-2015, 2018-2020 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
/* DO NOT RELY ON FEATURES THAT ARE NOT DOCUMENTED in the manual,
35
especially those whose name start with YY_ or yy_. They are
36
private implementation details that can be changed or removed. */
37
38
#ifndef YY_YYJSIL_JSIL_Y_TAB_H_INCLUDED
39
# define YY_YYJSIL_JSIL_Y_TAB_H_INCLUDED
40
/* Debug traces. */
41
#ifndef YYDEBUG
42
# define YYDEBUG 0
43
#endif
44
#if YYDEBUG
45
extern
int
yyjsildebug;
46
#endif
47
48
/* Token kinds. */
49
#ifndef YYTOKENTYPE
50
# define YYTOKENTYPE
51
enum
yytokentype
52
{
53
YYEMPTY
= -2,
54
YYEOF
= 0,
/* "end of file" */
55
YYerror
= 256,
/* error */
56
YYUNDEF
= 257,
/* "invalid token" */
57
TOK_SCANNER_ERROR
= 258,
/* TOK_SCANNER_ERROR */
58
TOK_NEWLINE
= 259,
/* "<newline>" */
59
TOK_PROCEDURE
= 260,
/* "procedure" */
60
TOK_RETURNS
= 261,
/* "returns" */
61
TOK_TO
= 262,
/* "to" */
62
TOK_THROWS
= 263,
/* "throws" */
63
TOK_EVAL
= 264,
/* "eval" */
64
TOK_LABEL
= 265,
/* "label" */
65
TOK_GOTO
= 266,
/* "goto" */
66
TOK_SKIP
= 267,
/* "skip" */
67
TOK_WITH
= 268,
/* "with" */
68
TOK_NEW
= 269,
/* "new" */
69
TOK_HAS_FIELD
= 270,
/* "hasField" */
70
TOK_DELETE
= 271,
/* "delete" */
71
TOK_PROTO_FIELD
= 272,
/* "protoField" */
72
TOK_PROTO_OBJ
= 273,
/* "protoObj" */
73
TOK_REF
= 274,
/* "ref" */
74
TOK_FIELD
= 275,
/* "field" */
75
TOK_BASE
= 276,
/* "base" */
76
TOK_TYPEOF
= 277,
/* "typeOf" */
77
TOK_NULL
= 278,
/* "null" */
78
TOK_UNDEFINED
= 279,
/* "#undefined" */
79
TOK_EMPTY
= 280,
/* "#empty" */
80
TOK_TRUE
= 281,
/* "true" */
81
TOK_FALSE
= 282,
/* "false" */
82
TOK_PROTO
= 283,
/* "#proto" */
83
TOK_FID
= 284,
/* "#fid" */
84
TOK_SCOPE
= 285,
/* "#scope" */
85
TOK_CONSTRUCTID
= 286,
/* "#constructid" */
86
TOK_PRIMVALUE
= 287,
/* "#primvalue" */
87
TOK_TARGETFUNCTION
= 288,
/* "#targetfunction" */
88
TOK_CLASS
= 289,
/* "#class" */
89
TOK_NUM_TO_STRING
= 290,
/* "num_to_string" */
90
TOK_STRING_TO_NUM
= 291,
/* "string_to_num" */
91
TOK_NUM_TO_INT32
= 292,
/* "num_to_int32" */
92
TOK_NUM_TO_UINT32
= 293,
/* "num_to_uint32" */
93
TOK_MEMBER_REFERENCE
= 294,
/* "#MemberReference" */
94
TOK_VARIABLE_REFERENCE
= 295,
/* "#VariableReference" */
95
TOK_T_NULL
= 296,
/* "#Null" */
96
TOK_T_UNDEFINED
= 297,
/* "#Undefined" */
97
TOK_T_BOOLEAN
= 298,
/* "#Boolean" */
98
TOK_T_STRING
= 299,
/* "#String" */
99
TOK_T_NUMBER
= 300,
/* "#Number" */
100
TOK_T_BUILTIN_OBJECT
= 301,
/* "#BuiltinObject" */
101
TOK_T_USER_OBJECT
= 302,
/* "#UserObject" */
102
TOK_T_OBJECT
= 303,
/* "#Object" */
103
TOK_T_REFERENCE
= 304,
/* "#Reference" */
104
TOK_DEFEQ
= 305,
/* ":=" */
105
TOK_LEQ
= 306,
/* "<=" */
106
TOK_AND
= 307,
/* "and" */
107
TOK_OR
= 308,
/* "or" */
108
TOK_SUBTYPE_OF
= 309,
/* "<:" */
109
TOK_LEFT_SHIFT
= 310,
/* "<<" */
110
TOK_SIGNED_RIGHT_SHIFT
= 311,
/* ">>" */
111
TOK_UNSIGNED_RIGHT_SHIFT
= 312,
/* ">>>" */
112
TOK_NOT
= 313,
/* "not" */
113
TOK_IDENTIFIER
= 314,
/* TOK_IDENTIFIER */
114
TOK_FLOATING
= 315,
/* TOK_FLOATING */
115
TOK_STRING
= 316,
/* TOK_STRING */
116
TOK_BUILTIN_LOC
= 317,
/* TOK_BUILTIN_LOC */
117
TOK_BUILTIN_IDENTIFIER
= 318,
/* TOK_BUILTIN_IDENTIFIER */
118
TOK_SPEC_IDENTIFIER
= 319
/* TOK_SPEC_IDENTIFIER */
119
};
120
typedef
enum
yytokentype
yytoken_kind_t
;
121
#endif
122
123
/* Value type. */
124
#if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED
125
typedef
int
YYSTYPE
;
126
# define YYSTYPE_IS_TRIVIAL 1
127
# define YYSTYPE_IS_DECLARED 1
128
#endif
129
130
131
extern
YYSTYPE
yyjsillval
;
132
133
int
yyjsilparse
(
void
);
134
135
#endif
/* !YY_YYJSIL_JSIL_Y_TAB_H_INCLUDED */
TOK_CLASS
@ TOK_CLASS
Definition:
jsil_y.tab.h:88
TOK_UNDEFINED
@ TOK_UNDEFINED
Definition:
jsil_y.tab.h:78
TOK_AND
@ TOK_AND
Definition:
jsil_y.tab.h:106
TOK_LEQ
@ TOK_LEQ
Definition:
jsil_y.tab.h:105
TOK_PROTO_FIELD
@ TOK_PROTO_FIELD
Definition:
jsil_y.tab.h:71
yyjsilparse
int yyjsilparse(void)
Definition:
jsil_y.tab.cpp:1343
YYEMPTY
@ YYEMPTY
Definition:
jsil_y.tab.h:53
TOK_DELETE
@ TOK_DELETE
Definition:
jsil_y.tab.h:70
TOK_FLOATING
@ TOK_FLOATING
Definition:
jsil_y.tab.h:114
TOK_LABEL
@ TOK_LABEL
Definition:
jsil_y.tab.h:64
YYerror
@ YYerror
Definition:
jsil_y.tab.h:55
TOK_STRING_TO_NUM
@ TOK_STRING_TO_NUM
Definition:
jsil_y.tab.h:90
TOK_LEFT_SHIFT
@ TOK_LEFT_SHIFT
Definition:
jsil_y.tab.h:109
TOK_IDENTIFIER
@ TOK_IDENTIFIER
Definition:
jsil_y.tab.h:113
TOK_PROTO_OBJ
@ TOK_PROTO_OBJ
Definition:
jsil_y.tab.h:72
TOK_BUILTIN_LOC
@ TOK_BUILTIN_LOC
Definition:
jsil_y.tab.h:116
TOK_NUM_TO_UINT32
@ TOK_NUM_TO_UINT32
Definition:
jsil_y.tab.h:92
TOK_OR
@ TOK_OR
Definition:
jsil_y.tab.h:107
TOK_T_BOOLEAN
@ TOK_T_BOOLEAN
Definition:
jsil_y.tab.h:97
TOK_SIGNED_RIGHT_SHIFT
@ TOK_SIGNED_RIGHT_SHIFT
Definition:
jsil_y.tab.h:110
TOK_EVAL
@ TOK_EVAL
Definition:
jsil_y.tab.h:63
TOK_T_REFERENCE
@ TOK_T_REFERENCE
Definition:
jsil_y.tab.h:103
yytoken_kind_t
enum yytokentype yytoken_kind_t
Definition:
jsil_y.tab.h:120
yyjsillval
YYSTYPE yyjsillval
Definition:
jsil_y.tab.cpp:1331
TOK_SPEC_IDENTIFIER
@ TOK_SPEC_IDENTIFIER
Definition:
jsil_y.tab.h:118
TOK_SKIP
@ TOK_SKIP
Definition:
jsil_y.tab.h:66
TOK_TO
@ TOK_TO
Definition:
jsil_y.tab.h:61
TOK_NEW
@ TOK_NEW
Definition:
jsil_y.tab.h:68
YYSTYPE
Definition:
xml_y.tab.cpp:170
TOK_UNSIGNED_RIGHT_SHIFT
@ TOK_UNSIGNED_RIGHT_SHIFT
Definition:
jsil_y.tab.h:111
TOK_MEMBER_REFERENCE
@ TOK_MEMBER_REFERENCE
Definition:
jsil_y.tab.h:93
TOK_SCANNER_ERROR
@ TOK_SCANNER_ERROR
Definition:
jsil_y.tab.h:57
TOK_BUILTIN_IDENTIFIER
@ TOK_BUILTIN_IDENTIFIER
Definition:
jsil_y.tab.h:117
TOK_GOTO
@ TOK_GOTO
Definition:
jsil_y.tab.h:65
TOK_TRUE
@ TOK_TRUE
Definition:
jsil_y.tab.h:80
TOK_PROTO
@ TOK_PROTO
Definition:
jsil_y.tab.h:82
TOK_PROCEDURE
@ TOK_PROCEDURE
Definition:
jsil_y.tab.h:59
yytokentype
yytokentype
Definition:
ansi_c_y.tab.h:52
TOK_HAS_FIELD
@ TOK_HAS_FIELD
Definition:
jsil_y.tab.h:69
TOK_STRING
@ TOK_STRING
Definition:
jsil_y.tab.h:115
TOK_NUM_TO_STRING
@ TOK_NUM_TO_STRING
Definition:
jsil_y.tab.h:89
YYSTYPE
int YYSTYPE
Definition:
jsil_y.tab.h:125
TOK_FID
@ TOK_FID
Definition:
jsil_y.tab.h:83
TOK_RETURNS
@ TOK_RETURNS
Definition:
jsil_y.tab.h:60
TOK_FIELD
@ TOK_FIELD
Definition:
jsil_y.tab.h:74
YYUNDEF
@ YYUNDEF
Definition:
jsil_y.tab.h:56
TOK_FALSE
@ TOK_FALSE
Definition:
jsil_y.tab.h:81
TOK_NOT
@ TOK_NOT
Definition:
jsil_y.tab.h:112
TOK_T_NUMBER
@ TOK_T_NUMBER
Definition:
jsil_y.tab.h:99
YYEOF
@ YYEOF
Definition:
jsil_y.tab.h:54
TOK_T_USER_OBJECT
@ TOK_T_USER_OBJECT
Definition:
jsil_y.tab.h:101
TOK_DEFEQ
@ TOK_DEFEQ
Definition:
jsil_y.tab.h:104
TOK_BASE
@ TOK_BASE
Definition:
jsil_y.tab.h:75
TOK_NEWLINE
@ TOK_NEWLINE
Definition:
jsil_y.tab.h:58
TOK_T_NULL
@ TOK_T_NULL
Definition:
jsil_y.tab.h:95
TOK_T_BUILTIN_OBJECT
@ TOK_T_BUILTIN_OBJECT
Definition:
jsil_y.tab.h:100
TOK_EMPTY
@ TOK_EMPTY
Definition:
jsil_y.tab.h:79
TOK_PRIMVALUE
@ TOK_PRIMVALUE
Definition:
jsil_y.tab.h:86
TOK_WITH
@ TOK_WITH
Definition:
jsil_y.tab.h:67
TOK_T_STRING
@ TOK_T_STRING
Definition:
jsil_y.tab.h:98
TOK_THROWS
@ TOK_THROWS
Definition:
jsil_y.tab.h:62
TOK_CONSTRUCTID
@ TOK_CONSTRUCTID
Definition:
jsil_y.tab.h:85
TOK_REF
@ TOK_REF
Definition:
jsil_y.tab.h:73
TOK_TYPEOF
@ TOK_TYPEOF
Definition:
jsil_y.tab.h:76
TOK_NUM_TO_INT32
@ TOK_NUM_TO_INT32
Definition:
jsil_y.tab.h:91
TOK_SCOPE
@ TOK_SCOPE
Definition:
jsil_y.tab.h:84
TOK_NULL
@ TOK_NULL
Definition:
jsil_y.tab.h:77
TOK_T_OBJECT
@ TOK_T_OBJECT
Definition:
jsil_y.tab.h:102
TOK_SUBTYPE_OF
@ TOK_SUBTYPE_OF
Definition:
jsil_y.tab.h:108
TOK_T_UNDEFINED
@ TOK_T_UNDEFINED
Definition:
jsil_y.tab.h:96
TOK_TARGETFUNCTION
@ TOK_TARGETFUNCTION
Definition:
jsil_y.tab.h:87
TOK_VARIABLE_REFERENCE
@ TOK_VARIABLE_REFERENCE
Definition:
jsil_y.tab.h:94
jsil
jsil_y.tab.h
Generated by
1.8.18