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
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