47 #define YYBISON_VERSION "3.0.4" 50 #define YYSKELETON_NAME "yacc.c" 63 #define yyparse yyjsilparse 64 #define yylex yyjsillex 65 #define yyerror yyjsilerror 66 #define yydebug yyjsildebug 67 #define yynerrs yyjsilnerrs 69 #define yylval yyjsillval 70 #define yychar yyjsilchar 77 #define PARSER jsil_parser 84 #define YYSTYPE unsigned 85 #define YYSTYPE_IS_TRIVIAL 1 95 #line 96 "jsil_y.tab.cpp" 98 # if defined __cplusplus && 201103L <= __cplusplus 99 # define YY_NULLPTR nullptr 101 # define YY_NULLPTR 0 106 #ifdef YYERROR_VERBOSE 107 # undef YYERROR_VERBOSE 108 # define YYERROR_VERBOSE 1 110 # define YYERROR_VERBOSE 1 115 #ifndef YY_YYJSIL_JSIL_Y_TAB_HPP_INCLUDED 116 # define YY_YYJSIL_JSIL_Y_TAB_HPP_INCLUDED 122 extern int yyjsildebug;
195 #define TOK_SCANNER_ERROR 258 196 #define TOK_NEWLINE 259 197 #define TOK_PROCEDURE 260 198 #define TOK_RETURNS 261 200 #define TOK_THROWS 263 202 #define TOK_LABEL 265 207 #define TOK_HAS_FIELD 270 208 #define TOK_DELETE 271 209 #define TOK_PROTO_FIELD 272 210 #define TOK_PROTO_OBJ 273 212 #define TOK_FIELD 275 214 #define TOK_TYPEOF 277 216 #define TOK_UNDEFINED 279 217 #define TOK_EMPTY 280 219 #define TOK_FALSE 282 220 #define TOK_PROTO 283 222 #define TOK_SCOPE 285 223 #define TOK_CONSTRUCTID 286 224 #define TOK_PRIMVALUE 287 225 #define TOK_TARGETFUNCTION 288 226 #define TOK_CLASS 289 227 #define TOK_NUM_TO_STRING 290 228 #define TOK_STRING_TO_NUM 291 229 #define TOK_NUM_TO_INT32 292 230 #define TOK_NUM_TO_UINT32 293 231 #define TOK_MEMBER_REFERENCE 294 232 #define TOK_VARIABLE_REFERENCE 295 233 #define TOK_T_NULL 296 234 #define TOK_T_UNDEFINED 297 235 #define TOK_T_BOOLEAN 298 236 #define TOK_T_STRING 299 237 #define TOK_T_NUMBER 300 238 #define TOK_T_BUILTIN_OBJECT 301 239 #define TOK_T_USER_OBJECT 302 240 #define TOK_T_OBJECT 303 241 #define TOK_T_REFERENCE 304 242 #define TOK_DEFEQ 305 246 #define TOK_SUBTYPE_OF 309 247 #define TOK_LEFT_SHIFT 310 248 #define TOK_SIGNED_RIGHT_SHIFT 311 249 #define TOK_UNSIGNED_RIGHT_SHIFT 312 251 #define TOK_IDENTIFIER 314 252 #define TOK_FLOATING 315 253 #define TOK_STRING 316 254 #define TOK_BUILTIN_LOC 317 255 #define TOK_BUILTIN_IDENTIFIER 318 256 #define TOK_SPEC_IDENTIFIER 319 259 #if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED 261 # define YYSTYPE_IS_TRIVIAL 1 262 # define YYSTYPE_IS_DECLARED 1 274 #line 275 "jsil_y.tab.cpp" 305 # ifdef __SIZE_TYPE__ 306 # define YYSIZE_T __SIZE_TYPE__ 307 # elif defined size_t 308 # define YYSIZE_T size_t 309 # elif ! defined YYSIZE_T 311 # define YYSIZE_T size_t 313 # define YYSIZE_T unsigned int 317 #define YYSIZE_MAXIMUM ((YYSIZE_T) -1) 320 # if defined YYENABLE_NLS && YYENABLE_NLS 322 # include <libintl.h> 323 # define YY_(Msgid) dgettext ("bison-runtime", Msgid) 327 # define YY_(Msgid) Msgid 332 # if (defined __GNUC__ \ 333 && (2 < __GNUC__ || (__GNUC__ == 2 && 96 <= __GNUC_MINOR__))) \ 334 || defined __SUNPRO_C && 0x5110 <= __SUNPRO_C 335 # define YY_ATTRIBUTE(Spec) __attribute__(Spec) 337 # define YY_ATTRIBUTE(Spec) 341 #ifndef YY_ATTRIBUTE_PURE 342 # define YY_ATTRIBUTE_PURE YY_ATTRIBUTE ((__pure__)) 345 #ifndef YY_ATTRIBUTE_UNUSED 346 # define YY_ATTRIBUTE_UNUSED YY_ATTRIBUTE ((__unused__)) 349 #if !defined _Noreturn \ 350 && (!defined __STDC_VERSION__ || __STDC_VERSION__ < 201112) 351 # if defined _MSC_VER && 1200 <= _MSC_VER 352 # define _Noreturn __declspec (noreturn) 354 # define _Noreturn YY_ATTRIBUTE ((__noreturn__)) 359 #if ! defined lint || defined __GNUC__ 360 # define YYUSE(E) ((void) (E)) 365 #if defined __GNUC__ && 407 <= __GNUC__ * 100 + __GNUC_MINOR__ 367 # define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN \ 368 _Pragma ("GCC diagnostic push") \ 369 _Pragma ("GCC diagnostic ignored \"-Wuninitialized\"")\ 370 _Pragma ("GCC diagnostic ignored \"-Wmaybe-uninitialized\"") 371 # define YY_IGNORE_MAYBE_UNINITIALIZED_END \ 372 _Pragma ("GCC diagnostic pop") 374 # define YY_INITIAL_VALUE(Value) Value 376 #ifndef YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN 377 # define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN 378 # define YY_IGNORE_MAYBE_UNINITIALIZED_END 380 #ifndef YY_INITIAL_VALUE 381 # define YY_INITIAL_VALUE(Value) 385 #if ! defined yyoverflow || YYERROR_VERBOSE 389 # ifdef YYSTACK_USE_ALLOCA 390 # if YYSTACK_USE_ALLOCA 392 # define YYSTACK_ALLOC __builtin_alloca 393 # elif defined __BUILTIN_VA_ARG_INCR 396 # define YYSTACK_ALLOC __alloca 397 # elif defined _MSC_VER 399 # define alloca _alloca 401 # define YYSTACK_ALLOC alloca 402 # if ! defined _ALLOCA_H && ! defined EXIT_SUCCESS 405 # ifndef EXIT_SUCCESS 406 # define EXIT_SUCCESS 0 413 # ifdef YYSTACK_ALLOC 415 # define YYSTACK_FREE(Ptr) do { ; } while (0) 416 # ifndef YYSTACK_ALLOC_MAXIMUM 421 # define YYSTACK_ALLOC_MAXIMUM 4032 424 # define YYSTACK_ALLOC YYMALLOC 425 # define YYSTACK_FREE YYFREE 426 # ifndef YYSTACK_ALLOC_MAXIMUM 427 # define YYSTACK_ALLOC_MAXIMUM YYSIZE_MAXIMUM 429 # if (defined __cplusplus && ! defined EXIT_SUCCESS \ 430 && ! ((defined YYMALLOC || defined malloc) \ 431 && (defined YYFREE || defined free))) 433 # ifndef EXIT_SUCCESS 434 # define EXIT_SUCCESS 0 438 # define YYMALLOC malloc 439 # if ! defined malloc && ! defined EXIT_SUCCESS 445 # if ! defined free && ! defined EXIT_SUCCESS 453 #if (! defined yyoverflow \ 454 && (! defined __cplusplus \ 455 || (defined YYSTYPE_IS_TRIVIAL && YYSTYPE_IS_TRIVIAL))) 465 # define YYSTACK_GAP_MAXIMUM (sizeof (union yyalloc) - 1) 469 # define YYSTACK_BYTES(N) \ 470 ((N) * (sizeof (yytype_int16) + sizeof (YYSTYPE)) \ 471 + YYSTACK_GAP_MAXIMUM) 473 # define YYCOPY_NEEDED 1 480 # define YYSTACK_RELOCATE(Stack_alloc, Stack) \ 483 YYSIZE_T yynewbytes; \ 484 YYCOPY (&yyptr->Stack_alloc, Stack, yysize); \ 485 Stack = &yyptr->Stack_alloc; \ 486 yynewbytes = yystacksize * sizeof (*Stack) + YYSTACK_GAP_MAXIMUM; \ 487 yyptr += yynewbytes / sizeof (*yyptr); \ 493 #if defined YYCOPY_NEEDED && YYCOPY_NEEDED 497 # if defined __GNUC__ && 1 < __GNUC__ 498 # define YYCOPY(Dst, Src, Count) \ 499 __builtin_memcpy (Dst, Src, (Count) * sizeof (*(Src))) 501 # define YYCOPY(Dst, Src, Count) \ 505 for (yyi = 0; yyi < (Count); yyi++) \ 506 (Dst)[yyi] = (Src)[yyi]; \ 525 #define YYNSTATES 192 530 #define YYMAXUTOK 319 532 #define YYTRANSLATE(YYX) \ 533 ((unsigned int) (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK) 539 0, 2, 2, 2, 2, 2, 2, 2, 2, 2,
540 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
541 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
542 2, 2, 2, 83, 2, 2, 2, 78, 80, 2,
543 65, 66, 76, 74, 69, 75, 2, 77, 2, 2,
544 2, 2, 2, 2, 2, 2, 2, 2, 79, 2,
545 73, 72, 2, 2, 2, 2, 2, 2, 2, 2,
546 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
547 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
548 2, 70, 2, 71, 82, 2, 2, 2, 2, 2,
549 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
550 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
551 2, 2, 2, 67, 81, 68, 2, 2, 2, 2,
552 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
553 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
554 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
555 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
556 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
557 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
558 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
559 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
560 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
561 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
562 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
563 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
564 2, 2, 2, 2, 2, 2, 1, 2, 3, 4,
565 5, 6, 7, 8, 9, 10, 11, 12, 13, 14,
566 15, 16, 17, 18, 19, 20, 21, 22, 23, 24,
567 25, 26, 27, 28, 29, 30, 31, 32, 33, 34,
568 35, 36, 37, 38, 39, 40, 41, 42, 43, 44,
569 45, 46, 47, 48, 49, 50, 51, 52, 53, 54,
570 55, 56, 57, 58, 59, 60, 61, 62, 63, 64
577 0, 109, 109, 112, 113, 116, 149, 150, 155, 159,
578 165, 166, 174, 177, 180, 185, 193, 196, 199, 205,
579 212, 216, 222, 229, 234, 246, 250, 255, 263, 264,
580 279, 284, 292, 297, 305, 313, 324, 327, 334, 337,
581 340, 345, 352, 353, 361, 362, 367, 371, 380, 387,
582 394, 403, 404, 408, 412, 416, 420, 424, 425, 431,
583 432, 433, 436, 440, 444, 448, 452, 456, 460, 466,
584 467, 468, 469, 472, 476, 480, 486, 490, 494, 498,
585 502, 508, 512, 516, 520, 526, 530, 534, 538, 542,
586 546, 552, 556, 560, 564, 568, 572, 576, 582, 586,
587 590, 594, 598, 602, 606, 610, 614, 615, 621, 625
591 #if YYDEBUG || YYERROR_VERBOSE || 1 596 "$end",
"error",
"$undefined",
"TOK_SCANNER_ERROR",
"\"<newline>\"",
597 "\"procedure\"",
"\"returns\"",
"\"to\"",
"\"throws\"",
"\"eval\"",
598 "\"label\"",
"\"goto\"",
"\"skip\"",
"\"with\"",
"\"new\"",
599 "\"hasField\"",
"\"delete\"",
"\"protoField\"",
"\"protoObj\"",
600 "\"ref\"",
"\"field\"",
"\"base\"",
"\"typeOf\"",
"\"null\"",
601 "\"#undefined\"",
"\"#empty\"",
"\"true\"",
"\"false\"",
"\"#proto\"",
602 "\"#fid\"",
"\"#scope\"",
"\"#constructid\"",
"\"#primvalue\"",
603 "\"#targetfunction\"",
"\"#class\"",
"\"num_to_string\"",
604 "\"string_to_num\"",
"\"num_to_int32\"",
"\"num_to_uint32\"",
605 "\"#MemberReference\"",
"\"#VariableReference\"",
"\"#Null\"",
606 "\"#Undefined\"",
"\"#Boolean\"",
"\"#String\"",
"\"#Number\"",
607 "\"#BuiltinObject\"",
"\"#UserObject\"",
"\"#Object\"",
"\"#Reference\"",
608 "\":=\"",
"\"<=\"",
"\"and\"",
"\"or\"",
"\"<:\"",
"\"<<\"",
"\">>\"",
609 "\">>>\"",
"\"not\"",
"TOK_IDENTIFIER",
"TOK_FLOATING",
"TOK_STRING",
610 "TOK_BUILTIN_LOC",
"TOK_BUILTIN_IDENTIFIER",
"TOK_SPEC_IDENTIFIER",
611 "'('",
"')'",
"'{'",
"'}'",
"','",
"'['",
"']'",
"'='",
"'<'",
"'+'",
612 "'-'",
"'*'",
"'/'",
"'%'",
"':'",
"'&'",
"'|'",
"'^'",
"'!'",
"$accept",
613 "program",
"procedure_decls",
"procedure_decl",
"proc_ident",
614 "proc_ident_expr",
"parameters_opt",
"parameters",
"statements_opt",
615 "statements",
"statement",
"instruction",
"rhs",
"with_opt",
616 "expressions_opt",
"expressions",
"expression",
"atom_expression",
617 "literal",
"builtin_field",
"binary_op",
"compare_op",
"arithmetic_op",
618 "boolean_op",
"bitwise_op",
"unary_op",
"jsil_type",
"ref_type",
YY_NULLPTR 627 0, 256, 257, 258, 259, 260, 261, 262, 263, 264,
628 265, 266, 267, 268, 269, 270, 271, 272, 273, 274,
629 275, 276, 277, 278, 279, 280, 281, 282, 283, 284,
630 285, 286, 287, 288, 289, 290, 291, 292, 293, 294,
631 295, 296, 297, 298, 299, 300, 301, 302, 303, 304,
632 305, 306, 307, 308, 309, 310, 311, 312, 313, 314,
633 315, 316, 317, 318, 319, 40, 41, 123, 125, 44,
634 91, 93, 61, 60, 43, 45, 42, 47, 37, 58,
639 #define YYPACT_NINF -147 641 #define yypact_value_is_default(Yystate) \ 642 (!!((Yystate) == (-147))) 644 #define YYTABLE_NINF -12 646 #define yytable_value_is_error(Yytable_value) \ 653 0, -3, 7, 0, -147, -147, -147, -147, -147, -52,
654 -147, -147, -45, -147, -50, -51, 11, -39, -38, -147,
655 12, -37, 15, -35, 18, -33, -36, -2, -147, -32,
656 -55, -147, -22, 185, -34, -2, -147, 25, -147, -147,
657 185, 120, -30, -29, -26, -25, -147, -147, -147, -147,
658 -147, -147, -147, -147, -147, -147, -147, -147, -147, -147,
659 -147, -147, -147, -147, -147, -147, -147, -147, -147, -147,
660 -147, -147, -147, -147, -147, -147, -147, -147, 185, -147,
661 -147, 31, -147, -147, -147, 185, -147, -147, -147, -147,
662 -147, 200, -24, -23, -21, -20, -18, -17, -16, 185,
663 -147, -15, -147, 776, 185, 185, 185, 185, 232, -147,
664 -147, -147, -147, -147, -147, -147, 185, -147, -147, -147,
665 -147, -147, -147, -147, -147, -147, -147, -147, 185, -147,
666 -147, -147, -147, -147, -27, -14, 185, 185, 185, 185,
667 264, 185, 296, 328, 360, 392, -147, 424, -147, -11,
668 -147, 456, 488, 520, 552, 185, -13, -7, 776, 185,
669 -147, -147, -147, 1, -5, 185, 185, 185, 185, 584,
670 17, 185, 616, 185, -147, 648, 680, 712, 744, -147,
671 -4, -147, 776, -28, 776, -147, -147, -147, -147, -147,
680 0, 0, 0, 2, 3, 7, 6, 8, 9, 0,
681 1, 4, 12, 14, 0, 13, 0, 0, 0, 15,
682 0, 0, 0, 0, 0, 0, 0, 16, 20, 0,
683 0, 25, 0, 0, 0, 17, 18, 0, 22, 23,
684 0, 0, 0, 0, 0, 0, 52, 53, 54, 55,
685 56, 62, 63, 64, 65, 66, 67, 68, 93, 94,
686 95, 96, 108, 109, 98, 99, 100, 101, 102, 103,
687 104, 105, 107, 91, 51, 57, 58, 59, 0, 92,
688 97, 0, 42, 44, 61, 0, 60, 106, 5, 19,
689 21, 0, 0, 0, 0, 0, 0, 51, 58, 0,
690 10, 0, 26, 28, 0, 0, 0, 0, 0, 75,
691 81, 82, 83, 88, 89, 90, 0, 73, 74, 76,
692 77, 78, 79, 80, 84, 85, 86, 87, 0, 69,
693 70, 71, 72, 45, 0, 0, 0, 0, 0, 0,
694 0, 38, 0, 0, 0, 0, 46, 0, 43, 0,
695 30, 0, 0, 0, 0, 0, 0, 39, 40, 0,
696 48, 49, 50, 0, 0, 0, 0, 0, 0, 0,
697 36, 0, 0, 0, 24, 0, 0, 0, 0, 32,
698 0, 29, 41, 0, 27, 31, 33, 34, 35, 37,
705 -147, -147, -147, 30, 2, -147, -147, -147, -147, -147,
706 28, -147, -147, -147, -147, -147, -40, -82, -147, -147,
707 -147, -147, -147, -147, -147, -147, -147, -146
713 -1, 2, 3, 4, 9, 101, 14, 15, 34, 35,
714 36, 37, 102, 181, 156, 157, 81, 82, 83, 84,
715 128, 129, 130, 131, 132, 85, 86, 87
723 91, 103, 28, 133, 39, 1, 5, 10, 29, 30,
724 31, 62, 63, 12, 13, 40, 16, 18, 17, 21,
725 19, 20, 22, 23, 24, 25, 26, 38, 41, 90,
726 180, 27, 149, 11, 88, 104, 105, 190, 108, 106,
727 107, 135, 136, 100, 137, 138, 148, 139, -6, -11,
728 141, 173, 150, 170, 174, 189, 6, 32, 164, 140,
729 7, 8, 171, 89, 142, 143, 144, 145, 33, 191,
730 0, 0, 0, 0, 0, 0, 147, 0, 0, 0,
731 0, 0, 109, 110, 111, 112, 113, 114, 115, 0,
732 0, 0, 0, 0, 0, 0, 151, 152, 153, 154,
733 116, 158, 0, 117, 118, 119, 120, 121, 122, 123,
734 124, 125, 126, 127, 0, 169, 0, 0, 0, 172,
735 0, 0, 0, 0, 0, 175, 176, 177, 178, 5,
736 0, 182, 0, 184, 92, 93, 94, 95, 96, 42,
737 43, 44, 45, 46, 47, 48, 49, 50, 51, 52,
738 53, 54, 55, 56, 57, 58, 59, 60, 61, 62,
739 63, 64, 65, 66, 67, 68, 69, 70, 71, 72,
740 0, 0, 0, 0, 0, 0, 0, 0, 73, 97,
741 75, 98, 77, 7, 8, 78, 0, 0, 0, 0,
742 99, 0, 0, 0, 0, 79, 0, 0, 0, 0,
743 0, 0, 0, 80, 42, 43, 44, 45, 46, 47,
744 48, 49, 50, 51, 52, 53, 54, 55, 56, 57,
745 58, 59, 60, 61, 62, 63, 64, 65, 66, 67,
746 68, 69, 70, 71, 72, 0, 0, 0, 0, 0,
747 0, 0, 0, 73, 74, 75, 76, 77, 0, 0,
748 78, 109, 110, 111, 112, 113, 114, 115, 0, 0,
749 79, 0, 0, 0, 0, 0, 0, 0, 80, 0,
750 0, 134, 117, 118, 119, 120, 121, 122, 123, 124,
751 125, 126, 127, 109, 110, 111, 112, 113, 114, 115,
752 0, 0, 0, 0, 0, 0, 0, 0, 146, 0,
753 0, 0, 0, 0, 117, 118, 119, 120, 121, 122,
754 123, 124, 125, 126, 127, 109, 110, 111, 112, 113,
755 114, 115, 0, 0, 0, 0, 0, 0, 0, 0,
756 0, 0, 0, 155, 0, 0, 117, 118, 119, 120,
757 121, 122, 123, 124, 125, 126, 127, 109, 110, 111,
758 112, 113, 114, 115, 0, 0, 0, 0, 0, 0,
759 0, 0, 0, 0, 0, 159, 0, 0, 117, 118,
760 119, 120, 121, 122, 123, 124, 125, 126, 127, 109,
761 110, 111, 112, 113, 114, 115, 0, 0, 0, 0,
762 0, 0, 0, 0, 160, 0, 0, 0, 0, 0,
763 117, 118, 119, 120, 121, 122, 123, 124, 125, 126,
764 127, 109, 110, 111, 112, 113, 114, 115, 0, 0,
765 0, 0, 0, 0, 0, 0, 161, 0, 0, 0,
766 0, 0, 117, 118, 119, 120, 121, 122, 123, 124,
767 125, 126, 127, 109, 110, 111, 112, 113, 114, 115,
768 0, 0, 0, 0, 0, 0, 0, 0, 162, 0,
769 0, 0, 0, 0, 117, 118, 119, 120, 121, 122,
770 123, 124, 125, 126, 127, 109, 110, 111, 112, 113,
771 114, 115, 0, 0, 0, 0, 0, 0, 0, 0,
772 0, 0, 0, 0, 0, 163, 117, 118, 119, 120,
773 121, 122, 123, 124, 125, 126, 127, 109, 110, 111,
774 112, 113, 114, 115, 0, 0, 0, 0, 0, 0,
775 0, 0, 0, 0, 0, 165, 0, 0, 117, 118,
776 119, 120, 121, 122, 123, 124, 125, 126, 127, 109,
777 110, 111, 112, 113, 114, 115, 0, 0, 0, 0,
778 0, 0, 0, 0, 0, 0, 0, 166, 0, 0,
779 117, 118, 119, 120, 121, 122, 123, 124, 125, 126,
780 127, 109, 110, 111, 112, 113, 114, 115, 0, 0,
781 0, 0, 0, 0, 0, 0, 0, 0, 0, 167,
782 0, 0, 117, 118, 119, 120, 121, 122, 123, 124,
783 125, 126, 127, 109, 110, 111, 112, 113, 114, 115,
784 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
785 0, 168, 0, 0, 117, 118, 119, 120, 121, 122,
786 123, 124, 125, 126, 127, 109, 110, 111, 112, 113,
787 114, 115, 0, 0, 0, 0, 0, 0, 0, 0,
788 0, 0, 0, 0, 0, 179, 117, 118, 119, 120,
789 121, 122, 123, 124, 125, 126, 127, 109, 110, 111,
790 112, 113, 114, 115, 0, 0, 0, 0, 0, 0,
791 0, 0, 0, 0, 0, 183, 0, 0, 117, 118,
792 119, 120, 121, 122, 123, 124, 125, 126, 127, 109,
793 110, 111, 112, 113, 114, 115, 0, 0, 0, 0,
794 0, 0, 0, 0, 185, 0, 0, 0, 0, 0,
795 117, 118, 119, 120, 121, 122, 123, 124, 125, 126,
796 127, 109, 110, 111, 112, 113, 114, 115, 0, 0,
797 0, 0, 0, 0, 0, 0, 186, 0, 0, 0,
798 0, 0, 117, 118, 119, 120, 121, 122, 123, 124,
799 125, 126, 127, 109, 110, 111, 112, 113, 114, 115,
800 0, 0, 0, 0, 0, 0, 0, 0, 187, 0,
801 0, 0, 0, 0, 117, 118, 119, 120, 121, 122,
802 123, 124, 125, 126, 127, 109, 110, 111, 112, 113,
803 114, 115, 0, 0, 0, 0, 0, 0, 0, 0,
804 188, 0, 0, 0, 0, 0, 117, 118, 119, 120,
805 121, 122, 123, 124, 125, 126, 127, 109, 110, 111,
806 112, 113, 114, 115, 0, 0, 0, 0, 0, 0,
807 0, 0, 0, 0, 0, 0, 0, 0, 117, 118,
808 119, 120, 121, 122, 123, 124, 125, 126, 127
813 40, 41, 4, 85, 59, 5, 9, 0, 10, 11,
814 12, 39, 40, 65, 59, 70, 66, 6, 69, 7,
815 59, 59, 59, 8, 59, 7, 59, 59, 50, 4,
816 13, 67, 59, 3, 68, 65, 65, 183, 78, 65,
817 65, 65, 65, 41, 65, 65, 128, 65, 65, 65,
818 65, 50, 66, 66, 59, 59, 59, 59, 69, 99,
819 63, 64, 69, 35, 104, 105, 106, 107, 70, 66,
820 -1, -1, -1, -1, -1, -1, 116, -1, -1, -1,
821 -1, -1, 51, 52, 53, 54, 55, 56, 57, -1,
822 -1, -1, -1, -1, -1, -1, 136, 137, 138, 139,
823 69, 141, -1, 72, 73, 74, 75, 76, 77, 78,
824 79, 80, 81, 82, -1, 155, -1, -1, -1, 159,
825 -1, -1, -1, -1, -1, 165, 166, 167, 168, 9,
826 -1, 171, -1, 173, 14, 15, 16, 17, 18, 19,
827 20, 21, 22, 23, 24, 25, 26, 27, 28, 29,
828 30, 31, 32, 33, 34, 35, 36, 37, 38, 39,
829 40, 41, 42, 43, 44, 45, 46, 47, 48, 49,
830 -1, -1, -1, -1, -1, -1, -1, -1, 58, 59,
831 60, 61, 62, 63, 64, 65, -1, -1, -1, -1,
832 70, -1, -1, -1, -1, 75, -1, -1, -1, -1,
833 -1, -1, -1, 83, 19, 20, 21, 22, 23, 24,
834 25, 26, 27, 28, 29, 30, 31, 32, 33, 34,
835 35, 36, 37, 38, 39, 40, 41, 42, 43, 44,
836 45, 46, 47, 48, 49, -1, -1, -1, -1, -1,
837 -1, -1, -1, 58, 59, 60, 61, 62, -1, -1,
838 65, 51, 52, 53, 54, 55, 56, 57, -1, -1,
839 75, -1, -1, -1, -1, -1, -1, -1, 83, -1,
840 -1, 71, 72, 73, 74, 75, 76, 77, 78, 79,
841 80, 81, 82, 51, 52, 53, 54, 55, 56, 57,
842 -1, -1, -1, -1, -1, -1, -1, -1, 66, -1,
843 -1, -1, -1, -1, 72, 73, 74, 75, 76, 77,
844 78, 79, 80, 81, 82, 51, 52, 53, 54, 55,
845 56, 57, -1, -1, -1, -1, -1, -1, -1, -1,
846 -1, -1, -1, 69, -1, -1, 72, 73, 74, 75,
847 76, 77, 78, 79, 80, 81, 82, 51, 52, 53,
848 54, 55, 56, 57, -1, -1, -1, -1, -1, -1,
849 -1, -1, -1, -1, -1, 69, -1, -1, 72, 73,
850 74, 75, 76, 77, 78, 79, 80, 81, 82, 51,
851 52, 53, 54, 55, 56, 57, -1, -1, -1, -1,
852 -1, -1, -1, -1, 66, -1, -1, -1, -1, -1,
853 72, 73, 74, 75, 76, 77, 78, 79, 80, 81,
854 82, 51, 52, 53, 54, 55, 56, 57, -1, -1,
855 -1, -1, -1, -1, -1, -1, 66, -1, -1, -1,
856 -1, -1, 72, 73, 74, 75, 76, 77, 78, 79,
857 80, 81, 82, 51, 52, 53, 54, 55, 56, 57,
858 -1, -1, -1, -1, -1, -1, -1, -1, 66, -1,
859 -1, -1, -1, -1, 72, 73, 74, 75, 76, 77,
860 78, 79, 80, 81, 82, 51, 52, 53, 54, 55,
861 56, 57, -1, -1, -1, -1, -1, -1, -1, -1,
862 -1, -1, -1, -1, -1, 71, 72, 73, 74, 75,
863 76, 77, 78, 79, 80, 81, 82, 51, 52, 53,
864 54, 55, 56, 57, -1, -1, -1, -1, -1, -1,
865 -1, -1, -1, -1, -1, 69, -1, -1, 72, 73,
866 74, 75, 76, 77, 78, 79, 80, 81, 82, 51,
867 52, 53, 54, 55, 56, 57, -1, -1, -1, -1,
868 -1, -1, -1, -1, -1, -1, -1, 69, -1, -1,
869 72, 73, 74, 75, 76, 77, 78, 79, 80, 81,
870 82, 51, 52, 53, 54, 55, 56, 57, -1, -1,
871 -1, -1, -1, -1, -1, -1, -1, -1, -1, 69,
872 -1, -1, 72, 73, 74, 75, 76, 77, 78, 79,
873 80, 81, 82, 51, 52, 53, 54, 55, 56, 57,
874 -1, -1, -1, -1, -1, -1, -1, -1, -1, -1,
875 -1, 69, -1, -1, 72, 73, 74, 75, 76, 77,
876 78, 79, 80, 81, 82, 51, 52, 53, 54, 55,
877 56, 57, -1, -1, -1, -1, -1, -1, -1, -1,
878 -1, -1, -1, -1, -1, 71, 72, 73, 74, 75,
879 76, 77, 78, 79, 80, 81, 82, 51, 52, 53,
880 54, 55, 56, 57, -1, -1, -1, -1, -1, -1,
881 -1, -1, -1, -1, -1, 69, -1, -1, 72, 73,
882 74, 75, 76, 77, 78, 79, 80, 81, 82, 51,
883 52, 53, 54, 55, 56, 57, -1, -1, -1, -1,
884 -1, -1, -1, -1, 66, -1, -1, -1, -1, -1,
885 72, 73, 74, 75, 76, 77, 78, 79, 80, 81,
886 82, 51, 52, 53, 54, 55, 56, 57, -1, -1,
887 -1, -1, -1, -1, -1, -1, 66, -1, -1, -1,
888 -1, -1, 72, 73, 74, 75, 76, 77, 78, 79,
889 80, 81, 82, 51, 52, 53, 54, 55, 56, 57,
890 -1, -1, -1, -1, -1, -1, -1, -1, 66, -1,
891 -1, -1, -1, -1, 72, 73, 74, 75, 76, 77,
892 78, 79, 80, 81, 82, 51, 52, 53, 54, 55,
893 56, 57, -1, -1, -1, -1, -1, -1, -1, -1,
894 66, -1, -1, -1, -1, -1, 72, 73, 74, 75,
895 76, 77, 78, 79, 80, 81, 82, 51, 52, 53,
896 54, 55, 56, 57, -1, -1, -1, -1, -1, -1,
897 -1, -1, -1, -1, -1, -1, -1, -1, 72, 73,
898 74, 75, 76, 77, 78, 79, 80, 81, 82
905 0, 5, 85, 86, 87, 9, 59, 63, 64, 88,
906 0, 87, 65, 59, 90, 91, 66, 69, 6, 59,
907 59, 7, 59, 8, 59, 7, 59, 67, 4, 10,
908 11, 12, 59, 70, 92, 93, 94, 95, 59, 59,
909 70, 50, 19, 20, 21, 22, 23, 24, 25, 26,
910 27, 28, 29, 30, 31, 32, 33, 34, 35, 36,
911 37, 38, 39, 40, 41, 42, 43, 44, 45, 46,
912 47, 48, 49, 58, 59, 60, 61, 62, 65, 75,
913 83, 100, 101, 102, 103, 109, 110, 111, 68, 94,
914 4, 100, 14, 15, 16, 17, 18, 59, 61, 70,
915 88, 89, 96, 100, 65, 65, 65, 65, 100, 51,
916 52, 53, 54, 55, 56, 57, 69, 72, 73, 74,
917 75, 76, 77, 78, 79, 80, 81, 82, 104, 105,
918 106, 107, 108, 101, 71, 65, 65, 65, 65, 65,
919 100, 65, 100, 100, 100, 100, 66, 100, 101, 59,
920 66, 100, 100, 100, 100, 69, 98, 99, 100, 69,
921 66, 66, 66, 71, 69, 69, 69, 69, 69, 100,
922 66, 69, 100, 50, 59, 100, 100, 100, 100, 71,
923 13, 97, 100, 69, 100, 66, 66, 66, 66, 59,
930 0, 84, 85, 86, 86, 87, 88, 88, 88, 88,
931 89, 89, 90, 90, 91, 91, 92, 92, 93, 93,
932 94, 94, 95, 95, 95, 95, 95, 95, 96, 96,
933 96, 96, 96, 96, 96, 96, 97, 97, 98, 98,
934 99, 99, 100, 100, 101, 101, 101, 101, 101, 101,
935 101, 102, 102, 102, 102, 102, 102, 102, 102, 102,
936 102, 102, 103, 103, 103, 103, 103, 103, 103, 104,
937 104, 104, 104, 105, 105, 105, 106, 106, 106, 106,
938 106, 107, 107, 107, 107, 108, 108, 108, 108, 108,
939 108, 109, 109, 109, 109, 109, 109, 109, 110, 110,
940 110, 110, 110, 110, 110, 110, 110, 110, 111, 111
946 0, 2, 1, 1, 2, 16, 1, 1, 1, 1,
947 1, 1, 0, 1, 1, 3, 0, 1, 1, 2,
948 1, 2, 2, 2, 7, 1, 3, 7, 1, 5,
949 3, 6, 5, 6, 6, 6, 0, 2, 0, 1,
950 1, 3, 1, 3, 1, 2, 3, 8, 4, 4,
951 4, 1, 1, 1, 1, 1, 1, 1, 1, 1,
952 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
953 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
954 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
955 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
956 1, 1, 1, 1, 1, 1, 1, 1, 1, 1
960 #define yyerrok (yyerrstatus = 0) 961 #define yyclearin (yychar = YYEMPTY) 965 #define YYACCEPT goto yyacceptlab 966 #define YYABORT goto yyabortlab 967 #define YYERROR goto yyerrorlab 970 #define YYRECOVERING() (!!yyerrstatus) 972 #define YYBACKUP(Token, Value) \ 974 if (yychar == YYEMPTY) \ 978 YYPOPSTACK (yylen); \ 984 yyerror (YY_("syntax error: cannot back up")); \ 991 #define YYERRCODE 256 1000 # define YYFPRINTF fprintf 1003 # define YYDPRINTF(Args) \ 1010 #ifndef YY_LOCATION_PRINT 1011 # define YY_LOCATION_PRINT(File, Loc) ((void) 0) 1015 # define YY_SYMBOL_PRINT(Title, Type, Value, Location) \ 1019 YYFPRINTF (stderr, "%s ", Title); \ 1020 yy_symbol_print (stderr, \ 1022 YYFPRINTF (stderr, "\n"); \ 1032 yy_symbol_value_print (FILE *yyoutput,
int yytype,
YYSTYPE const *
const yyvaluep)
1034 FILE *yyo = yyoutput;
1040 YYPRINT (yyoutput, yytoknum[yytype], *yyvaluep);
1051 yy_symbol_print (FILE *yyoutput,
int yytype,
YYSTYPE const *
const yyvaluep)
1053 YYFPRINTF (yyoutput,
"%s %s (",
1056 yy_symbol_value_print (yyoutput, yytype, yyvaluep);
1057 YYFPRINTF (yyoutput,
")");
1068 YYFPRINTF (stderr,
"Stack now");
1069 for (; yybottom <= yytop; yybottom++)
1071 int yybot = *yybottom;
1072 YYFPRINTF (stderr,
" %d", yybot);
1074 YYFPRINTF (stderr,
"\n");
1077 # define YY_STACK_PRINT(Bottom, Top) \ 1080 yy_stack_print ((Bottom), (Top)); \ 1091 unsigned long int yylno = yyrline[yyrule];
1092 int yynrhs =
yyr2[yyrule];
1094 YYFPRINTF (stderr,
"Reducing stack by rule %d (line %lu):\n",
1097 for (yyi = 0; yyi < yynrhs; yyi++)
1099 YYFPRINTF (stderr,
" $%d = ", yyi + 1);
1100 yy_symbol_print (stderr,
1101 yystos[yyssp[yyi + 1 - yynrhs]],
1102 &(yyvsp[(yyi + 1) - (yynrhs)])
1104 YYFPRINTF (stderr,
"\n");
1108 # define YY_REDUCE_PRINT(Rule) \ 1111 yy_reduce_print (yyssp, yyvsp, Rule); \ 1118 # define YYDPRINTF(Args) 1119 # define YY_SYMBOL_PRINT(Title, Type, Value, Location) 1120 # define YY_STACK_PRINT(Bottom, Top) 1121 # define YY_REDUCE_PRINT(Rule) 1127 # define YYINITDEPTH 200 1138 # define YYMAXDEPTH 10000 1145 # if defined __GLIBC__ && defined _STRING_H 1146 # define yystrlen strlen 1153 for (yylen = 0; yystr[yylen]; yylen++)
1161 # if defined __GLIBC__ && defined _STRING_H && defined _GNU_SOURCE 1162 # define yystpcpy stpcpy 1170 const char *yys = yysrc;
1172 while ((*yyd++ = *yys++) !=
'\0')
1194 char const *yyp = yystr;
1201 goto do_not_strip_quotes;
1205 goto do_not_strip_quotes;
1218 do_not_strip_quotes: ;
1224 return yystpcpy (yyres, yystr) - yyres;
1242 enum { YYERROR_VERBOSE_ARGS_MAXIMUM = 5 };
1246 char const *yyarg[YYERROR_VERBOSE_ARGS_MAXIMUM];
1276 int yyn =
yypact[*yyssp];
1277 yyarg[yycount++] =
yytname[yytoken];
1283 int yyxbegin = yyn < 0 ? -yyn : 0;
1285 int yychecklim =
YYLAST - yyn + 1;
1289 for (yyx = yyxbegin; yyx < yyxend; ++yyx)
1293 if (yycount == YYERROR_VERBOSE_ARGS_MAXIMUM)
1299 yyarg[yycount++] =
yytname[yyx];
1302 if (! (yysize <= yysize1
1313 # define YYCASE_(N, S) \ 1318 YYCASE_(1,
YY_(
"syntax error, unexpected %s"));
1319 YYCASE_(2,
YY_(
"syntax error, unexpected %s, expecting %s"));
1320 YYCASE_(3,
YY_(
"syntax error, unexpected %s, expecting %s or %s"));
1321 YYCASE_(4,
YY_(
"syntax error, unexpected %s, expecting %s or %s or %s"));
1322 YYCASE_(5,
YY_(
"syntax error, unexpected %s, expecting %s or %s or %s or %s"));
1333 if (*yymsg_alloc < yysize)
1335 *yymsg_alloc = 2 * yysize;
1336 if (! (yysize <= *yymsg_alloc
1348 while ((*yyp = *yyformat) !=
'\0')
1349 if (*yyp ==
'%' && yyformat[1] ==
's' && yyi < yycount)
1434 char *yymsg = yymsgbuf;
1435 YYSIZE_T yymsg_alloc =
sizeof yymsgbuf;
1438 #define YYPOPSTACK(N) (yyvsp -= (N), yyssp -= (N)) 1444 yyssp = yyss = yyssa;
1445 yyvsp = yyvs = yyvsa;
1448 YYDPRINTF ((stderr,
"Starting parse\n"));
1467 if (yyss + yystacksize - 1 <= yyssp)
1470 YYSIZE_T yysize = yyssp - yyss + 1;
1484 yyoverflow (
YY_(
"memory exhausted"),
1485 &yyss1, yysize *
sizeof (*yyssp),
1486 &yyvs1, yysize *
sizeof (*yyvsp),
1493 # ifndef YYSTACK_RELOCATE 1494 goto yyexhaustedlab;
1498 goto yyexhaustedlab;
1508 goto yyexhaustedlab;
1511 # undef YYSTACK_RELOCATE 1518 yyssp = yyss + yysize - 1;
1519 yyvsp = yyvs + yysize - 1;
1521 YYDPRINTF ((stderr,
"Stack size increased to %lu\n",
1522 (
unsigned long int) yystacksize));
1524 if (yyss + yystacksize - 1 <= yyssp)
1528 YYDPRINTF ((stderr,
"Entering state %d\n", yystate));
1553 YYDPRINTF ((stderr,
"Reading a token: "));
1560 YYDPRINTF ((stderr,
"Now at end of input.\n"));
1626 yyval = yyvsp[1-yylen];
1633 #line 120 "parser.y" 1656 if(
stack((yyvsp[-1])).is_not_nil())
1659 PARSER.parse_tree.items.push_back(decl);
1661 #line 1662 "jsil_y.tab.cpp" 1665 #line 151 "parser.y" 1670 #line 1671 "jsil_y.tab.cpp" 1674 #line 156 "parser.y" 1676 stack((yyval)).set(
"proc_type",
"builtin");
1678 #line 1679 "jsil_y.tab.cpp" 1682 #line 160 "parser.y" 1684 stack((yyval)).set(
"proc_type",
"spec");
1686 #line 1687 "jsil_y.tab.cpp" 1690 #line 167 "parser.y" 1693 stack((yyval)).swap(s);
1695 #line 1696 "jsil_y.tab.cpp" 1699 #line 174 "parser.y" 1703 #line 1704 "jsil_y.tab.cpp" 1707 #line 181 "parser.y" 1709 newstack((yyval)).id(ID_parameters);
1710 stack((yyval)).move_to_operands(
stack((yyvsp[0])));
1712 #line 1713 "jsil_y.tab.cpp" 1716 #line 186 "parser.y" 1718 (yyval)=(yyvsp[-2]);
1719 stack((yyval)).move_to_operands(
stack((yyvsp[0])));
1721 #line 1722 "jsil_y.tab.cpp" 1725 #line 193 "parser.y" 1729 #line 1730 "jsil_y.tab.cpp" 1733 #line 200 "parser.y" 1737 stack((yyval)).move_to_operands(
stack((yyvsp[0])));
1739 #line 1740 "jsil_y.tab.cpp" 1743 #line 206 "parser.y" 1745 (yyval)=(yyvsp[-1]);
1746 stack((yyval)).move_to_operands(
stack((yyvsp[0])));
1748 #line 1749 "jsil_y.tab.cpp" 1752 #line 213 "parser.y" 1756 #line 1757 "jsil_y.tab.cpp" 1760 #line 217 "parser.y" 1762 (yyval)=(yyvsp[-1]);
1764 #line 1765 "jsil_y.tab.cpp" 1768 #line 223 "parser.y" 1775 #line 1776 "jsil_y.tab.cpp" 1779 #line 230 "parser.y" 1784 #line 1785 "jsil_y.tab.cpp" 1788 #line 235 "parser.y" 1800 #line 1801 "jsil_y.tab.cpp" 1804 #line 247 "parser.y" 1808 #line 1809 "jsil_y.tab.cpp" 1812 #line 251 "parser.y" 1817 #line 1818 "jsil_y.tab.cpp" 1821 #line 256 "parser.y" 1827 #line 1828 "jsil_y.tab.cpp" 1831 #line 265 "parser.y" 1835 if(
stack((yyvsp[-2])).is_not_nil())
1840 if(
stack((yyvsp[0])).is_not_nil())
1843 stack((yyval)).swap(w);
1846 #line 1847 "jsil_y.tab.cpp" 1850 #line 280 "parser.y" 1855 #line 1856 "jsil_y.tab.cpp" 1859 #line 285 "parser.y" 1861 exprt has_field(
"hasField");
1867 #line 1868 "jsil_y.tab.cpp" 1871 #line 293 "parser.y" 1876 #line 1877 "jsil_y.tab.cpp" 1880 #line 298 "parser.y" 1888 #line 1889 "jsil_y.tab.cpp" 1892 #line 306 "parser.y" 1894 exprt proto_field(
"protoField");
1898 newstack((yyval)).swap(proto_field);
1900 #line 1901 "jsil_y.tab.cpp" 1904 #line 314 "parser.y" 1906 exprt proto_obj(
"protoObj");
1912 #line 1913 "jsil_y.tab.cpp" 1916 #line 324 "parser.y" 1920 #line 1921 "jsil_y.tab.cpp" 1924 #line 328 "parser.y" 1928 #line 1929 "jsil_y.tab.cpp" 1932 #line 334 "parser.y" 1936 #line 1937 "jsil_y.tab.cpp" 1940 #line 341 "parser.y" 1942 newstack((yyval)).id(ID_expression_list);
1943 stack((yyval)).move_to_operands(
stack((yyvsp[0])));
1945 #line 1946 "jsil_y.tab.cpp" 1949 #line 346 "parser.y" 1951 (yyval)=(yyvsp[-2]);
1952 stack((yyval)).move_to_operands(
stack((yyvsp[0])));
1954 #line 1955 "jsil_y.tab.cpp" 1958 #line 354 "parser.y" 1960 (yyval)=(yyvsp[-1]);
1961 stack((yyval)).move_to_operands(
stack((yyvsp[-2])));
1962 stack((yyval)).move_to_operands(
stack((yyvsp[0])));
1964 #line 1965 "jsil_y.tab.cpp" 1968 #line 363 "parser.y" 1970 (yyval)=(yyvsp[-1]);
1971 stack((yyval)).move_to_operands(
stack((yyvsp[0])));
1973 #line 1974 "jsil_y.tab.cpp" 1977 #line 368 "parser.y" 1979 (yyval)=(yyvsp[-1]);
1981 #line 1982 "jsil_y.tab.cpp" 1985 #line 372 "parser.y" 1994 #line 1995 "jsil_y.tab.cpp" 1998 #line 381 "parser.y" 2000 exprt field(
"field");
2005 #line 2006 "jsil_y.tab.cpp" 2009 #line 388 "parser.y" 2011 exprt base(ID_base);
2016 #line 2017 "jsil_y.tab.cpp" 2020 #line 395 "parser.y" 2022 exprt typeof_expr(ID_typeof);
2025 newstack((yyval)).swap(typeof_expr);
2027 #line 2028 "jsil_y.tab.cpp" 2031 #line 405 "parser.y" 2035 #line 2036 "jsil_y.tab.cpp" 2039 #line 409 "parser.y" 2043 #line 2044 "jsil_y.tab.cpp" 2047 #line 413 "parser.y" 2051 #line 2052 "jsil_y.tab.cpp" 2055 #line 417 "parser.y" 2059 #line 2060 "jsil_y.tab.cpp" 2063 #line 421 "parser.y" 2067 #line 2068 "jsil_y.tab.cpp" 2071 #line 426 "parser.y" 2075 stack((yyval)).swap(c);
2077 #line 2078 "jsil_y.tab.cpp" 2081 #line 437 "parser.y" 2085 #line 2086 "jsil_y.tab.cpp" 2089 #line 441 "parser.y" 2093 #line 2094 "jsil_y.tab.cpp" 2097 #line 445 "parser.y" 2101 #line 2102 "jsil_y.tab.cpp" 2105 #line 449 "parser.y" 2107 newstack((yyval)).id(
"constructid");
2109 #line 2110 "jsil_y.tab.cpp" 2113 #line 453 "parser.y" 2117 #line 2118 "jsil_y.tab.cpp" 2121 #line 457 "parser.y" 2123 newstack((yyval)).id(
"targetfunction");
2125 #line 2126 "jsil_y.tab.cpp" 2129 #line 461 "parser.y" 2133 #line 2134 "jsil_y.tab.cpp" 2137 #line 473 "parser.y" 2141 #line 2142 "jsil_y.tab.cpp" 2145 #line 477 "parser.y" 2149 #line 2150 "jsil_y.tab.cpp" 2153 #line 481 "parser.y" 2157 #line 2158 "jsil_y.tab.cpp" 2161 #line 487 "parser.y" 2165 #line 2166 "jsil_y.tab.cpp" 2169 #line 491 "parser.y" 2173 #line 2174 "jsil_y.tab.cpp" 2177 #line 495 "parser.y" 2181 #line 2182 "jsil_y.tab.cpp" 2185 #line 499 "parser.y" 2189 #line 2190 "jsil_y.tab.cpp" 2193 #line 503 "parser.y" 2197 #line 2198 "jsil_y.tab.cpp" 2201 #line 509 "parser.y" 2205 #line 2206 "jsil_y.tab.cpp" 2209 #line 513 "parser.y" 2213 #line 2214 "jsil_y.tab.cpp" 2217 #line 517 "parser.y" 2219 newstack((yyval)).id(
"subtype_of");
2221 #line 2222 "jsil_y.tab.cpp" 2225 #line 521 "parser.y" 2227 newstack((yyval)).id(ID_concatenation);
2229 #line 2230 "jsil_y.tab.cpp" 2233 #line 527 "parser.y" 2237 #line 2238 "jsil_y.tab.cpp" 2241 #line 531 "parser.y" 2245 #line 2246 "jsil_y.tab.cpp" 2249 #line 535 "parser.y" 2253 #line 2254 "jsil_y.tab.cpp" 2257 #line 539 "parser.y" 2261 #line 2262 "jsil_y.tab.cpp" 2265 #line 543 "parser.y" 2269 #line 2270 "jsil_y.tab.cpp" 2273 #line 547 "parser.y" 2277 #line 2278 "jsil_y.tab.cpp" 2281 #line 553 "parser.y" 2285 #line 2286 "jsil_y.tab.cpp" 2289 #line 557 "parser.y" 2291 newstack((yyval)).id(ID_unary_minus);
2293 #line 2294 "jsil_y.tab.cpp" 2297 #line 561 "parser.y" 2299 newstack((yyval)).id(
"num_to_string");
2301 #line 2302 "jsil_y.tab.cpp" 2305 #line 565 "parser.y" 2307 newstack((yyval)).id(
"string_to_num");
2309 #line 2310 "jsil_y.tab.cpp" 2313 #line 569 "parser.y" 2315 newstack((yyval)).id(
"num_to_int32");
2317 #line 2318 "jsil_y.tab.cpp" 2321 #line 573 "parser.y" 2323 newstack((yyval)).id(
"num_to_uint32");
2325 #line 2326 "jsil_y.tab.cpp" 2329 #line 577 "parser.y" 2333 #line 2334 "jsil_y.tab.cpp" 2337 #line 583 "parser.y" 2341 #line 2342 "jsil_y.tab.cpp" 2345 #line 587 "parser.y" 2347 newstack((yyval)).id(
"undefined_type");
2349 #line 2350 "jsil_y.tab.cpp" 2353 #line 591 "parser.y" 2357 #line 2358 "jsil_y.tab.cpp" 2361 #line 595 "parser.y" 2365 #line 2366 "jsil_y.tab.cpp" 2369 #line 599 "parser.y" 2373 #line 2374 "jsil_y.tab.cpp" 2377 #line 603 "parser.y" 2379 newstack((yyval)).id(
"builtin_object");
2381 #line 2382 "jsil_y.tab.cpp" 2385 #line 607 "parser.y" 2387 newstack((yyval)).id(
"user_object");
2389 #line 2390 "jsil_y.tab.cpp" 2393 #line 611 "parser.y" 2397 #line 2398 "jsil_y.tab.cpp" 2401 #line 616 "parser.y" 2403 newstack((yyval)).id(ID_reference);
2405 #line 2406 "jsil_y.tab.cpp" 2409 #line 622 "parser.y" 2413 #line 2414 "jsil_y.tab.cpp" 2417 #line 626 "parser.y" 2421 #line 2422 "jsil_y.tab.cpp" 2425 #line 2426 "jsil_y.tab.cpp" 2454 if (0 <= yystate && yystate <=
YYLAST &&
yycheck[yystate] == *yyssp)
2474 #if ! YYERROR_VERBOSE 2477 # define YYSYNTAX_ERROR yysyntax_error (&yymsg_alloc, &yymsg, \ 2480 char const *yymsgp =
YY_(
"syntax error");
2481 int yysyntax_error_status;
2483 if (yysyntax_error_status == 0)
2485 else if (yysyntax_error_status == 1)
2487 if (yymsg != yymsgbuf)
2493 yymsg_alloc =
sizeof yymsgbuf;
2494 yysyntax_error_status = 2;
2503 if (yysyntax_error_status == 2)
2504 goto yyexhaustedlab;
2506 # undef YYSYNTAX_ERROR 2512 if (yyerrstatus == 3)
2614 #if !defined yyoverflow || YYERROR_VERBOSE 2637 while (yyssp != yyss)
2648 if (yymsg != yymsgbuf)
2653 #line 631 "parser.y"
const codet & then_case() const
static int yysyntax_error(size_t *yymsg_alloc, char **yymsg, yytype_int16 *yyssp, int yytoken)
#define TOK_NUM_TO_UINT32
#define TOK_T_BUILTIN_OBJECT
#define TOK_UNSIGNED_RIGHT_SHIFT
#define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
static const yytype_int16 yypact[]
#define TOK_VARIABLE_REFERENCE
const exprt & cond() const
static const yytype_uint8 yydefact[]
#define TOK_BUILTIN_IDENTIFIER
const irep_idt & get_identifier() const
void move_to_operands(exprt &expr)
A `goto' instruction.
static const char *const yytname[]
#define yypact_value_is_default(Yystate)
A constant literal expression.
#define TOK_SIGNED_RIGHT_SHIFT
static void yydestruct(const char *yymsg, int yytype, unsigned *yyvaluep)
static const yytype_uint8 yyr1[]
static size_t yytnamerr(char *yyres, const char *yystr)
#define YYSTACK_ALLOC_MAXIMUM
unsigned short int yytype_uint16
#define YY_REDUCE_PRINT(Rule)
int yyjsillex()
The main scanner function which does all the work.
#define TOK_T_USER_OBJECT
static const yytype_int16 yytable[]
API to expression classes.
#define TOK_NUM_TO_STRING
A label for branch targets.
static size_t yystrlen(const char *yystr)
#define YY_IGNORE_MAYBE_UNINITIALIZED_END
#define forall_operands(it, expr)
void add_throws(const irep_idt &value, const irep_idt &label)
unsigned char yytype_uint8
static const yytype_uint8 yystos[]
static const yytype_uint8 yytranslate[]
static const yytype_int16 yydefgoto[]
void add_declarator(const symbol_exprt &expr)
A function call side effect.
#define TOK_SCANNER_ERROR
void set_identifier(const irep_idt &identifier)
const string_constantt & to_string_constant(const exprt &expr)
unsigned char yytype_uint8
void add_value(const code_blockt &code)
void set_statement(const irep_idt &statement)
void add_returns(const irep_idt &value, const irep_idt &label)
Base class for all expressions.
const parameterst & parameters() const
const symbol_exprt & to_symbol_expr(const exprt &expr)
Cast a generic exprt to a symbol_exprt.
#define yytable_value_is_error(Yytable_value)
#define YY_STACK_PRINT(Bottom, Top)
Operator to update elements in structs and arrays.
static const yytype_uint8 yyr2[]
static const yytype_int16 yycheck[]
#define TOK_MEMBER_REFERENCE
exprt::operandst & arguments()
unsigned short int yytype_uint16
const codet & to_code(const exprt &expr)
Expression to hold a symbol (variable)
const code_blockt & to_code_block(const codet &code)
#define TOK_TARGETFUNCTION
#define YY_SYMBOL_PRINT(Title, Type, Value, Location)
const codet & else_case() const
#define TOK_SPEC_IDENTIFIER
#define TOK_STRING_TO_NUM
static const yytype_int16 yypgoto[]
static char * yystpcpy(char *yydest, const char *yysrc)
#define YYSTACK_RELOCATE(Stack_alloc, Stack)