00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027 #ifndef YYTOKENTYPE
00028 # define YYTOKENTYPE
00029
00030
00031 enum yytokentype {
00032 T_NO_TOKEN = 258,
00033 T_FOREIGN_ID = 259,
00034 T_FOREIGN_SQUARE_BRACKETS = 260,
00035 T_EXCLAM = 261,
00036 T_CONST = 262,
00037 T_TRUE = 263,
00038 T_FALSE = 264,
00039 T_SYSTEM = 265,
00040 T_PROCESS = 266,
00041 T_STATE = 267,
00042 T_CHANNEL = 268,
00043 T_COMMIT = 269,
00044 T_INIT = 270,
00045 T_ACCEPT = 271,
00046 T_ASSERT = 272,
00047 T_TRANS = 273,
00048 T_GUARD = 274,
00049 T_SYNC = 275,
00050 T_ASYNC = 276,
00051 T_PROPERTY = 277,
00052 T_EFFECT = 278,
00053 T_BUCHI = 279,
00054 T_GENBUCHI = 280,
00055 T_STREETT = 281,
00056 T_RABIN = 282,
00057 T_MULLER = 283,
00058 T_ID = 284,
00059 T_INT = 285,
00060 T_BYTE = 286,
00061 T_NAT = 287,
00062 T_WIDE_ARROW = 288,
00063 T_ASSIGNMENT = 289,
00064 T_IMPLY = 290,
00065 T_BOOL_AND = 291,
00066 T_BOOL_OR = 292,
00067 T_XOR = 293,
00068 T_AND = 294,
00069 T_OR = 295,
00070 T_NEQ = 296,
00071 T_EQ = 297,
00072 T_GT = 298,
00073 T_GEQ = 299,
00074 T_LEQ = 300,
00075 T_LT = 301,
00076 T_RSHIFT = 302,
00077 T_LSHIFT = 303,
00078 T_PLUS = 304,
00079 T_MINUS = 305,
00080 T_MOD = 306,
00081 T_DIV = 307,
00082 T_MULT = 308,
00083 UOPERATOR = 309,
00084 T_DECREMENT = 310,
00085 T_INCREMENT = 311,
00086 T_UNARY_MINUS = 312,
00087 T_BOOL_NOT = 313,
00088 T_TILDE = 314,
00089 T_ARROW = 315,
00090 T_DOT = 316,
00091 T_SQUARE_BRACKETS = 317,
00092 T_PARENTHESIS = 318
00093 };
00094 #endif
00095 #define T_NO_TOKEN 258
00096 #define T_FOREIGN_ID 259
00097 #define T_FOREIGN_SQUARE_BRACKETS 260
00098 #define T_EXCLAM 261
00099 #define T_CONST 262
00100 #define T_TRUE 263
00101 #define T_FALSE 264
00102 #define T_SYSTEM 265
00103 #define T_PROCESS 266
00104 #define T_STATE 267
00105 #define T_CHANNEL 268
00106 #define T_COMMIT 269
00107 #define T_INIT 270
00108 #define T_ACCEPT 271
00109 #define T_ASSERT 272
00110 #define T_TRANS 273
00111 #define T_GUARD 274
00112 #define T_SYNC 275
00113 #define T_ASYNC 276
00114 #define T_PROPERTY 277
00115 #define T_EFFECT 278
00116 #define T_BUCHI 279
00117 #define T_GENBUCHI 280
00118 #define T_STREETT 281
00119 #define T_RABIN 282
00120 #define T_MULLER 283
00121 #define T_ID 284
00122 #define T_INT 285
00123 #define T_BYTE 286
00124 #define T_NAT 287
00125 #define T_WIDE_ARROW 288
00126 #define T_ASSIGNMENT 289
00127 #define T_IMPLY 290
00128 #define T_BOOL_AND 291
00129 #define T_BOOL_OR 292
00130 #define T_XOR 293
00131 #define T_AND 294
00132 #define T_OR 295
00133 #define T_NEQ 296
00134 #define T_EQ 297
00135 #define T_GT 298
00136 #define T_GEQ 299
00137 #define T_LEQ 300
00138 #define T_LT 301
00139 #define T_RSHIFT 302
00140 #define T_LSHIFT 303
00141 #define T_PLUS 304
00142 #define T_MINUS 305
00143 #define T_MOD 306
00144 #define T_DIV 307
00145 #define T_MULT 308
00146 #define UOPERATOR 309
00147 #define T_DECREMENT 310
00148 #define T_INCREMENT 311
00149 #define T_UNARY_MINUS 312
00150 #define T_BOOL_NOT 313
00151 #define T_TILDE 314
00152 #define T_ARROW 315
00153 #define T_DOT 316
00154 #define T_SQUARE_BRACKETS 317
00155 #define T_PARENTHESIS 318
00156
00157
00158
00159
00160 #if ! defined (YYSTYPE) && ! defined (YYSTYPE_IS_DECLARED)
00161 #line 103 "dve_grammar.yy"
00162 typedef union YYSTYPE {
00163 bool flag;
00164 int number;
00165 char string[MAXLEN];
00166 } YYSTYPE;
00167
00168 #line 169 "dve_grammar.tab.hh"
00169 # define yystype YYSTYPE
00170 # define YYSTYPE_IS_DECLARED 1
00171 # define YYSTYPE_IS_TRIVIAL 1
00172 #endif
00173
00174 extern YYSTYPE dve_yylval;
00175
00176 #if ! defined (YYLTYPE) && ! defined (YYLTYPE_IS_DECLARED)
00177 typedef struct YYLTYPE
00178 {
00179 int first_line;
00180 int first_column;
00181 int last_line;
00182 int last_column;
00183 } YYLTYPE;
00184 # define yyltype YYLTYPE
00185 # define YYLTYPE_IS_DECLARED 1
00186 # define YYLTYPE_IS_TRIVIAL 1
00187 #endif
00188
00189 extern YYLTYPE dve_yylloc;
00190
00191