#include "libparser.hh"
#include "lexer.cc"
Namespaces | |
namespace | std |
Compounds | |
struct | Position |
union | yyalloc |
union | yystype |
Defines | |
#define | YYBISON 1 |
#define | yyparse utap_parse |
#define | yylex utap_lex |
#define | yyerror utap_error |
#define | yylval utap_lval |
#define | yychar utap_char |
#define | yydebug utap_debug |
#define | yynerrs utap_nerrs |
#define | YYLSP_NEEDED 1 |
#define | T_ASSIGNMENT 257 |
#define | T_ASSPLUS 258 |
#define | T_ASSMINUS 259 |
#define | T_ASSMULT 260 |
#define | T_ASSDIV 261 |
#define | T_ASSMOD 262 |
#define | T_ASSOR 263 |
#define | T_ASSAND 264 |
#define | T_ASSXOR 265 |
#define | T_ASSLSHIFT 266 |
#define | T_ASSRSHIFT 267 |
#define | T_EXCLAM 268 |
#define | T_INCREMENT 269 |
#define | T_DECREMENT 270 |
#define | T_PLUS 271 |
#define | T_MINUS 272 |
#define | T_MULT 273 |
#define | T_DIV 274 |
#define | T_MIN 275 |
#define | T_MAX 276 |
#define | T_MOD 277 |
#define | T_OR 278 |
#define | T_XOR 279 |
#define | T_LSHIFT 280 |
#define | T_RSHIFT 281 |
#define | T_BOOL_AND 282 |
#define | T_BOOL_OR 283 |
#define | T_KW_AND 284 |
#define | T_KW_OR 285 |
#define | T_KW_IMPLY 286 |
#define | T_KW_NOT 287 |
#define | T_LT 288 |
#define | T_LEQ 289 |
#define | T_EQ 290 |
#define | T_NEQ 291 |
#define | T_GEQ 292 |
#define | T_GT 293 |
#define | T_FOR 294 |
#define | T_WHILE 295 |
#define | T_DO 296 |
#define | T_BREAK 297 |
#define | T_CONTINUE 298 |
#define | T_SWITCH 299 |
#define | T_IF 300 |
#define | T_ELSE 301 |
#define | T_CASE 302 |
#define | T_DEFAULT 303 |
#define | T_RETURN 304 |
#define | T_TYPEDEF 305 |
#define | T_STRUCT 306 |
#define | T_CONST 307 |
#define | T_OLDCONST 308 |
#define | T_URGENT 309 |
#define | T_BROADCAST 310 |
#define | T_TRUE 311 |
#define | T_FALSE 312 |
#define | T_SYSTEM 313 |
#define | T_PROCESS 314 |
#define | T_STATE 315 |
#define | T_COMMIT 316 |
#define | T_INIT 317 |
#define | T_TRANS 318 |
#define | T_ARROW 319 |
#define | T_GUARD 320 |
#define | T_SYNC 321 |
#define | T_ASSIGN 322 |
#define | T_RATE 323 |
#define | T_BEFORE 324 |
#define | T_AFTER 325 |
#define | T_COST 326 |
#define | T_DEADLOCK 327 |
#define | T_EF 328 |
#define | T_EG 329 |
#define | T_AF 330 |
#define | T_AG 331 |
#define | T_LEADSTO 332 |
#define | T_QUIT 333 |
#define | T_ERROR 334 |
#define | T_ID 335 |
#define | T_TYPENAME 336 |
#define | T_NAT 337 |
#define | T_NEW 338 |
#define | T_NEW_DECLARATION 339 |
#define | T_NEW_LOCAL_DECL 340 |
#define | T_NEW_INST 341 |
#define | T_NEW_SYSTEM 342 |
#define | T_NEW_PARAMETERS 343 |
#define | T_NEW_INVARIANT 344 |
#define | T_NEW_GUARD 345 |
#define | T_NEW_SYNC 346 |
#define | T_NEW_ASSIGN 347 |
#define | T_OLD 348 |
#define | T_OLD_DECLARATION 349 |
#define | T_OLD_LOCAL_DECL 350 |
#define | T_OLD_INST 351 |
#define | T_OLD_PARAMETERS 352 |
#define | T_OLD_INVARIANT 353 |
#define | T_OLD_GUARD 354 |
#define | T_OLD_ASSIGN 355 |
#define | T_PROPERTY 356 |
#define | UOPERATOR 357 |
#define | YYLTYPE Position |
#define | REPORT_ERROR(loc, exc) utap_error(exc, loc.first_line, loc.first_column, loc.last_line, loc.last_column); |
#define | YYERROR_VERBOSE 1 |
#define | CALL(first, last, call) do { errorHandler->setCurrentPosition(first.first_line, first.first_column, last.last_line, last.last_column); ch->setPosition(position_t(first.first_line, first.first_column, last.last_line, last.last_column)); try { ch->call; } catch (TypeException &te) { errorHandler->handleError(te.what()); } } while (0) |
#define | YYSTYPE yystype |
#define | YYSTYPE_IS_TRIVIAL 1 |
#define | YYDEBUG 0 |
#define | YYFINAL 812 |
#define | YYFLAG -32768 |
#define | YYNTBASE 117 |
#define | YYTRANSLATE(x) ((unsigned)(x) <= 357 ? yytranslate[x] : 246) |
#define | YYLAST 2943 |
#define | YYSTACK_ALLOC malloc |
#define | YYSTACK_FREE free |
#define | YYSTACK_GAP_MAX (sizeof (union yyalloc) - 1) |
#define | YYSTACK_BYTES(N) |
#define | YYCOPY(To, From, Count) |
#define | YYSTACK_RELOCATE(Stack) |
#define | YYSIZE_T unsigned int |
#define | yyerrok (yyerrstatus = 0) |
#define | yyclearin (yychar = YYEMPTY) |
#define | YYEMPTY -2 |
#define | YYEOF 0 |
#define | YYACCEPT goto yyacceptlab |
#define | YYABORT goto yyabortlab |
#define | YYERROR goto yyerrlab1 |
#define | YYFAIL goto yyerrlab |
#define | YYRECOVERING() (!!yyerrstatus) |
#define | YYBACKUP(Token, Value) |
#define | YYTERROR 1 |
#define | YYERRCODE 256 |
#define | YYLLOC_DEFAULT(Current, Rhs, N) |
#define | YYLEX yylex () |
#define | YYDPRINTF(Args) |
#define | YYINITDEPTH 200 |
#define | YYMAXDEPTH 10000 |
#define | YYPARSE_PARAM_ARG |
#define | YYPARSE_PARAM_DECL |
#define | YY_DECL_NON_LSP_VARIABLES |
#define | YY_DECL_VARIABLES |
#define | YYPOPSTACK (yyvsp--, yyssp--, yylsp--) |
Functions | |
std::ostream & | operator<< (std::ostream &out, const position_t &loc) |
void | utap_error (const char *msg) |
void | utap_error (const TypeException &te, int32_t fl, int32_t fc, int32_t ll, int32_t lc) |
int | lexer_flex () |
int | utap_lex () |
YYSIZE_T | yystrlen (yystr) const char *yystr |
Variables | |
YYLTYPE | last_loc |
ErrorHandler * | errorHandler |
ParserBuilder * | ch |
syntax_t | syntax |
int | syntax_token = 0 |
const char * | PE_ALT_TRANS = "alternative transition expected" |
const char * | PE_ARGLIST = "argument expression list expected" |
const char * | PE_ARGLIST_ = "one more argument expression expected" |
const char * | PE_ARROW = "'->' expected" |
const char * | PE_ASSIGN = "'=' expected" |
const char * | PE_ASSIGN_EXP = "assignment expression expected" |
const char * | PE_BANG = "'!' expected" |
const char * | PE_BANGQUE = "'!' or '?' expected" |
const char * | PE_COLON = "':' expected" |
const char * | PE_COMMA = "',' expected" |
const char * | PE_CONST_EXP = "constant expression expected" |
const char * | PE_CONSTID_ = "one more constant identifier expected" |
const char * | PE_DECL_STAT = "variable declaration or statement expected" |
const char * | PE_EXPR = "expression expected" |
const char * | PE_EXPR_ = "one more expression expected" |
const char * | PE_EXPR_SEMI = "expression or ';' expected" |
const char * | PE_GUARD_EXP = "guard expression expected" |
const char * | PE_GUARD_EXP_ = "one more guard expression expected" |
const char * | PE_INIT = "'init' expected" |
const char * | PE_INITIAL = "initialiser expected" |
const char * | PE_INITIAL_ = "one more initialiser expected" |
const char * | PE_INV = "invariant expression expected" |
const char * | PE_INV_ = "one more invariant expression expected" |
const char * | PE_LBRACE = "'{' expected" |
const char * | PE_LBRACES = "'(' or '{' expected" |
const char * | PE_LOC_DECL = "location declaration expected" |
const char * | PE_LPAREN = "'(' expected" |
const char * | PE_MEMBER = "member declarations expected" |
const char * | PE_MEMBERID = "member identifier expected" |
const char * | PE_MEMBERID_ = "one more member identifier expected" |
const char * | PE_MEMBERTYPE = "member type identifier expected" |
const char * | PE_PARAM_DECL_ = "one more parameter declaration expected" |
const char * | PE_PARAMETERS = "parameters expected" |
const char * | PE_PARAMETERS_ = "one more parameter expected" |
const char * | PE_PARAMID = "parameter identifier expected" |
const char * | PE_PROC = "'process' expected" |
const char * | PE_PROCID = "process identifiers expected" |
const char * | PE_PROCID_ = "one more process identifier expected" |
const char * | PE_QUE = "'?' expected" |
const char * | PE_RBRACE = "'}' expected" |
const char * | PE_RPAREN = "')' expected" |
const char * | PE_RSQBRACE = "']' expected" |
const char * | PE_SEMICOLON = "';' expected" |
const char * | PE_STATE = "'state' expected" |
const char * | PE_STATE_DECL = "state declaration expected" |
const char * | PE_STATE_DECL_ = "one more state declaration expected" |
const char * | PE_STATEID = "state identifier expected" |
const char * | PE_STATEID_ = "one more state identifier expected" |
const char * | PE_SYNC_EXP = "synchronization expression expected" |
const char * | PE_SYSTEM = "'system' expected" |
const char * | PE_TRANS = "'trans' expected" |
const char * | PE_TRANS_DECL = "transition declaration expected" |
const char * | PE_TRANS_DECL_ = "one more transition declaration expected" |
const char * | PE_TYPE_DEF = "type definition expected" |
const char * | PE_TYPEID = "type identifier expected" |
const char * | PE_TYPEID_ = "one more type identifier expected" |
const char * | PE_VARID = "variable identifier expected" |
const char * | PE_VARID_ = "one more variable identifier expected" |
char | rootTransId [MAXLEN] |
int32_t | g_parameter_count |
const char | yytranslate [] |
const char *const | yytname [] |
const short | yyr1 [] |
const short | yyr2 [] |
const short | yydefact [] |
const short | yydefgoto [] |
const short | yypact [] |
const short | yypgoto [] |
const short | yytable [] |
const short | yycheck [] |
const char * | yysrc |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Value: |
|
Value: YY_DECL_NON_LSP_VARIABLES \ \ \ YYLTYPE yylloc; |
|
|
|
|
|
Value: |
|
|
|
|
|
|
|
Value: do \ { \ register YYSIZE_T yyi; \ for (yyi = 0; yyi < (Count); yyi++) \ (To)[yyi] = (From)[yyi]; \ } \ while (0) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Value: Current.last_line = Rhs[N].last_line; \ Current.last_column = Rhs[N].last_column; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Value: ((N) * (sizeof (short) + sizeof (YYSTYPE) + sizeof (YYLTYPE)) \ + 2 * YYSTACK_GAP_MAX) |
|
|
|
|
|
Value: do \ { \ YYSIZE_T yynewbytes; \ YYCOPY (&yyptr->Stack, Stack, yysize); \ Stack = &yyptr->Stack; \ yynewbytes = yystacksize * sizeof (*Stack) + YYSTACK_GAP_MAX; \ yyptr += yynewbytes / sizeof (*yyptr); \ } \ while (0) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Initial value: { 810, 20, 24, 387, 27, 91, 21, 77, 264, 319, 78, 79, 265, 266, 80, 328, 263, 31, 32, 153, 184, 185, 330, 434, 435, 436, 272, 82, 257, 258, 154, 242, 282, 283, 339, 340, 34, 200, 396, 447, 84, 374, 314, 309, 310, 368, 418, 419, 472, 513, 545, 546, 603, 651, 675, 50, 703, 422, 423, 424, 469, 466, 557, 430, 431, 476, 516, 558, 606, 632, 631, 609, 634, 635, 578, 616, 665, 685, 686, 718, 749, 750, 715, 716, 791, 790, 774, 792, 655, 656, 53, 201, 202, 220, 47, 144, 48, 287, 54, 55, 155, 238, 295, 296, 156, 414, 457, 408, 354, 359, 301, 61, 62, 406, 407, 454, 490, 491, 65, 566, 594, 595, 648, 692, 67, 69, 70, 171, 172 } |
|
|
|
Initial value: { -32768,-32768, 6,-32768, -58,-32768, 1103,-32768,-32768,-32768, -32768,-32768,-32768,-32768, -10,-32768, 920, 849, 1018, -16, -32768, 843,-32768, -315,-32768, 632, -60, -20,-32768, 812, 67, -64,-32768, 836,-32768, 721,-32768,-32768,-32768,-32768, -32768,-32768,-32768, 277, 1111,-32768,-32768, 657, 630,-32768, -32768, 553,-32768, 503, 31, 522, 171, 711,-32768, 754, -32768,-32768, 877,-32768,-32768,-32768, -307, -518,-32768,-32768, -32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768, -32768,-32768, 66, -673,-32768,-32768,-32768,-32768, -439, -6, -7,-32768,-32768,-32768, 517,-32768,-32768, 816,-32768, 1192, -46,-32768,-32768, 855,-32768,-32768,-32768,-32768,-32768,-32768, -32768, 907, 1047, -148, 1196,-32768,-32768, 684, 685,-32768, -32768, 587,-32768, -32, 519,-32768,-32768,-32768,-32768 } |
|
|
|
|
|
|
|
|
|
|
|
|