1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
|
/* A Bison parser, made by GNU Bison 1.875d. */
/* Skeleton parser for Yacc-like parsing with Bison,
Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002, 2003, 2004 Free Software Foundation, Inc.
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2, or (at your option)
any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software
Foundation, Inc., 59 Temple Place - Suite 330,
Boston, MA 02111-1307, USA. */
/* As a special exception, when this file is copied by Bison into a
Bison output file, you may use that output file without restriction.
This special exception was added by the Free Software Foundation
in version 1.24 of Bison. */
/* Tokens. */
#ifndef YYTOKENTYPE
# define YYTOKENTYPE
/* Put the tokens into the symbol table, so that GDB and other debuggers
know about them. */
enum yytokentype {
RELEASE = 258,
UNTIL = 259,
EQUIV = 260,
IMPL = 261,
OR = 262,
XOR = 263,
AND = 264,
NEXT = 265,
GLOBALLY = 266,
FINALLY = 267,
EQ = 268,
NE = 269,
LE = 270,
GE = 271,
ROR = 272,
ROL = 273,
IS = 274,
MAP = 275,
MAX_ = 276,
MIN_ = 277,
CARDINALITY = 278,
EQUALS = 279,
SUBSET = 280,
UNION = 281,
MINUS = 282,
INTERSECT = 283,
ATOM_ = 284,
NUMBER = 285,
CHARACTER = 286,
NAME = 287,
TRUE_ = 288,
FALSE_ = 289,
UNDEFINED = 290,
FATAL = 291,
TYPEDEF = 292,
CONST_ = 293,
PLACE = 294,
TRANS = 295,
IN_ = 296,
OUT_ = 297,
GATE = 298,
REJECT_ = 299,
DEADLOCK = 300,
ENUM = 301,
ID = 302,
STRUCT = 303,
QUEUE = 304,
STACK = 305,
RANGE = 306,
EMPTY = 307,
SFAIR = 308,
WFAIR = 309,
ENABLED = 310,
HIDE = 311,
PROP = 312,
SUBNET = 313
};
#endif
#define RELEASE 258
#define UNTIL 259
#define EQUIV 260
#define IMPL 261
#define OR 262
#define XOR 263
#define AND 264
#define NEXT 265
#define GLOBALLY 266
#define FINALLY 267
#define EQ 268
#define NE 269
#define LE 270
#define GE 271
#define ROR 272
#define ROL 273
#define IS 274
#define MAP 275
#define MAX_ 276
#define MIN_ 277
#define CARDINALITY 278
#define EQUALS 279
#define SUBSET 280
#define UNION 281
#define MINUS 282
#define INTERSECT 283
#define ATOM_ 284
#define NUMBER 285
#define CHARACTER 286
#define NAME 287
#define TRUE_ 288
#define FALSE_ 289
#define UNDEFINED 290
#define FATAL 291
#define TYPEDEF 292
#define CONST_ 293
#define PLACE 294
#define TRANS 295
#define IN_ 296
#define OUT_ 297
#define GATE 298
#define REJECT_ 299
#define DEADLOCK 300
#define ENUM 301
#define ID 302
#define STRUCT 303
#define QUEUE 304
#define STACK 305
#define RANGE 306
#define EMPTY 307
#define SFAIR 308
#define WFAIR 309
#define ENABLED 310
#define HIDE 311
#define PROP 312
#define SUBNET 313
#if ! defined (YYSTYPE) && ! defined (YYSTYPE_IS_DECLARED)
#line 523 "maria.y"
typedef union YYSTYPE {
card_t i;
bool flag;
char_t c;
char* s;
class Expression* expr;
class ExpressionList* exprList;
class Transition* trans;
class Place* place;
class Marking* marking;
class Type* type;
class ComponentList* componentList;
class Value* value;
class Range* range;
class Constraint* constraint;
} YYSTYPE;
/* Line 1285 of yacc.c. */
#line 170 "maria.tab.h"
# define yystype YYSTYPE /* obsolescent; will be withdrawn */
# define YYSTYPE_IS_DECLARED 1
# define YYSTYPE_IS_TRIVIAL 1
#endif
extern YYSTYPE pnlval;
|
