📄 hys.tab.c
字号:
57, 0};#endif#if YYDEBUG != 0static const short yyrline[] = { 0, 310, 314, 319, 322, 324, 325, 328, 330, 331, 332, 334, 338, 344, 349, 353, 356, 358, 360, 362, 364, 366, 368, 371, 373, 375, 377, 380, 382, 388, 390, 391, 393, 394, 396, 397, 399, 400, 402, 406, 408, 409, 411, 412, 414, 415, 417, 418, 420, 423, 426, 433, 438, 441, 444, 452, 460, 468, 476, 484, 492, 500, 508, 515, 522, 529, 537, 539, 540, 542, 544, 552, 560, 568, 579, 587, 595, 603, 616, 623, 630, 637, 644, 650, 656, 662, 668, 674, 680, 687, 694, 700, 706, 712, 723, 730, 736, 743, 749, 755, 761, 767, 773, 779, 785, 791, 797, 810, 813, 815, 823, 826, 828, 840, 843, 846, 852, 857, 872, 880, 891, 894, 896, 902, 907, 921, 935, 938, 941, 947, 952, 960, 963, 966, 972, 976, 987, 990, 994, 1000, 1005, 1008, 1010, 1018, 1027, 1037, 1040, 1042, 1048, 1052, 1060, 1063, 1065, 1069, 1071, 1079, 1082, 1085, 1089, 1092, 1095, 1098, 1105};#endif#if YYDEBUG != 0 || defined (YYERROR_VERBOSE)static const char * const yytname[] = { "$","error","$undefined.","NUM","NEW_IDENTIFIER","BOOLVARIABLE","REALVARIABLE","NONDEFAULT_PARAMETER","DEFAULT_PARAMETER","SYSTEM","INTERFACE","IMPLEMENTATION","IF","ELSE","THEN","STATE","INPUT","OUTPUT","PARAMETER","AUX","AD","DA","CONTINUOUS","AUTOMATA","MUST","LOGIC","LINEAR","REAL","BOOL","TRUE","FALSE","EXP","SQRT","SIN","COS","LOG","\"<=\"","\">=\"","\"<-\"","\"->\"","\"<->\"","\"||\"","\"&&\"","'='","'-'","'+'","'*'","'/'","'^'","UNARY","'|'","'&'","'!'","'~'","SCAL","'{'","'}'","';'","','","'('","')'","'['","']'","system","interface","interface_list_t","interface_item_t","implementation_t","section_list_t","section_t","state_interface_t","input_interface_t","output_interface_t","parameter_interface_t","aux_impl_t","state_decl_list_t","input_decl_list_t","output_decl_list_t","parameter_decl_list_t","aux_decl_list_t","state_decl_t","input_decl_t","output_decl_t","parameter_decl_t","aux_decl_t","new_ident_t","parameter_t","state_real_ident_list_t","state_bool_ident_list_t","input_real_ident_list_t","input_bool_ident_list_t","output_real_ident_list_t","output_bool_ident_list_t","parameter_real_ident_list_t","parameter_bool_ident_list_t","parameter_real_ident_t","parameter_bool_ident_t","aux_real_ident_list_t","aux_bool_ident_list_t","real_expr_t","logic_expr_t","opt_minmaxeps_t","minmaxeps_t","opt_var_minmax_t","var_minmax_t","AD_section_t","AD_list_t","AD_item_t","DA_section_t","DA_list_t","DA_item_t","continuous_section_t","continuous_list_t","continuous_item_t","automata_section_t","automata_list_t","automata_item_t","must_section_t","must_list_t","must_item_t","must_logic_t","must_affine_t","logic_section_t","logic_list_t","logic_item_t","linear_section_t","linear_list_t","linear_item_t","output_section_t","output_list_t","output_item_t","output_affine_t","output_logic_t", NULL};#endifstatic const short yyr1[] = { 0, 63, 63, 64, 65, 65, 65, 66, 66, 66, 66, 67, 68, 68, 68, 69, 69, 69, 69, 69, 69, 69, 69, 70, 71, 72, 73, 74, 74, 75, 75, 76, 76, 77, 77, 78, 78, 79, 79, 80, 80, 81, 81, 82, 82, 83, 83, 84, 84, 85, 85, 85, 86, 86, 87, 87, 88, 88, 89, 89, 90, 90, 91, 91, 92, 92, 93, 93, 94, 94, 95, 95, 96, 96, 97, 97, 98, 98, 99, 99, 99, 99, 99, 99, 99, 99, 99, 99, 99, 99, 99, 99, 99, 99, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 100, 101, 101, 102, 103, 103, 104, 105, 105, 106, 106, 107, 107, 107, 108, 108, 109, 109, 110, 110, 111, 111, 112, 112, 113, 114, 114, 115, 115, 116, 117, 117, 118, 118, 119, 119, 120, 121, 121, 122, 122, 123, 123, 124, 125, 125, 126, 126, 127, 128, 128, 129, 129, 130, 130, 131, 132};static const short yyr2[] = { 0, 0, 6, 4, 2, 1, 0, 1, 1, 1, 1, 5, 1, 2, 0, 1, 1, 1, 1, 1, 1, 1, 1, 4, 4, 4, 4, 0, 4, 1, 2, 1, 2, 1, 2, 1, 2, 1, 2, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 1, 1, 1, 1, 1, 2, 4, 1, 3, 2, 4, 1, 3, 1, 3, 1, 3, 1, 3, 1, 3, 3, 1, 3, 3, 2, 4, 1, 3, 1, 1, 1, 4, 3, 3, 3, 3, 3, 3, 2, 4, 4, 4, 4, 4, 1, 1, 1, 3, 3, 3, 3, 3, 3, 3, 2, 2, 3, 0, 1, 7, 0, 1, 5, 3, 4, 1, 2, 7, 6, 6, 3, 4, 1, 2, 13, 10, 3, 4, 1, 2, 4, 3, 4, 1, 2, 4, 3, 4, 1, 2, 1, 1, 2, 4, 4, 3, 4, 1, 2, 4, 3, 4, 1, 2, 4, 3, 4, 1, 2, 1, 1, 4, 4};static const short yydefact[] = { 1, 0, 49, 51, 50, 0, 0, 0, 0, 6, 0, 0, 0, 0, 0, 0, 0, 5, 7, 8, 9, 10, 27, 2, 0, 0, 0, 0, 3, 4, 0, 14, 0, 0, 0, 29, 0, 0, 0, 31, 0, 0, 0, 33, 0, 0, 0, 35, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 12, 17, 18, 19, 20, 22, 15, 16, 21, 110, 0, 56, 0, 23, 30, 110, 0, 60, 0, 24, 32, 62, 0, 64, 0, 25, 34, 71, 0, 66, 0, 0, 68, 26, 36, 0, 0, 0, 37, 0, 0, 0, 0, 0, 0, 0, 0, 11, 13, 0, 54, 111, 39, 0, 40, 0, 58, 41, 0, 42, 0, 43, 0, 44, 0, 0, 45, 0, 0, 46, 0, 110, 0, 76, 0, 28, 38, 0, 0, 155, 0, 157, 159, 160, 0, 113, 0, 115, 0, 120, 0, 122, 0, 126, 0, 128, 0, 131, 0, 133, 78, 96, 80, 52, 53, 94, 95, 0, 0, 0, 0, 0, 0, 0, 0, 136, 0, 79, 0, 0, 0, 138, 141, 140, 0, 145, 0, 147, 0, 150, 0, 152, 0, 0, 110, 57, 110, 61, 63, 65, 70, 67, 72, 73, 69, 74, 47, 0, 48, 0, 0, 0, 156, 158, 0, 114, 116, 0, 121, 123, 0, 127, 129, 0, 132, 134, 0, 0, 0, 0, 0, 88, 0, 105, 104, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 142, 137, 139, 0, 146, 148, 0, 151, 153, 0, 55, 59, 110, 77, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 87, 106, 0, 0, 83, 82, 84, 85, 86, 102, 101, 103, 98, 100, 97, 99, 0, 0, 0, 75, 162, 161, 0, 0, 0, 130, 135, 90, 92, 91, 89, 93, 81, 143, 144, 149, 154, 112, 0, 0, 0, 118, 0, 0, 119, 0, 0, 117, 107, 0, 0, 108, 0, 0, 0, 0, 107, 125, 0, 0, 109, 0, 124, 0, 0, 0};static const short yydefgoto[] = { 339, 8, 16, 17, 11, 57, 58, 18, 19, 20, 21, 31, 34, 38, 42, 46, 95, 35, 39, 43, 47, 96, 85, 175, 68, 70, 74, 76, 80, 82, 86, 89, 87, 90, 130, 132, 176, 177, 326, 327, 108, 109, 59, 144, 145, 60, 148, 149, 61, 152, 153, 62, 156, 157, 63, 178, 179, 180, 181, 64, 184, 185, 65, 188, 189, 66, 138, 139, 140, 141};static const short yypact[] = { -7, 50,-32768,-32768,-32768, -31, 52, -28, 58, 312, 9, 19, 24, 27, 48, 55, 83,-32768,-32768,-32768,-32768,-32768, 89,-32768, 63, 87, 123, 126,-32768,-32768, 67, 526, 50, 50, 60,-32768, 50, 50, 85,-32768, 50, 50, 131,-32768, 50, 50, 177,-32768, 142, 69, 81, 108, 112, 122, 139, 141, 151, 263,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768, 79, 128,-32768, 132,-32768,-32768, 79, 152,-32768, 158,-32768,-32768,-32768, 189,-32768, 216,-32768,-32768, 99, 267,-32768, 170, 285,-32768,-32768,-32768, 50, 50, 180,-32768, 5, 10, 22, 30, 14, 0, 15, 36,-32768,-32768, 6,-32768,-32768,-32768, 50,-32768, 50,-32768,-32768, 50,-32768, 50,-32768, 50,-32768, 50, 6,-32768, 50, 317,-32768, 50, 79, 295,-32768, 297,-32768,-32768, 174, 176,-32768, 12,-32768,-32768,-32768, 182,-32768, 16,-32768, 191,-32768, 37,-32768, 205,-32768, 40,-32768, 222,-32768, 17,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768, 164, 173, 183, 219, 236, 6, -4, -4,-32768, 168,-32768, 489, 294, 223,-32768,-32768,-32768, 275,-32768, 18,-32768, 277,-32768, 41,-32768, 237, 397, 79,-32768, 79,-32768,-32768,-32768, 509,-32768,-32768,-32768,-32768,-32768,-32768, 50,-32768, 50, -4, 6,-32768,-32768, 6,-32768,-32768, 259,-32768,-32768, 6,-32768,-32768, -4,-32768,-32768, 6, 6, 6, 6, 6,-32768, -4,-32768,-32768, -4, 343, 266, 6, 6, 6, 6, 6, 6, 6, -4, -4, -4, -4, -4, -4, -4,-32768,-32768,-32768, -4,-32768,-32768, 6,-32768,-32768, 6,-32768,-32768, 79,-32768, 299, 432, 494, 311, 437, 319, 360, 365, 370, 387, 392, 271,-32768,-32768, 451, 456, 80, 80, 300, 300,-32768, 53, 53, 53, 199,-32768, 199,-32768, 324, 470, 215,-32768,-32768,-32768, 6, 6, -4,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768, 338, 475, 252,-32768, 6, 310,-32768, 6, 412,-32768, 100, 6, 38,-32768, 417, 6, 314, 6, 100,-32768, 253, 316,-32768, 320,-32768, 368, 373,-32768};static const short yypgoto[] = {-32768,-32768,-32768, 362,-32768,-32768, 322,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768, 346, 354, 351, 348, 301, 44,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768, 272, 270,-32768,-32768, -107, -65, 68, 88, -69,-32768,-32768,-32768, 257,-32768,-32768, 273,-32768,-32768, 274,-32768,-32768, 268,-32768,-32768, 241,-32768,-32768,-32768,-32768, 238,-32768,-32768, 235,-32768,-32768, 289,-32768,-32768};#define YYLAST 557static const short yytable[] = { 191, 159, 1, 158, 114, 159, 160, 161, 162, 158, 135, 136, 160, 161, 162, 142, 198, 135, 136, 154, 182, 142, 154, 182, 6, 163, 164, 9, 146, 163, 164, 165, 166, 167, 168, 169, 150, 165, 166, 167, 168, 169, 186, 146, 170, 5, 150, 186, 171, 172, 170, 329, 171, 172, 2, 230, 173, 3, 4, 174, 203, 137, 7, 229, 22, 190, 143, 234, 210, 10, 155, 183, 213, 222, 254, 23, 67, 69, 147, 24, 73, 75, 25, 234, 79, 81, 151, 32, 33, 88, 32, 33, 187, 216, 330, 247, 219, 257, 12, 13, 14, 15, 265, 26, 249, 266, 231, 232, 30, 235, 27, 268, 36, 37, 36, 37, 71, 270, 271, 272, 273, 274, 48, 260, 97, 261, 240, 241, 242, 278, 279, 280, 281, 282, 283, 284, 98, 129, 131, 28, 107, 77, 123, 264, 238, 239, 240, 241, 242, 293, 40, 41, 294, 44, 45, 192, 269, 193, 40, 41, 194, 318, 195, 99, 196, 235, 197, 100, 275, 93, 94, 158, 88, 159, 160, 161, 162, 101, 285, 286, 287, 288, 289, 290, 291, 110, 111, 83, 292, 112, 113, 314, 315, 295, 102, 233, 103, 163, 164, 165, 166, 167, 168, 169, 44, 45, 104, 93, 94, 115, 116, 322, 170, 126, 324, 117, 118, 208, 328, 209, 171, 172, 332, 224, 334, 212, 158, 174, 159, 160, 161, 162, 225, 91, 215, 316, 133, 243, 244, 245, 158, 247, 226, 160, 161, 162, 119, 120, 218, 262, 249, 263, 163, 164, 165, 166, 167, 168, 169, 238, 239, 240, 241, 242, 233, 221, 321, 170, 165, 166, 167, 168, 169, 121, 122, 171, 172, 313, 227, 251, 49, 170, 174, 50, 51, 52, 53, 54, 55, 56, 243, 244, 245, 246, 247, 228, 190, 238, 239, 240, 241, 242, 248, 249, 243, 244, 245, 246, 247, 243, 244, 245, 246, 247, 267, 336, 248, 249, 253, 105, 256, 248, 249, 300, 124, 125, 277, 12, 13, 14, 15, 308, 243, 244, 245, 246, 247, 243, 244, 245, 246, 247, 127, 128, 248, 249, 200, 201, 242, 248, 249, 250, 204, 205, 206, 207, 296, 243, 244, 245, 246, 247, 243, 244, 245, 246, 247, 323, 340, 248, 249, 333, 337, 341, 248, 249, 302, 338, 29, 106, 72, 311, 238, 239, 240, 241, 242, 238, 239, 240, 241, 242, 78, 84, 92, 317, 134, 199, 202, 318, 335, 214, 319, 276, 238, 239, 240, 241, 242, 238, 239, 240, 241, 242, 238, 239, 240, 241, 242, 252, 303, 217, 255, 258, 223, 304, 220, 211, 0, 0, 305, 238, 239, 240, 241, 242, 238, 239, 240, 241, 242, 238, 239, 240, 241, 242, 0, 306, 0, 0, 0, 0, 307, 0, 0, 259, 238, 239, 240, 241, 242, 238, 239, 240, 241, 242, 0, 0, 0, 0, 325, 0, 0, 0, 0, 331, 238, 239, 240, 241, 242, 238, 239, 240, 241, 242, 0, 0, 0, 297, 0, 0, 0, 0, 301, 238, 239, 240, 241, 242, 238, 239, 240, 241, 242, 0, 0, 0, 309, 0, 0, 0, 0, 310, 238, 239, 240, 241, 242, 238, 239, 240, 241, 242, 0, 236, 237, 312, 0, 0, 298, 299, 320, 238, 239, 240, 241, 242, 238, 239, 240, 241, 242, 49, 0, 0, 50, 51, 52, 53, 54, 55, 56, 238, 239, 240, 241, 242};static const short yycheck[] = { 107, 5, 9, 3, 73, 5, 6, 7, 8, 3, 5, 6, 6, 7, 8, 5, 123, 5, 6, 5, 5, 5, 5, 5, 55, 29, 30, 55, 6, 29, 30, 31, 32, 33, 34, 35, 6, 31, 32, 33, 34, 35, 6, 6, 44, 1, 6, 6, 52, 53, 44, 13, 52, 53, 4, 59, 56, 7, 8, 59, 129, 56, 10, 170, 55, 59, 56, 174, 56, 11, 56, 56, 56, 56, 56, 56, 32, 33, 56, 55, 36, 37, 55, 190, 40, 41, 56, 27, 28, 45, 27, 28, 56, 56, 56, 42, 56, 56, 15, 16, 17, 18, 209, 55, 51, 212, 171, 172, 19, 174, 55, 218, 27, 28, 27, 28, 56, 224, 225, 226, 227, 228, 55, 192, 55, 194, 46, 47, 48, 236, 237, 238, 239, 240, 241, 242, 55, 93, 94, 56, 61, 56, 43, 208, 44, 45, 46, 47, 48, 256, 27, 28, 259, 27, 28, 111, 221, 113, 27, 28, 116, 61, 118, 55, 120, 230, 122, 55, 233, 27, 28, 3, 128, 5, 6, 7, 8, 55, 243, 244, 245, 246, 247, 248, 249, 57, 58, 56, 253, 57, 58, 298, 299, 262, 55, 27, 55, 29, 30, 31, 32, 33, 34, 35, 27, 28, 55, 27, 28, 57, 58, 318, 44, 43, 321, 57, 58, 43, 325, 43, 52, 53, 329, 59, 331, 43, 3, 59, 5, 6, 7, 8, 59, 56, 43, 300, 56, 38, 39, 40, 3, 42, 59, 6, 7, 8, 57, 58, 43, 205, 51, 207, 29, 30, 31, 32, 33, 34, 35, 44, 45, 46, 47, 48, 27, 43, 14, 44, 31, 32, 33, 34, 35, 57, 58, 52, 53, 62, 59, 56, 17, 44, 59, 20, 21, 22, 23, 24, 25, 26, 38, 39, 40, 41, 42, 59, 59, 44, 45, 46, 47, 48, 50, 51, 38, 39, 40, 41, 42, 38, 39, 40, 41, 42, 55, 62, 50, 51, 43, 56, 43, 50, 51, 12, 57, 58, 60, 15, 16, 17, 18, 60, 38, 39, 40, 41, 42, 38, 39, 40, 41, 42, 57, 58, 50, 51, 29, 30, 48, 50, 51, 57, 57, 58, 57, 58, 57, 38, 39, 40, 41, 42, 38, 39, 40, 41, 42, 57, 0, 50, 51, 57, 56, 0, 50, 51, 57, 57, 16, 57, 34, 57, 44, 45, 46, 47, 48, 44, 45, 46, 47, 48, 38, 42, 46, 57, 95, 125, 128, 61, 332, 144, 314, 60, 44, 45, 46, 47, 48, 44, 45, 46, 47, 48, 44, 45, 46, 47, 48, 178, 60, 148, 184, 188, 156, 60, 152, 138, -1, -1, 60, 44, 45, 46, 47, 48, 44, 45, 46, 47, 48, 44, 45, 46, 47, 48, -1, 60, -1, -1, -1, -1, 60, -1, -1, 58, 44, 45, 46, 47, 48, 44, 45, 46, 47, 48, -1, -1, -1, -1, 58, -1, -1, -1, -1, 58, 44, 45, 46, 47, 48, 44, 45, 46, 47, 48, -1, -1, -1, 57, -1, -1, -1, -1, 57, 44, 45, 46, 47, 48, 44, 45, 46, 47, 48, -1, -1, -1, 57, -1, -1, -1, -1, 57, 44, 45, 46, 47, 48, 44, 45, 46, 47, 48, -1, 36, 37, 57, -1, -1, 36, 37, 57, 44, 45, 46, 47, 48, 44, 45, 46, 47, 48, 17, -1, -1, 20, 21, 22, 23, 24, 25, 26, 44, 45, 46, 47, 48};#define YYPURE 1/* -*-C-*- Note some compilers choke on comments on `#line' lines. */#line 3 "/usr/share/bison.simple"/* This file comes from bison-1.28. *//* Skeleton output parser for bison, Copyright (C) 1984, 1989, 1990 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. *//* This is the parser code that is written into each bison parser when the %semantic_parser declaration is not specified in the grammar. It was written by Richard Stallman by simplifying the hairy parser used when %semantic_parser is specified. */#ifndef YYSTACK_USE_ALLOCA#ifdef alloca#define YYSTACK_USE_ALLOCA#else /* alloca not defined */#ifdef __GNUC__#define YYSTACK_USE_ALLOCA#define alloca __builtin_alloca#else /* not GNU C. */#if (!defined (__STDC__) && defined (sparc)) || defined (__sparc__) || defined (__sparc) || defined (__sgi) || (defined (__sun) && defined (__i386))#define YYSTACK_USE_ALLOCA#include <alloca.h>#else /* not sparc *//* We think this test detects Watcom and Microsoft C. *//* This used to test MSDOS, but that is a bad idea since that symbol is in the user namespace. */#if (defined (_MSDOS) || defined (_MSDOS_)) && !defined (__TURBOC__)#if 0 /* No need for malloc.h, which pollutes the namespace; instead, just don't use alloca. */#include <malloc.h>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -