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