cprover
statement_list_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_YYSTATEMENT_LIST_STATEMENT_LIST_Y_TAB_H_INCLUDED
39
# define YY_YYSTATEMENT_LIST_STATEMENT_LIST_Y_TAB_H_INCLUDED
40
/* Debug traces. */
41
#ifndef YYDEBUG
42
# define YYDEBUG 0
43
#endif
44
#if YYDEBUG
45
extern
int
yystatement_listdebug;
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_VERSION
= 258,
/* "VERSION" */
58
TOK_BEGIN
= 259,
/* "BEGIN" */
59
TOK_FUNCTION_BLOCK
= 260,
/* "FUNCTION_BLOCK" */
60
TOK_END_FUNCTION_BLOCK
= 261,
/* "END_FUNCTION_BLOCK" */
61
TOK_FUNCTION
= 262,
/* "FUNCTION" */
62
TOK_END_FUNCTION
= 263,
/* "END_FUNCTION" */
63
TOK_VAR_INPUT
= 264,
/* "VAR_INPUT" */
64
TOK_VAR_INOUT
= 265,
/* "VAR_IN_OUT" */
65
TOK_VAR_OUTPUT
= 266,
/* "VAR_OUTPUT" */
66
TOK_VAR_STATIC
= 267,
/* "VAR" */
67
TOK_VAR_TEMP
= 268,
/* "VAR_TEMP" */
68
TOK_VAR_CONSTANT
= 269,
/* "VAR CONSTANT" */
69
TOK_END_VAR
= 270,
/* "END_VAR" */
70
TOK_NETWORK
= 271,
/* "NETWORK" */
71
TOK_TITLE
= 272,
/* "TITLE" */
72
TOK_TAG
= 273,
/* "TAG" */
73
TOK_END_TAG
= 274,
/* "END_TAG" */
74
TOK_INT
= 275,
/* "Int" */
75
TOK_DINT
= 276,
/* "DInt" */
76
TOK_REAL
= 277,
/* "Real" */
77
TOK_BOOL
= 278,
/* "Bool" */
78
TOK_VOID
= 279,
/* "Void" */
79
TOK_LOAD
= 280,
/* "L" */
80
TOK_TRANSFER
= 281,
/* "T" */
81
TOK_CALL
= 282,
/* "CALL" */
82
TOK_NOP
= 283,
/* "NOP" */
83
TOK_SET_RLO
= 284,
/* "SET" */
84
TOK_CLR_RLO
= 285,
/* "CLR" */
85
TOK_SET
= 286,
/* "S" */
86
TOK_RESET
= 287,
/* "R" */
87
TOK_NOT
= 288,
/* "NOT" */
88
TOK_AND
= 289,
/* "A" */
89
TOK_AND_NOT
= 290,
/* "AN" */
90
TOK_OR
= 291,
/* "O" */
91
TOK_OR_NOT
= 292,
/* "ON" */
92
TOK_XOR
= 293,
/* "X" */
93
TOK_XOR_NOT
= 294,
/* "XN" */
94
TOK_AND_NESTED
= 295,
/* "A(" */
95
TOK_AND_NOT_NESTED
= 296,
/* "AN(" */
96
TOK_OR_NESTED
= 297,
/* "O(" */
97
TOK_OR_NOT_NESTED
= 298,
/* "ON(" */
98
TOK_XOR_NESTED
= 299,
/* "X(" */
99
TOK_XOR_NOT_NESTED
= 300,
/* "XN(" */
100
TOK_NESTING_CLOSED
= 301,
/* ")" */
101
TOK_ASSIGN
= 302,
/* "=" */
102
TOK_CONST_ADD
= 303,
/* "+" */
103
TOK_ACCU_INT_ADD
= 304,
/* "+I" */
104
TOK_ACCU_INT_SUB
= 305,
/* "-I" */
105
TOK_ACCU_INT_MUL
= 306,
/* "*I" */
106
TOK_ACCU_INT_DIV
= 307,
/* "/I" */
107
TOK_ACCU_INT_EQ
= 308,
/* "==I" */
108
TOK_ACCU_INT_NEQ
= 309,
/* "<>I" */
109
TOK_ACCU_INT_GT
= 310,
/* ">I" */
110
TOK_ACCU_INT_LT
= 311,
/* "<I" */
111
TOK_ACCU_INT_GTE
= 312,
/* ">=I" */
112
TOK_ACCU_INT_LTE
= 313,
/* "<=I" */
113
TOK_ACCU_REAL_ADD
= 314,
/* "+R" */
114
TOK_ACCU_REAL_SUB
= 315,
/* "-R" */
115
TOK_ACCU_REAL_MUL
= 316,
/* "*R" */
116
TOK_ACCU_REAL_DIV
= 317,
/* "/R" */
117
TOK_ACCU_REAL_EQ
= 318,
/* "==R" */
118
TOK_ACCU_REAL_NEQ
= 319,
/* "<>R" */
119
TOK_ACCU_REAL_GT
= 320,
/* ">R" */
120
TOK_ACCU_REAL_LT
= 321,
/* "<R" */
121
TOK_ACCU_REAL_GTE
= 322,
/* ">=R" */
122
TOK_ACCU_REAL_LTE
= 323,
/* "<=R" */
123
TOK_ACCU_DINT_ADD
= 324,
/* "+D" */
124
TOK_ACCU_DINT_SUB
= 325,
/* "-D" */
125
TOK_ACCU_DINT_MUL
= 326,
/* "*D" */
126
TOK_ACCU_DINT_DIV
= 327,
/* "/D" */
127
TOK_ACCU_DINT_EQ
= 328,
/* "==D" */
128
TOK_ACCU_DINT_NEQ
= 329,
/* "<>D" */
129
TOK_ACCU_DINT_GT
= 330,
/* ">D" */
130
TOK_ACCU_DINT_LT
= 331,
/* "<D" */
131
TOK_ACCU_DINT_GTE
= 332,
/* ">=D" */
132
TOK_ACCU_DINT_LTE
= 333,
/* "<=D" */
133
TOK_ASSIGNMENT
= 334,
/* ":=" */
134
TOK_INT_LITERAL
= 335,
/* TOK_INT_LITERAL */
135
TOK_BOOL_LITERAL
= 336,
/* TOK_BOOL_LITERAL */
136
TOK_REAL_LITERAL
= 337,
/* TOK_REAL_LITERAL */
137
TOK_IDENTIFIER
= 338,
/* TOK_IDENTIFIER */
138
TOK_TITLE_VALUE
= 339,
/* TOK_TITLE_VALUE */
139
TOK_VERSION_VALUE
= 340,
/* TOK_VERSION_VALUE */
140
TOK_LABEL
= 341
/* TOK_LABEL */
141
};
142
typedef
enum
yytokentype
yytoken_kind_t
;
143
#endif
144
145
/* Value type. */
146
#if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED
147
typedef
int
YYSTYPE
;
148
# define YYSTYPE_IS_TRIVIAL 1
149
# define YYSTYPE_IS_DECLARED 1
150
#endif
151
152
153
extern
YYSTYPE
yystatement_listlval
;
154
155
int
yystatement_listparse
(
void
);
156
157
#endif
/* !YY_YYSTATEMENT_LIST_STATEMENT_LIST_Y_TAB_H_INCLUDED */
TOK_END_VAR
@ TOK_END_VAR
Definition:
statement_list_y.tab.h:69
TOK_NOT
@ TOK_NOT
Definition:
statement_list_y.tab.h:87
YYEOF
@ YYEOF
Definition:
statement_list_y.tab.h:54
TOK_ACCU_REAL_GT
@ TOK_ACCU_REAL_GT
Definition:
statement_list_y.tab.h:119
TOK_AND_NOT
@ TOK_AND_NOT
Definition:
statement_list_y.tab.h:89
TOK_FUNCTION_BLOCK
@ TOK_FUNCTION_BLOCK
Definition:
statement_list_y.tab.h:59
TOK_VAR_OUTPUT
@ TOK_VAR_OUTPUT
Definition:
statement_list_y.tab.h:65
TOK_END_TAG
@ TOK_END_TAG
Definition:
statement_list_y.tab.h:73
TOK_ACCU_DINT_DIV
@ TOK_ACCU_DINT_DIV
Definition:
statement_list_y.tab.h:126
yytoken_kind_t
enum yytokentype yytoken_kind_t
Definition:
statement_list_y.tab.h:142
TOK_DINT
@ TOK_DINT
Definition:
statement_list_y.tab.h:75
TOK_ACCU_INT_NEQ
@ TOK_ACCU_INT_NEQ
Definition:
statement_list_y.tab.h:108
TOK_ACCU_INT_LTE
@ TOK_ACCU_INT_LTE
Definition:
statement_list_y.tab.h:112
TOK_ACCU_REAL_GTE
@ TOK_ACCU_REAL_GTE
Definition:
statement_list_y.tab.h:121
TOK_REAL_LITERAL
@ TOK_REAL_LITERAL
Definition:
statement_list_y.tab.h:136
YYEMPTY
@ YYEMPTY
Definition:
statement_list_y.tab.h:53
TOK_ACCU_REAL_ADD
@ TOK_ACCU_REAL_ADD
Definition:
statement_list_y.tab.h:113
TOK_ACCU_INT_GTE
@ TOK_ACCU_INT_GTE
Definition:
statement_list_y.tab.h:111
TOK_OR
@ TOK_OR
Definition:
statement_list_y.tab.h:90
TOK_VERSION_VALUE
@ TOK_VERSION_VALUE
Definition:
statement_list_y.tab.h:139
TOK_TRANSFER
@ TOK_TRANSFER
Definition:
statement_list_y.tab.h:80
TOK_VOID
@ TOK_VOID
Definition:
statement_list_y.tab.h:78
TOK_ACCU_REAL_MUL
@ TOK_ACCU_REAL_MUL
Definition:
statement_list_y.tab.h:115
TOK_ACCU_DINT_EQ
@ TOK_ACCU_DINT_EQ
Definition:
statement_list_y.tab.h:127
TOK_IDENTIFIER
@ TOK_IDENTIFIER
Definition:
statement_list_y.tab.h:137
TOK_ACCU_DINT_ADD
@ TOK_ACCU_DINT_ADD
Definition:
statement_list_y.tab.h:123
TOK_ACCU_INT_GT
@ TOK_ACCU_INT_GT
Definition:
statement_list_y.tab.h:109
TOK_NOP
@ TOK_NOP
Definition:
statement_list_y.tab.h:82
TOK_VAR_INPUT
@ TOK_VAR_INPUT
Definition:
statement_list_y.tab.h:63
TOK_ACCU_REAL_DIV
@ TOK_ACCU_REAL_DIV
Definition:
statement_list_y.tab.h:116
TOK_ACCU_DINT_GTE
@ TOK_ACCU_DINT_GTE
Definition:
statement_list_y.tab.h:131
YYSTYPE
Definition:
xml_y.tab.cpp:170
TOK_ASSIGN
@ TOK_ASSIGN
Definition:
statement_list_y.tab.h:101
TOK_CALL
@ TOK_CALL
Definition:
statement_list_y.tab.h:81
TOK_AND
@ TOK_AND
Definition:
statement_list_y.tab.h:88
TOK_ACCU_INT_MUL
@ TOK_ACCU_INT_MUL
Definition:
statement_list_y.tab.h:105
yytokentype
yytokentype
Definition:
ansi_c_y.tab.h:52
TOK_INT_LITERAL
@ TOK_INT_LITERAL
Definition:
statement_list_y.tab.h:134
TOK_OR_NOT
@ TOK_OR_NOT
Definition:
statement_list_y.tab.h:91
TOK_XOR_NOT_NESTED
@ TOK_XOR_NOT_NESTED
Definition:
statement_list_y.tab.h:99
TOK_TITLE_VALUE
@ TOK_TITLE_VALUE
Definition:
statement_list_y.tab.h:138
TOK_SET_RLO
@ TOK_SET_RLO
Definition:
statement_list_y.tab.h:83
TOK_ACCU_INT_SUB
@ TOK_ACCU_INT_SUB
Definition:
statement_list_y.tab.h:104
TOK_ACCU_INT_DIV
@ TOK_ACCU_INT_DIV
Definition:
statement_list_y.tab.h:106
TOK_CONST_ADD
@ TOK_CONST_ADD
Definition:
statement_list_y.tab.h:102
TOK_ACCU_DINT_LTE
@ TOK_ACCU_DINT_LTE
Definition:
statement_list_y.tab.h:132
TOK_END_FUNCTION_BLOCK
@ TOK_END_FUNCTION_BLOCK
Definition:
statement_list_y.tab.h:60
TOK_ACCU_INT_ADD
@ TOK_ACCU_INT_ADD
Definition:
statement_list_y.tab.h:103
TOK_INT
@ TOK_INT
Definition:
statement_list_y.tab.h:74
TOK_BOOL
@ TOK_BOOL
Definition:
statement_list_y.tab.h:77
TOK_OR_NESTED
@ TOK_OR_NESTED
Definition:
statement_list_y.tab.h:96
yystatement_listlval
YYSTYPE yystatement_listlval
Definition:
statement_list_y.tab.cpp:1379
TOK_SET
@ TOK_SET
Definition:
statement_list_y.tab.h:85
TOK_XOR_NOT
@ TOK_XOR_NOT
Definition:
statement_list_y.tab.h:93
TOK_VAR_INOUT
@ TOK_VAR_INOUT
Definition:
statement_list_y.tab.h:64
TOK_VAR_STATIC
@ TOK_VAR_STATIC
Definition:
statement_list_y.tab.h:66
TOK_TAG
@ TOK_TAG
Definition:
statement_list_y.tab.h:72
TOK_ASSIGNMENT
@ TOK_ASSIGNMENT
Definition:
statement_list_y.tab.h:133
YYUNDEF
@ YYUNDEF
Definition:
statement_list_y.tab.h:56
TOK_XOR_NESTED
@ TOK_XOR_NESTED
Definition:
statement_list_y.tab.h:98
TOK_ACCU_DINT_SUB
@ TOK_ACCU_DINT_SUB
Definition:
statement_list_y.tab.h:124
TOK_BOOL_LITERAL
@ TOK_BOOL_LITERAL
Definition:
statement_list_y.tab.h:135
TOK_CLR_RLO
@ TOK_CLR_RLO
Definition:
statement_list_y.tab.h:84
TOK_ACCU_DINT_MUL
@ TOK_ACCU_DINT_MUL
Definition:
statement_list_y.tab.h:125
TOK_OR_NOT_NESTED
@ TOK_OR_NOT_NESTED
Definition:
statement_list_y.tab.h:97
TOK_REAL
@ TOK_REAL
Definition:
statement_list_y.tab.h:76
TOK_TITLE
@ TOK_TITLE
Definition:
statement_list_y.tab.h:71
TOK_NESTING_CLOSED
@ TOK_NESTING_CLOSED
Definition:
statement_list_y.tab.h:100
YYSTYPE
int YYSTYPE
Definition:
statement_list_y.tab.h:147
TOK_END_FUNCTION
@ TOK_END_FUNCTION
Definition:
statement_list_y.tab.h:62
TOK_VAR_TEMP
@ TOK_VAR_TEMP
Definition:
statement_list_y.tab.h:67
TOK_VAR_CONSTANT
@ TOK_VAR_CONSTANT
Definition:
statement_list_y.tab.h:68
TOK_VERSION
@ TOK_VERSION
Definition:
statement_list_y.tab.h:57
TOK_BEGIN
@ TOK_BEGIN
Definition:
statement_list_y.tab.h:58
TOK_ACCU_DINT_NEQ
@ TOK_ACCU_DINT_NEQ
Definition:
statement_list_y.tab.h:128
TOK_ACCU_DINT_LT
@ TOK_ACCU_DINT_LT
Definition:
statement_list_y.tab.h:130
TOK_XOR
@ TOK_XOR
Definition:
statement_list_y.tab.h:92
TOK_ACCU_REAL_NEQ
@ TOK_ACCU_REAL_NEQ
Definition:
statement_list_y.tab.h:118
TOK_ACCU_DINT_GT
@ TOK_ACCU_DINT_GT
Definition:
statement_list_y.tab.h:129
YYerror
@ YYerror
Definition:
statement_list_y.tab.h:55
TOK_AND_NESTED
@ TOK_AND_NESTED
Definition:
statement_list_y.tab.h:94
TOK_ACCU_INT_LT
@ TOK_ACCU_INT_LT
Definition:
statement_list_y.tab.h:110
yystatement_listparse
int yystatement_listparse(void)
Defined in statement_list_y.tab.cpp.
Definition:
statement_list_y.tab.cpp:1391
TOK_ACCU_REAL_EQ
@ TOK_ACCU_REAL_EQ
Definition:
statement_list_y.tab.h:117
TOK_LABEL
@ TOK_LABEL
Definition:
statement_list_y.tab.h:140
TOK_ACCU_INT_EQ
@ TOK_ACCU_INT_EQ
Definition:
statement_list_y.tab.h:107
TOK_RESET
@ TOK_RESET
Definition:
statement_list_y.tab.h:86
TOK_ACCU_REAL_LTE
@ TOK_ACCU_REAL_LTE
Definition:
statement_list_y.tab.h:122
TOK_ACCU_REAL_LT
@ TOK_ACCU_REAL_LT
Definition:
statement_list_y.tab.h:120
TOK_LOAD
@ TOK_LOAD
Definition:
statement_list_y.tab.h:79
TOK_ACCU_REAL_SUB
@ TOK_ACCU_REAL_SUB
Definition:
statement_list_y.tab.h:114
TOK_AND_NOT_NESTED
@ TOK_AND_NOT_NESTED
Definition:
statement_list_y.tab.h:95
TOK_NETWORK
@ TOK_NETWORK
Definition:
statement_list_y.tab.h:70
TOK_FUNCTION
@ TOK_FUNCTION
Definition:
statement_list_y.tab.h:61
statement-list
statement_list_y.tab.h
Generated by
1.8.18