/* A Bison parser, made from asn1p_y.y by GNU Bison version 1.28 */ #define YYBISON 1 /* Identify Bison output. */ #define yyparse asn1p_parse #define yylex asn1p_lex #define yyerror asn1p_error #define yylval asn1p_lval #define yychar asn1p_char #define yydebug asn1p_debug #define yynerrs asn1p_nerrs #define TOK_PPEQ 257 #define TOK_opaque 258 #define TOK_bstring 259 #define TOK_cstring 260 #define TOK_hstring 261 #define TOK_identifier 262 #define TOK_number 263 #define TOK_tuple 264 #define TOK_quadruple 265 #define TOK_number_negative 266 #define TOK_typereference 267 #define TOK_capitalreference 268 #define TOK_typefieldreference 269 #define TOK_valuefieldreference 270 #define TOK_ABSENT 271 #define TOK_ABSTRACT_SYNTAX 272 #define TOK_ALL 273 #define TOK_ANY 274 #define TOK_APPLICATION 275 #define TOK_AUTOMATIC 276 #define TOK_BEGIN 277 #define TOK_BIT 278 #define TOK_BMPString 279 #define TOK_BOOLEAN 280 #define TOK_BY 281 #define TOK_CHARACTER 282 #define TOK_CHOICE 283 #define TOK_CLASS 284 #define TOK_COMPONENT 285 #define TOK_COMPONENTS 286 #define TOK_CONSTRAINED 287 #define TOK_CONTAINING 288 #define TOK_DEFAULT 289 #define TOK_DEFINITIONS 290 #define TOK_DEFINED 291 #define TOK_EMBEDDED 292 #define TOK_ENCODED 293 #define TOK_ENCODING_CONTROL 294 #define TOK_END 295 #define TOK_ENUMERATED 296 #define TOK_EXPLICIT 297 #define TOK_EXPORTS 298 #define TOK_EXTENSIBILITY 299 #define TOK_EXTERNAL 300 #define TOK_FALSE 301 #define TOK_FROM 302 #define TOK_GeneralizedTime 303 #define TOK_GeneralString 304 #define TOK_GraphicString 305 #define TOK_IA5String 306 #define TOK_IDENTIFIER 307 #define TOK_IMPLICIT 308 #define TOK_IMPLIED 309 #define TOK_IMPORTS 310 #define TOK_INCLUDES 311 #define TOK_INSTANCE 312 #define TOK_INSTRUCTIONS 313 #define TOK_INTEGER 314 #define TOK_ISO646String 315 #define TOK_MAX 316 #define TOK_MIN 317 #define TOK_MINUS_INFINITY 318 #define TOK_NULL 319 #define TOK_NumericString 320 #define TOK_OBJECT 321 #define TOK_ObjectDescriptor 322 #define TOK_OCTET 323 #define TOK_OF 324 #define TOK_OPTIONAL 325 #define TOK_PATTERN 326 #define TOK_PDV 327 #define TOK_PLUS_INFINITY 328 #define TOK_PRESENT 329 #define TOK_PrintableString 330 #define TOK_PRIVATE 331 #define TOK_REAL 332 #define TOK_RELATIVE_OID 333 #define TOK_SEQUENCE 334 #define TOK_SET 335 #define TOK_SIZE 336 #define TOK_STRING 337 #define TOK_SYNTAX 338 #define TOK_T61String 339 #define TOK_TAGS 340 #define TOK_TeletexString 341 #define TOK_TRUE 342 #define TOK_TYPE_IDENTIFIER 343 #define TOK_UNIQUE 344 #define TOK_UNIVERSAL 345 #define TOK_UniversalString 346 #define TOK_UTCTime 347 #define TOK_UTF8String 348 #define TOK_VideotexString 349 #define TOK_VisibleString 350 #define TOK_WITH 351 #define TOK_EXCEPT 352 #define TOK_INTERSECTION 353 #define TOK_UNION 354 #define TOK_TwoDots 355 #define TOK_ThreeDots 356 #line 1 "asn1p_y.y" #include #include #include #include #include #include "asn1parser.h" #define YYPARSE_PARAM param #define YYPARSE_PARAM_TYPE void ** #define YYERROR_VERBOSE int yylex(void); int yyerror(const char *msg); #ifdef YYBYACC int yyparse(void **param); /* byacc does not produce a prototype */ #endif void asn1p_lexer_hack_push_opaque_state(void); void asn1p_lexer_hack_enable_with_syntax(void); void asn1p_lexer_hack_push_encoding_control(void); #define yylineno asn1p_lineno extern int asn1p_lineno; /* * Process directives as */ extern int asn1p_as_pointer; /* * This temporary variable is used to solve the shortcomings of 1-lookahead * parser. */ static struct AssignedIdentifier *saved_aid; static asn1p_value_t *_convert_bitstring2binary(char *str, int base); static void _fixup_anonymous_identifier(asn1p_expr_t *expr); #define checkmem(ptr) do { \ if(!(ptr)) \ return yyerror("Memory failure"); \ } while(0) #define CONSTRAINT_INSERT(root, constr_type, arg1, arg2) do { \ if(arg1->type != constr_type) { \ int __ret; \ root = asn1p_constraint_new(yylineno); \ checkmem(root); \ root->type = constr_type; \ __ret = asn1p_constraint_insert(root, \ arg1); \ checkmem(__ret == 0); \ } else { \ root = arg1; \ } \ if(arg2) { \ int __ret \ = asn1p_constraint_insert(root, arg2); \ checkmem(__ret == 0); \ } \ } while(0) #line 72 "asn1p_y.y" typedef union { asn1p_t *a_grammar; asn1p_module_flags_e a_module_flags; asn1p_module_t *a_module; asn1p_expr_type_e a_type; /* ASN.1 Type */ asn1p_expr_t *a_expr; /* Constructed collection */ asn1p_constraint_t *a_constr; /* Constraint */ enum asn1p_constraint_type_e a_ctype;/* Constraint type */ asn1p_xports_t *a_xports; /* IMports/EXports */ struct AssignedIdentifier a_aid; /* Assigned Identifier */ asn1p_oid_t *a_oid; /* Object Identifier */ asn1p_oid_arc_t a_oid_arc; /* Single OID's arc */ struct asn1p_type_tag_s a_tag; /* A tag */ asn1p_ref_t *a_ref; /* Reference to custom type */ asn1p_wsyntx_t *a_wsynt; /* WITH SYNTAX contents */ asn1p_wsyntx_chunk_t *a_wchunk; /* WITH SYNTAX chunk */ struct asn1p_ref_component_s a_refcomp; /* Component of a reference */ asn1p_value_t *a_value; /* Number, DefinedValue, etc */ struct asn1p_param_s a_parg; /* A parameter argument */ asn1p_paramlist_t *a_plist; /* A pargs list */ struct asn1p_expr_marker_s a_marker; /* OPTIONAL/DEFAULT */ enum asn1p_constr_pres_e a_pres; /* PRESENT/ABSENT/OPTIONAL */ asn1c_integer_t a_int; char *tv_str; struct { char *buf; int len; } tv_opaque; struct { char *name; struct asn1p_type_tag_s tag; } tv_nametag; } YYSTYPE; #include #ifndef __cplusplus #ifndef __STDC__ #define const #endif #endif #define YYFINAL 431 #define YYFLAG -32768 #define YYNTBASE 118 #define YYTRANSLATE(x) ((unsigned)(x) <= 356 ? yytranslate[x] : 223) static const char yytranslate[] = { 0, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 112, 2, 2, 2, 2, 2, 2, 107, 108, 2, 2, 110, 2, 113, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 111, 109, 114, 2, 2, 2, 115, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 116, 2, 117, 99, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 105, 101, 106, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 1, 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, 100, 102, 103, 104 }; #if YYDEBUG != 0 static const short yyprhs[] = { 0, 0, 2, 4, 7, 16, 17, 19, 23, 26, 28, 31, 33, 38, 40, 41, 43, 45, 48, 51, 54, 57, 60, 63, 64, 66, 68, 71, 73, 75, 77, 79, 81, 82, 86, 88, 92, 95, 97, 100, 101, 103, 108, 110, 114, 116, 120, 122, 126, 130, 133, 135, 139, 141, 145, 147, 148, 155, 157, 159, 164, 168, 172, 179, 181, 185, 187, 191, 195, 199, 201, 205, 207, 209, 210, 212, 214, 218, 222, 225, 229, 231, 233, 237, 240, 242, 244, 250, 251, 253, 255, 259, 262, 267, 272, 273, 275, 276, 283, 285, 288, 290, 292, 294, 298, 302, 306, 307, 310, 312, 317, 322, 327, 334, 341, 343, 348, 353, 355, 359, 361, 365, 369, 373, 375, 379, 381, 385, 387, 389, 391, 393, 398, 402, 403, 407, 409, 411, 413, 415, 417, 419, 421, 423, 425, 429, 431, 433, 435, 437, 440, 442, 444, 446, 448, 451, 454, 456, 458, 461, 464, 466, 468, 470, 472, 474, 477, 479, 482, 484, 486, 488, 490, 492, 494, 496, 498, 500, 502, 504, 506, 508, 510, 512, 514, 516, 518, 520, 521, 523, 525, 530, 534, 539, 541, 545, 551, 553, 557, 561, 565, 569, 574, 578, 580, 582, 586, 590, 594, 598, 600, 602, 603, 609, 611, 614, 617, 621, 623, 625, 627, 629, 631, 633, 635, 637, 641, 647, 649, 653, 655, 659, 660, 662, 664, 666, 668, 670, 672, 676, 681, 683, 687, 690, 694, 696, 700, 701, 703, 705, 708, 711, 715, 717, 721, 723, 728, 733, 735, 737, 739, 741, 742, 744, 747, 752, 753, 755, 757, 759, 760, 762, 764, 766, 768, 770, 771, 773 }; static const short yyrhs[] = { 119, 0, 120, 0, 119, 120, 0, 219, 121, 36, 125, 3, 23, 128, 41, 0, 0, 122, 0, 105, 123, 106, 0, 105, 106, 0, 124, 0, 123, 124, 0, 222, 0, 222, 107, 9, 108, 0, 9, 0, 0, 126, 0, 127, 0, 126, 127, 0, 43, 86, 0, 54, 86, 0, 22, 86, 0, 45, 55, 0, 14, 59, 0, 0, 129, 0, 130, 0, 129, 130, 0, 132, 0, 138, 0, 144, 0, 173, 0, 141, 0, 0, 40, 14, 131, 0, 182, 0, 56, 133, 109, 0, 56, 48, 0, 135, 0, 133, 135, 0, 0, 122, 0, 136, 48, 219, 134, 0, 137, 0, 136, 110, 137, 0, 219, 0, 219, 105, 106, 0, 222, 0, 44, 139, 109, 0, 44, 19, 109, 0, 44, 109, 0, 140, 0, 139, 110, 140, 0, 219, 0, 219, 105, 106, 0, 222, 0, 0, 219, 143, 3, 105, 142, 178, 0, 168, 0, 179, 0, 219, 3, 214, 89, 0, 219, 3, 164, 0, 219, 3, 154, 0, 219, 105, 145, 106, 3, 164, 0, 146, 0, 145, 110, 146, 0, 219, 0, 219, 111, 222, 0, 219, 111, 219, 0, 179, 111, 222, 0, 148, 0, 147, 110, 148, 0, 164, 0, 222, 0, 0, 150, 0, 151, 0, 150, 110, 151, 0, 222, 164, 208, 0, 164, 208, 0, 32, 70, 164, 0, 163, 0, 153, 0, 152, 110, 153, 0, 222, 164, 0, 163, 0, 164, 0, 30, 105, 156, 106, 158, 0, 0, 90, 0, 157, 0, 156, 110, 157, 0, 171, 208, 0, 171, 164, 155, 208, 0, 171, 171, 155, 208, 0, 0, 159, 0, 0, 97, 84, 105, 160, 161, 106, 0, 162, 0, 161, 162, 0, 4, 0, 171, 0, 104, 0, 104, 112, 176, 0, 104, 112, 213, 0, 214, 166, 186, 0, 0, 165, 167, 0, 181, 0, 29, 105, 152, 106, 0, 80, 105, 149, 106, 0, 81, 105, 149, 106, 0, 80, 186, 70, 221, 214, 166, 0, 81, 186, 70, 221, 214, 166, 0, 20, 0, 20, 37, 27, 222, 0, 219, 105, 147, 106, 0, 168, 0, 58, 70, 168, 0, 13, 0, 13, 113, 219, 0, 220, 113, 219, 0, 13, 113, 222, 0, 220, 0, 220, 113, 169, 0, 170, 0, 169, 113, 170, 0, 172, 0, 172, 0, 15, 0, 16, 0, 222, 143, 3, 174, 0, 222, 111, 174, 0, 0, 105, 175, 178, 0, 65, 0, 47, 0, 88, 0, 5, 0, 7, 0, 177, 0, 213, 0, 176, 0, 222, 0, 219, 113, 222, 0, 6, 0, 10, 0, 11, 0, 4, 0, 178, 4, 0, 26, 0, 65, 0, 78, 0, 180, 0, 69, 83, 0, 67, 53, 0, 79, 0, 46, 0, 38, 73, 0, 28, 83, 0, 93, 0, 49, 0, 182, 0, 60, 0, 42, 0, 24, 83, 0, 179, 0, 180, 210, 0, 25, 0, 50, 0, 51, 0, 52, 0, 61, 0, 66, 0, 76, 0, 85, 0, 87, 0, 92, 0, 94, 0, 95, 0, 96, 0, 68, 0, 101, 0, 102, 0, 99, 0, 100, 0, 98, 0, 0, 187, 0, 188, 0, 82, 107, 189, 108, 0, 107, 189, 108, 0, 188, 107, 189, 108, 0, 190, 0, 190, 110, 104, 0, 190, 110, 104, 110, 190, 0, 191, 0, 19, 98, 191, 0, 190, 183, 191, 0, 190, 184, 191, 0, 191, 185, 191, 0, 194, 107, 189, 108, 0, 107, 189, 108, 0, 195, 0, 196, 0, 195, 193, 195, 0, 63, 193, 195, 0, 195, 193, 62, 0, 63, 193, 62, 0, 202, 0, 197, 0, 0, 33, 27, 105, 192, 178, 0, 103, 0, 103, 114, 0, 114, 103, 0, 114, 103, 114, 0, 82, 0, 48, 0, 47, 0, 88, 0, 213, 0, 177, 0, 222, 0, 219, 0, 97, 31, 188, 0, 97, 32, 105, 198, 106, 0, 199, 0, 198, 110, 199, 0, 104, 0, 222, 186, 200, 0, 0, 201, 0, 75, 0, 17, 0, 71, 0, 203, 0, 204, 0, 105, 219, 106, 0, 203, 105, 205, 106, 0, 206, 0, 205, 110, 206, 0, 115, 207, 0, 115, 113, 207, 0, 222, 0, 207, 113, 222, 0, 0, 209, 0, 71, 0, 35, 174, 0, 105, 106, 0, 105, 211, 106, 0, 212, 0, 211, 110, 212, 0, 222, 0, 222, 107, 213, 108, 0, 222, 107, 176, 108, 0, 213, 0, 104, 0, 9, 0, 12, 0, 0, 215, 0, 216, 218, 0, 116, 217, 9, 117, 0, 0, 91, 0, 21, 0, 77, 0, 0, 54, 0, 43, 0, 13, 0, 14, 0, 14, 0, 0, 222, 0, 8, 0 }; #endif #if YYDEBUG != 0 static const short yyrline[] = { 0, 320, 326, 332, 348, 373, 375, 378, 382, 387, 394, 402, 407, 411, 420, 422, 430, 434, 442, 446, 449, 452, 456, 476, 478, 486, 490, 522, 526, 535, 542, 555, 562, 564, 576, 589, 600, 605, 611, 617, 619, 622, 633, 639, 645, 652, 658, 666, 670, 673, 680, 686, 692, 699, 705, 714, 716, 725, 733, 747, 759, 765, 781, 790, 800, 810, 815, 822, 829, 839, 845, 851, 855, 878, 880, 882, 888, 894, 902, 908, 915, 920, 926, 932, 938, 941, 947, 957, 959, 962, 970, 976, 985, 991, 1008, 1010, 1015, 1019, 1024, 1029, 1035, 1039, 1050, 1059, 1068, 1079, 1101, 1108, 1127, 1131, 1137, 1143, 1149, 1159, 1169, 1175, 1189, 1213, 1220, 1234, 1243, 1253, 1263, 1273, 1281, 1302, 1311, 1320, 1321, 1323, 1330, 1342, 1352, 1360, 1360, 1365, 1370, 1375, 1380, 1384, 1388, 1391, 1394, 1399, 1411, 1428, 1433, 1438, 1471, 1481, 1495, 1497, 1498, 1499, 1500, 1501, 1502, 1503, 1504, 1505, 1506, 1507, 1508, 1514, 1516, 1517, 1520, 1527, 1539, 1541, 1545, 1549, 1550, 1551, 1552, 1553, 1557, 1558, 1559, 1560, 1564, 1565, 1572, 1572, 1573, 1573, 1574, 1576, 1578, 1583, 1587, 1596, 1600, 1605, 1609, 1615, 1625, 1629, 1632, 1635, 1638, 1643, 1652, 1660, 1666, 1672, 1679, 1687, 1695, 1704, 1707, 1710, 1711, 1721, 1723, 1724, 1725, 1728, 1732, 1737, 1743, 1748, 1751, 1754, 1767, 1781, 1785, 1790, 1794, 1799, 1806, 1819, 1821, 1824, 1828, 1831, 1836, 1840, 1848, 1863, 1869, 1876, 1889, 1901, 1916, 1920, 1937, 1942, 1945, 1950, 1972, 1977, 1982, 1988, 1994, 2002, 2010, 2018, 2025, 2035, 2040, 2070, 2072, 2075, 2082, 2088, 2090, 2091, 2092, 2095, 2097, 2098, 2101, 2106, 2113, 2120, 2122, 2127 }; #endif #if YYDEBUG != 0 || defined (YYERROR_VERBOSE) static const char * const yytname[] = { "$","error","$undefined.","TOK_PPEQ", "TOK_opaque","TOK_bstring","TOK_cstring","TOK_hstring","TOK_identifier","TOK_number", "TOK_tuple","TOK_quadruple","TOK_number_negative","TOK_typereference","TOK_capitalreference", "TOK_typefieldreference","TOK_valuefieldreference","TOK_ABSENT","TOK_ABSTRACT_SYNTAX", "TOK_ALL","TOK_ANY","TOK_APPLICATION","TOK_AUTOMATIC","TOK_BEGIN","TOK_BIT", "TOK_BMPString","TOK_BOOLEAN","TOK_BY","TOK_CHARACTER","TOK_CHOICE","TOK_CLASS", "TOK_COMPONENT","TOK_COMPONENTS","TOK_CONSTRAINED","TOK_CONTAINING","TOK_DEFAULT", "TOK_DEFINITIONS","TOK_DEFINED","TOK_EMBEDDED","TOK_ENCODED","TOK_ENCODING_CONTROL", "TOK_END","TOK_ENUMERATED","TOK_EXPLICIT","TOK_EXPORTS","TOK_EXTENSIBILITY", "TOK_EXTERNAL","TOK_FALSE","TOK_FROM","TOK_GeneralizedTime","TOK_GeneralString", "TOK_GraphicString","TOK_IA5String","TOK_IDENTIFIER","TOK_IMPLICIT","TOK_IMPLIED", "TOK_IMPORTS","TOK_INCLUDES","TOK_INSTANCE","TOK_INSTRUCTIONS","TOK_INTEGER", "TOK_ISO646String","TOK_MAX","TOK_MIN","TOK_MINUS_INFINITY","TOK_NULL","TOK_NumericString", "TOK_OBJECT","TOK_ObjectDescriptor","TOK_OCTET","TOK_OF","TOK_OPTIONAL","TOK_PATTERN", "TOK_PDV","TOK_PLUS_INFINITY","TOK_PRESENT","TOK_PrintableString","TOK_PRIVATE", "TOK_REAL","TOK_RELATIVE_OID","TOK_SEQUENCE","TOK_SET","TOK_SIZE","TOK_STRING", "TOK_SYNTAX","TOK_T61String","TOK_TAGS","TOK_TeletexString","TOK_TRUE","TOK_TYPE_IDENTIFIER", "TOK_UNIQUE","TOK_UNIVERSAL","TOK_UniversalString","TOK_UTCTime","TOK_UTF8String", "TOK_VideotexString","TOK_VisibleString","TOK_WITH","TOK_EXCEPT","'^'","TOK_INTERSECTION", "'|'","TOK_UNION","TOK_TwoDots","TOK_ThreeDots","'{'","'}'","'('","')'","';'", "','","':'","'!'","'.'","'<'","'@'","'['","']'","ParsedGrammar","ModuleList", "ModuleSpecification","optObjectIdentifier","ObjectIdentifier","ObjectIdentifierBody", "ObjectIdentifierElement","optModuleSpecificationFlags","ModuleSpecificationFlags", "ModuleSpecificationFlag","optModuleSpecificationBody","ModuleSpecificationBody", "ModuleSpecificationElement","@1","ImportsDefinition","ImportsBundleSet","AssignedIdentifier", "ImportsBundle","ImportsList","ImportsElement","ExportsDefinition","ExportsBody", "ExportsElement","ValueSetDefinition","@2","DefinedTypeRef","DataTypeReference", "ParameterArgumentList","ParameterArgumentName","ActualParameterList","ActualParameter", "optComponentTypeLists","ComponentTypeLists","ComponentType","AlternativeTypeLists", "AlternativeType","ClassDeclaration","optUnique","ClassFieldList","ClassField", "optWithSyntax","WithSyntax","@3","WithSyntaxFormat","WithSyntaxFormatToken", "ExtensionAndException","Type","NSTD_IndirectMarker","TypeDeclaration","TypeDeclarationSet", "ComplexTypeReference","ComplexTypeReferenceAmpList","ComplexTypeReferenceElement", "ClassFieldIdentifier","ClassFieldName","ValueDefinition","Value","@4","DefinedValue", "RestrictedCharacterStringValue","Opaque","BasicTypeId","BasicTypeId_UniverationCompatible", "BasicType","BasicString","Union","Intersection","Except","optConstraints","Constraints", "SetOfConstraints","ElementSetSpecs","ElementSetSpec","ConstraintSubtypeElement", "@5","ConstraintRangeSpec","ConstraintSpec","SingleValue","ContainedSubtype", "InnerTypeConstraint","WithComponentsList","WithComponentsElement","optPresenceConstraint", "PresenceConstraint","TableConstraint","SimpleTableConstraint","ComponentRelationConstraint", "AtNotationList","AtNotationElement","ComponentIdList","optMarker","Marker", "UniverationDefinition","UniverationList","UniverationElement","SignedNumber", "optTag","Tag","TagTypeValue","TagClass","TagPlicit","TypeRefName","ObjectClassReference", "optIdentifier","Identifier", NULL }; #endif static const short yyr1[] = { 0, 118, 119, 119, 120, 121, 121, 122, 122, 123, 123, 124, 124, 124, 125, 125, 126, 126, 127, 127, 127, 127, 127, 128, 128, 129, 129, 130, 130, 130, 130, 130, 131, 130, 130, 132, 132, 133, 133, 134, 134, 135, 136, 136, 137, 137, 137, 138, 138, 138, 139, 139, 140, 140, 140, 142, 141, 143, 143, 144, 144, 144, 144, 145, 145, 146, 146, 146, 146, 147, 147, 148, 148, 149, 149, 150, 150, 151, 151, 151, 151, 152, 152, 153, 153, 153, 154, 155, 155, 156, 156, 157, 157, 157, 158, 158, 160, 159, 161, 161, 162, 162, 163, 163, 163, 164, 165, 166, 167, 167, 167, 167, 167, 167, 167, 167, 167, 167, 167, 168, 168, 168, 168, 168, 168, 169, 169, 170, 171, 172, 172, 173, 174, 175, 174, 174, 174, 174, 174, 174, 174, 174, 174, 176, 176, 177, 177, 177, 178, 178, 179, 179, 179, 179, 179, 179, 179, 179, 179, 179, 179, 179, 179, 180, 180, 180, 181, 181, 182, 182, 182, 182, 182, 182, 182, 182, 182, 182, 182, 182, 182, 182, 183, 183, 184, 184, 185, 186, 186, 187, 187, 188, 188, 189, 189, 189, 190, 190, 190, 190, 190, 191, 191, 191, 191, 191, 191, 191, 191, 191, 191, 192, 191, 193, 193, 193, 193, 194, 194, 195, 195, 195, 195, 195, 196, 197, 197, 198, 198, 199, 199, 200, 200, 201, 201, 201, 202, 202, 203, 204, 205, 205, 206, 206, 207, 207, 208, 208, 209, 209, 210, 210, 211, 211, 212, 212, 212, 212, 212, 213, 213, 214, 214, 215, 216, 217, 217, 217, 217, 218, 218, 218, 219, 219, 220, 221, 221, 222 }; static const short yyr2[] = { 0, 1, 1, 2, 8, 0, 1, 3, 2, 1, 2, 1, 4, 1, 0, 1, 1, 2, 2, 2, 2, 2, 2, 0, 1, 1, 2, 1, 1, 1, 1, 1, 0, 3, 1, 3, 2, 1, 2, 0, 1, 4, 1, 3, 1, 3, 1, 3, 3, 2, 1, 3, 1, 3, 1, 0, 6, 1, 1, 4, 3, 3, 6, 1, 3, 1, 3, 3, 3, 1, 3, 1, 1, 0, 1, 1, 3, 3, 2, 3, 1, 1, 3, 2, 1, 1, 5, 0, 1, 1, 3, 2, 4, 4, 0, 1, 0, 6, 1, 2, 1, 1, 1, 3, 3, 3, 0, 2, 1, 4, 4, 4, 6, 6, 1, 4, 4, 1, 3, 1, 3, 3, 3, 1, 3, 1, 3, 1, 1, 1, 1, 4, 3, 0, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 1, 2, 1, 1, 1, 1, 2, 2, 1, 1, 2, 2, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 4, 3, 4, 1, 3, 5, 1, 3, 3, 3, 3, 4, 3, 1, 1, 3, 3, 3, 3, 1, 1, 0, 5, 1, 2, 2, 3, 1, 1, 1, 1, 1, 1, 1, 1, 3, 5, 1, 3, 1, 3, 0, 1, 1, 1, 1, 1, 1, 3, 4, 1, 3, 2, 3, 1, 3, 0, 1, 1, 2, 2, 3, 1, 3, 1, 4, 4, 1, 1, 1, 1, 0, 1, 2, 4, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1 }; static const short yydefact[] = { 0, 272, 273, 1, 2, 5, 3, 0, 0, 6, 277, 13, 8, 0, 9, 11, 14, 7, 10, 0, 0, 0, 0, 0, 0, 0, 15, 16, 0, 22, 20, 18, 21, 19, 0, 17, 12, 23, 168, 0, 0, 169, 170, 171, 0, 172, 173, 181, 174, 175, 176, 177, 178, 179, 180, 0, 24, 25, 27, 28, 31, 29, 30, 34, 0, 0, 32, 0, 49, 0, 50, 52, 54, 36, 0, 37, 0, 42, 44, 46, 4, 26, 261, 119, 274, 0, 150, 0, 0, 164, 157, 161, 163, 151, 0, 0, 152, 156, 160, 0, 0, 57, 58, 153, 162, 123, 0, 33, 48, 47, 0, 0, 35, 38, 0, 0, 0, 0, 265, 61, 60, 106, 262, 269, 0, 165, 159, 158, 155, 154, 0, 63, 0, 65, 0, 0, 0, 51, 53, 39, 43, 45, 0, 267, 268, 266, 0, 59, 0, 187, 271, 270, 263, 120, 122, 0, 0, 0, 0, 55, 129, 130, 124, 125, 127, 121, 138, 145, 139, 259, 146, 147, 260, 136, 135, 137, 133, 131, 142, 140, 141, 0, 143, 40, 41, 0, 89, 261, 128, 0, 119, 274, 114, 0, 0, 187, 187, 107, 117, 166, 153, 108, 0, 0, 0, 105, 188, 189, 261, 64, 68, 67, 66, 0, 0, 0, 0, 0, 94, 0, 0, 248, 87, 87, 91, 247, 106, 264, 0, 261, 0, 261, 0, 261, 0, 0, 167, 261, 0, 0, 0, 219, 218, 0, 217, 220, 0, 0, 0, 222, 0, 193, 196, 0, 203, 204, 210, 209, 236, 237, 221, 224, 223, 0, 62, 148, 56, 126, 134, 144, 132, 0, 86, 95, 90, 249, 88, 246, 246, 0, 102, 0, 81, 84, 85, 261, 118, 0, 0, 74, 75, 80, 246, 261, 275, 0, 275, 258, 250, 0, 252, 257, 254, 0, 69, 71, 72, 0, 0, 0, 213, 0, 0, 0, 0, 0, 0, 191, 184, 185, 182, 183, 0, 0, 0, 186, 0, 0, 0, 0, 0, 149, 0, 92, 93, 115, 0, 109, 261, 83, 261, 110, 261, 78, 246, 261, 276, 111, 261, 251, 0, 0, 116, 261, 190, 197, 211, 214, 215, 208, 206, 225, 0, 238, 202, 194, 198, 199, 200, 0, 207, 205, 0, 0, 240, 192, 96, 103, 104, 143, 82, 79, 76, 77, 106, 106, 253, 0, 0, 70, 0, 216, 229, 0, 227, 187, 0, 201, 0, 242, 244, 239, 0, 0, 112, 113, 256, 255, 212, 226, 0, 231, 195, 243, 0, 241, 100, 0, 98, 101, 228, 234, 235, 233, 230, 232, 245, 97, 99, 0, 0, 0 }; static const short yydefgoto[] = { 429, 3, 4, 8, 9, 13, 14, 25, 26, 27, 55, 56, 57, 107, 58, 74, 184, 75, 76, 77, 59, 69, 70, 60, 213, 100, 61, 130, 131, 303, 304, 288, 289, 290, 281, 282, 119, 277, 185, 186, 272, 273, 403, 417, 418, 291, 292, 148, 149, 197, 101, 162, 163, 187, 188, 62, 177, 215, 178, 249, 266, 102, 103, 201, 104, 323, 324, 326, 205, 206, 207, 250, 251, 252, 390, 312, 253, 254, 255, 256, 393, 394, 424, 425, 257, 258, 259, 373, 374, 399, 224, 225, 236, 299, 300, 260, 226, 122, 123, 146, 152, 261, 105, 345, 262 }; static const short yypact[] = { 9, -32768,-32768, 9,-32768, -76,-32768, 47, 15,-32768,-32768, -32768,-32768, 55,-32768, -24, 158,-32768,-32768, 130, 95, 81, 97, 162, 128, 228, 158,-32768, 141,-32768,-32768, -32768,-32768,-32768, 213,-32768,-32768, 419,-32768, 224, 39, -32768,-32768,-32768, 157,-32768,-32768,-32768,-32768,-32768,-32768, -32768,-32768,-32768,-32768, 211, 419,-32768,-32768,-32768,-32768, -32768,-32768,-32768, 344, 571,-32768, 151,-32768, 79,-32768, 164,-32768,-32768, 46,-32768, -36,-32768, 183,-32768,-32768, -32768, -11, 173,-32768, 229,-32768, 235, 249,-32768,-32768, -32768,-32768,-32768, 270, 241,-32768,-32768,-32768, 646, 322, -32768,-32768,-32768,-32768, 214, 323,-32768,-32768,-32768, 168, 226,-32768,-32768, 9, 168, 234, 225, 4,-32768,-32768, 250,-32768, -22, 168,-32768,-32768,-32768,-32768,-32768, 96, -32768, 230, 237, 240, 295, 185,-32768,-32768, -76,-32768, -32768, 269,-32768,-32768,-32768, 333,-32768, 496, 0,-32768, -32768,-32768,-32768,-32768, 347, 646, 343, 168,-32768,-32768, -32768, 243,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768, -32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768, 246, 242,-32768,-32768, 105,-32768, 63,-32768, 244, 73, 255, 317, 257, 293, -34, 51,-32768,-32768,-32768, 259, -32768, 261, 260, 80,-32768,-32768, 264, 258,-32768,-32768, -32768,-32768, 369, 269, 369, 343, 185, 279, 269, 185, -32768, 288, 288,-32768,-32768,-32768,-32768, 350, 5, 233, 8, 309, 8, 310, 34,-32768, 6, 80, 283, 356, -32768,-32768, 27,-32768,-32768, 271, 9, 80,-32768, 276, 181, 289, 278, 27,-32768,-32768,-32768, 284,-32768,-32768, -32768,-32768, 80,-32768,-32768, 384,-32768, 384,-32768,-32768, 308,-32768,-32768,-32768,-32768,-32768, -9, -9, 343, 285, 117,-32768,-32768,-32768, 258,-32768, 328, 294, 291,-32768, -32768, -9, 258, 343, 296, 343,-32768,-32768, 119,-32768, -32768, 299, 152,-32768,-32768,-32768, 300, 231, 311, 301, 314, 245, 307, 313, 315, 316,-32768,-32768,-32768,-32768, -32768, 321, 231, 231,-32768, 231, 80, 287, 304, 318, -32768, 325,-32768,-32768,-32768, 292,-32768, 5,-32768, 258, -32768, 2,-32768, -9, 258,-32768,-32768, 258,-32768, 60, 292,-32768, 6,-32768,-32768,-32768,-32768, 320,-32768,-32768, 264, 31,-32768,-32768, 331,-32768,-32768,-32768, 327,-32768, -32768, 10, 160,-32768,-32768,-32768,-32768,-32768,-32768,-32768, -32768,-32768,-32768,-32768,-32768,-32768, 334, 335,-32768, 369, -32768,-32768, 161,-32768, 0, 80,-32768, 343, 286,-32768, -32768, 304, 159,-32768,-32768,-32768,-32768, 384,-32768, 31, 129, 215, 286, 343,-32768,-32768, 20,-32768,-32768,-32768, -32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768, 428, 445, -32768 }; static const short yypgoto[] = {-32768, -32768, 443,-32768, 312,-32768, 434,-32768,-32768, 422,-32768, -32768, 394,-32768,-32768,-32768,-32768, 378,-32768, 338,-32768, -32768, 345,-32768,-32768, 389,-32768,-32768, 302,-32768, 103, 227,-32768, 115,-32768, 123,-32768, 239,-32768, 247,-32768, -32768,-32768,-32768, 48, -218, -77,-32768, -64,-32768, -133, -32768, 253, -184, -118,-32768, -73,-32768, -266, -75, -206, -72, 324,-32768, -6,-32768,-32768,-32768, -188,-32768, 155, -161, 68, -49,-32768, 219,-32768, -284,-32768,-32768,-32768, 64,-32768,-32768,-32768,-32768,-32768,-32768, 74, 83, -212, -32768,-32768,-32768, 127, -116, -80,-32768,-32768,-32768,-32768, 1,-32768, 182, -7 }; #define YYLAST 742 static const short yytable[] = { 15, 5, 121, 223, 5, 120, 15, 232, 234, 268, 10, 283, 114, 10, 10, 198, 10, 164, 10, 117, 180, 150, 1, 2, 416, 143, 220, 132, 360, 7, 65, 63, 151, 72, 287, 160, 161, 79, 64, 10, 287, 71, 10, 169, 371, 78, 172, 10, 203, 65, 63, 16, 1, 2, 10, 10, 11, 64, 67, 1, 2, 179, 221, 10, 11, 333, 334, 79, 10, 169, 377, 231, 172, 204, 115, 78, 199, 307, 160, 161, 343, 144, 203, 19, 132, 387, 167, 316, 10, 169, 170, 171, 172, 1, 2, 145, 164, 286, 220, 239, 133, 180, 330, 72, 180, 118, 280, 204, 79, 280, 222, 71, 280, 240, -73, 139, 78, 154, 118, 301, 283, 118, 118, 398, 118, 153, 427, 241, 242, 182, 310, 264, 383, 203, 221, 392, 165, 181, 297, 28, 298, 311, 179, 243, 270, 179, 421, 275, 68, 202, 210, 212, 284, 12, 29, 112, 233, 133, 204, 211, 305, 17, 244, 416, 297, 10, 369, 30, 245, -246, 1, 2, 20, -246, 160, 161, 10, 246, -272, 118, 21, 1, 2, 31, 408, 247, 124, 248, 109, 110, 166, 167, 168, 10, 169, 170, 171, 172, 1, 2, 422, 22, 155, 23, 423, 73, 156, 411, 339, 269, 182, 218, 24, 182, 33, 219, 344, 32, 181, 419, 378, 181, 285, 337, 293, 349, 293, 338, 302, 350, 306, 34, 173, 419, 301, 388, 37, 167, 66, 10, 169, 170, 171, 172, 1, 2, 83, 84, 315, 36, 174, 167, 80, 10, 169, 170, 171, 172, 352, 355, 108, 284, 353, 381, 240, 384, 401, 409, 385, 111, 402, 410, 335, 175, 366, 367, 305, 368, 241, 242, 318, 319, 320, 321, 160, 161, 124, 346, 116, 346, 176, 322, 241, 167, 243, 10, 169, 170, 171, 172, 10, 169, 313, 314, 172, 1, 2, 359, 1, 2, 160, 161, 125, 244, 318, 319, 320, 321, 126, 245, 404, 405, 127, 128, 129, 134, 136, 135, 246, 379, 142, 285, 138, 245, 241, 293, 247, 181, 248, 147, 141, 157, 189, 302, 379, 159, 306, 82, 158, 370, 208, 10, 181, 217, 228, 395, 214, 83, 84, 216, -273, 227, 229, 230, 235, 400, 237, 238, 85, 38, 86, 263, 87, 265, 118, 245, 271, 279, 276, 294, 296, 308, 88, 309, 317, 327, 89, 325, 331, 329, 90, 400, 332, 91, 41, 42, 43, 336, 340, 414, 341, 342, 347, 395, 92, 45, 351, 426, 354, 93, 46, 94, 47, 95, 204, 357, 356, 358, 362, 372, 48, 363, 96, 97, 364, 365, 375, 10, 430, 49, 376, 50, 1, 2, 391, 397, 51, 98, 52, 53, 54, 396, 406, 407, 38, 431, 6, 18, 35, 99, 81, 183, 113, 140, 106, 137, 389, 382, 209, 39, 295, 380, 278, 40, 412, 428, 274, 267, 361, 41, 42, 43, 200, 328, 420, 44, 415, 386, 348, 0, 45, 413, 0, 0, 0, 46, 0, 47, 0, 0, 0, 0, 0, 0, 0, 48, 0, 0, 0, 0, 0, 0, 0, 0, 49, 0, 50, 0, 0, 190, 191, 51, 0, 52, 53, 54, 192, 0, 0, 0, 85, 38, 86, 0, 87, 193, 0, 0, 0, 0, 0, 0, 0, 0, 88, 0, 0, 0, 89, 0, 0, 0, 90, 0, 0, 91, 41, 42, 43, 0, 0, 0, 0, 0, 194, 0, 92, 45, 0, 0, 0, 93, 46, 94, 47, 95, 0, 0, 0, 0, 0, 0, 48, 0, 96, 97, 195, 196, 0, 0, 0, 49, 0, 50, 83, 84, 0, 0, 51, 98, 52, 53, 54, 0, 0, 85, 38, 86, 0, 87, 0, 0, 0, 0, 0, 0, 0, 0, 0, 88, 0, 0, 0, 89, 0, 0, 0, 90, 0, 0, 91, 41, 42, 43, 0, 0, 0, 0, 0, 0, 0, 92, 45, 0, 0, 0, 93, 46, 94, 47, 95, 0, 0, 0, 0, 0, 0, 48, 0, 96, 97, 0, 0, 0, 0, 0, 49, 0, 50, 1, 2, 0, 0, 51, 98, 52, 53, 54, 0, 0, 85, 38, 86, 0, 87, 0, 0, 0, 0, 0, 0, 0, 0, 0, 88, 0, 0, 0, 89, 0, 0, 0, 90, 0, 0, 91, 41, 42, 43, 0, 0, 0, 0, 0, 0, 0, 92, 45, 0, 0, 0, 93, 46, 94, 47, 95, 0, 0, 0, 0, 0, 0, 48, 0, 96, 97, 0, 0, 0, 0, 0, 49, 0, 50, 0, 0, 0, 0, 51, 98, 52, 53, 54 }; static const short yycheck[] = { 7, 0, 82, 187, 3, 82, 13, 195, 196, 215, 8, 229, 48, 8, 8, 148, 8, 135, 8, 30, 136, 43, 13, 14, 4, 21, 35, 99, 312, 105, 37, 37, 54, 40, 32, 15, 16, 44, 37, 8, 32, 40, 8, 9, 328, 44, 12, 8, 82, 56, 56, 36, 13, 14, 8, 8, 9, 56, 19, 13, 14, 136, 71, 8, 9, 277, 278, 74, 8, 9, 336, 105, 12, 107, 110, 74, 148, 238, 15, 16, 292, 77, 82, 107, 156, 351, 6, 248, 8, 9, 10, 11, 12, 13, 14, 91, 214, 230, 35, 19, 99, 217, 263, 110, 220, 116, 104, 107, 115, 104, 187, 110, 104, 33, 106, 114, 115, 124, 116, 235, 338, 116, 116, 113, 116, 124, 106, 47, 48, 136, 103, 208, 344, 82, 71, 104, 135, 136, 104, 9, 106, 114, 217, 63, 217, 220, 17, 220, 109, 148, 157, 158, 229, 106, 59, 109, 105, 156, 107, 158, 237, 106, 82, 4, 104, 8, 327, 86, 88, 106, 13, 14, 14, 110, 15, 16, 8, 97, 105, 116, 22, 13, 14, 86, 390, 105, 113, 107, 109, 110, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 71, 43, 106, 45, 75, 48, 110, 395, 285, 216, 217, 106, 54, 220, 86, 110, 293, 55, 217, 403, 336, 220, 229, 106, 231, 106, 233, 110, 235, 110, 237, 3, 47, 417, 350, 351, 23, 6, 14, 8, 9, 10, 11, 12, 13, 14, 13, 14, 247, 108, 65, 6, 41, 8, 9, 10, 11, 12, 106, 308, 109, 338, 110, 340, 33, 345, 106, 106, 348, 105, 110, 110, 279, 88, 323, 324, 353, 326, 47, 48, 99, 100, 101, 102, 15, 16, 113, 294, 105, 296, 105, 110, 47, 6, 63, 8, 9, 10, 11, 12, 8, 9, 31, 32, 12, 13, 14, 62, 13, 14, 15, 16, 83, 82, 99, 100, 101, 102, 83, 88, 384, 385, 73, 53, 83, 3, 3, 113, 97, 336, 105, 338, 106, 88, 47, 342, 105, 336, 107, 89, 106, 111, 9, 350, 351, 105, 353, 3, 111, 62, 3, 8, 351, 111, 37, 362, 113, 13, 14, 113, 105, 117, 105, 70, 105, 372, 105, 107, 24, 25, 26, 107, 28, 4, 116, 88, 97, 27, 90, 70, 70, 98, 38, 27, 108, 107, 42, 98, 4, 105, 46, 398, 84, 49, 50, 51, 52, 112, 70, 113, 106, 110, 106, 410, 60, 61, 107, 414, 108, 65, 66, 67, 68, 69, 107, 114, 105, 103, 105, 115, 76, 106, 78, 79, 108, 104, 108, 8, 0, 85, 105, 87, 13, 14, 114, 108, 92, 93, 94, 95, 96, 110, 108, 108, 25, 0, 3, 13, 26, 105, 56, 139, 74, 115, 65, 110, 353, 342, 156, 40, 233, 338, 223, 44, 396, 417, 219, 214, 313, 50, 51, 52, 148, 254, 410, 56, 402, 350, 296, -1, 61, 398, -1, -1, -1, 66, -1, 68, -1, -1, -1, -1, -1, -1, -1, 76, -1, -1, -1, -1, -1, -1, -1, -1, 85, -1, 87, -1, -1, 13, 14, 92, -1, 94, 95, 96, 20, -1, -1, -1, 24, 25, 26, -1, 28, 29, -1, -1, -1, -1, -1, -1, -1, -1, 38, -1, -1, -1, 42, -1, -1, -1, 46, -1, -1, 49, 50, 51, 52, -1, -1, -1, -1, -1, 58, -1, 60, 61, -1, -1, -1, 65, 66, 67, 68, 69, -1, -1, -1, -1, -1, -1, 76, -1, 78, 79, 80, 81, -1, -1, -1, 85, -1, 87, 13, 14, -1, -1, 92, 93, 94, 95, 96, -1, -1, 24, 25, 26, -1, 28, -1, -1, -1, -1, -1, -1, -1, -1, -1, 38, -1, -1, -1, 42, -1, -1, -1, 46, -1, -1, 49, 50, 51, 52, -1, -1, -1, -1, -1, -1, -1, 60, 61, -1, -1, -1, 65, 66, 67, 68, 69, -1, -1, -1, -1, -1, -1, 76, -1, 78, 79, -1, -1, -1, -1, -1, 85, -1, 87, 13, 14, -1, -1, 92, 93, 94, 95, 96, -1, -1, 24, 25, 26, -1, 28, -1, -1, -1, -1, -1, -1, -1, -1, -1, 38, -1, -1, -1, 42, -1, -1, -1, 46, -1, -1, 49, 50, 51, 52, -1, -1, -1, -1, -1, -1, -1, 60, 61, -1, -1, -1, 65, 66, 67, 68, 69, -1, -1, -1, -1, -1, -1, 76, -1, 78, 79, -1, -1, -1, -1, -1, 85, -1, 87, -1, -1, -1, -1, 92, 93, 94, 95, 96 }; /* -*-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 #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 #endif #else /* not MSDOS, or __TURBOC__ */ #if defined(_AIX) /* I don't know what this was needed for, but it pollutes the namespace. So I turned it off. rms, 2 May 1997. */ /* #include */ #pragma alloca #define YYSTACK_USE_ALLOCA #else /* not MSDOS, or __TURBOC__, or _AIX */ #if 0 #ifdef __hpux /* haible@ilog.fr says this works for HPUX 9.05 and up, and on HPUX 10. Eventually we can turn this on. */ #define YYSTACK_USE_ALLOCA #define alloca __builtin_alloca #endif /* __hpux */ #endif #endif /* not _AIX */ #endif /* not MSDOS, or __TURBOC__ */ #endif /* not sparc */ #endif /* not GNU C */ #endif /* alloca not defined */ #endif /* YYSTACK_USE_ALLOCA not defined */ #ifdef YYSTACK_USE_ALLOCA #define YYSTACK_ALLOC alloca #else #define YYSTACK_ALLOC malloc #endif /* Note: there must be only one dollar sign in this file. It is replaced by the list of actions, each action as one case of the switch. */ #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 /* Like YYERROR except do call yyerror. This remains here temporarily to ease the transition to the new meaning of YYERROR, for GCC. Once GCC version 2 has supplanted version 1, this can go. */ #define YYFAIL goto yyerrlab #define YYRECOVERING() (!!yyerrstatus) #define YYBACKUP(token, value) \ do \ if (yychar == YYEMPTY && yylen == 1) \ { yychar = (token), yylval = (value); \ yychar1 = YYTRANSLATE (yychar); \ YYPOPSTACK; \ goto yybackup; \ } \ else \ { yyerror ("syntax error: cannot back up"); YYERROR; } \ while (0) #define YYTERROR 1 #define YYERRCODE 256 #ifndef YYPURE #define YYLEX yylex() #endif #ifdef YYPURE #ifdef YYLSP_NEEDED #ifdef YYLEX_PARAM #define YYLEX yylex(&yylval, &yylloc, YYLEX_PARAM) #else #define YYLEX yylex(&yylval, &yylloc) #endif #else /* not YYLSP_NEEDED */ #ifdef YYLEX_PARAM #define YYLEX yylex(&yylval, YYLEX_PARAM) #else #define YYLEX yylex(&yylval) #endif #endif /* not YYLSP_NEEDED */ #endif /* If nonreentrant, generate the variables here */ #ifndef YYPURE int yychar; /* the lookahead symbol */ YYSTYPE yylval; /* the semantic value of the */ /* lookahead symbol */ #ifdef YYLSP_NEEDED YYLTYPE yylloc; /* location data for the lookahead */ /* symbol */ #endif int yynerrs; /* number of parse errors so far */ #endif /* not YYPURE */ #if YYDEBUG != 0 int yydebug; /* nonzero means print parse trace */ /* Since this is uninitialized, it does not stop multiple parsers from coexisting. */ #endif /* YYINITDEPTH indicates the initial size of the parser's stacks */ #ifndef YYINITDEPTH #define YYINITDEPTH 200 #endif /* YYMAXDEPTH is the maximum size the stacks can grow to (effective only if the built-in stack extension method is used). */ #if YYMAXDEPTH == 0 #undef YYMAXDEPTH #endif #ifndef YYMAXDEPTH #define YYMAXDEPTH 10000 #endif /* Define __yy_memcpy. Note that the size argument should be passed with type unsigned int, because that is what the non-GCC definitions require. With GCC, __builtin_memcpy takes an arg of type size_t, but it can handle unsigned int. */ #if __GNUC__ > 1 /* GNU C and GNU C++ define this. */ #define __yy_memcpy(TO,FROM,COUNT) __builtin_memcpy(TO,FROM,COUNT) #else /* not GNU C or C++ */ #ifndef __cplusplus /* This is the most reliable way to avoid incompatibilities in available built-in functions on various systems. */ static void __yy_memcpy (to, from, count) char *to; char *from; unsigned int count; { register char *f = from; register char *t = to; register int i = count; while (i-- > 0) *t++ = *f++; } #else /* __cplusplus */ /* This is the most reliable way to avoid incompatibilities in available built-in functions on various systems. */ static void __yy_memcpy (char *to, char *from, unsigned int count) { register char *t = to; register char *f = from; register int i = count; while (i-- > 0) *t++ = *f++; } #endif #endif #line 217 "/usr/share/bison.simple" /* The user can define YYPARSE_PARAM as the name of an argument to be passed into yyparse. The argument should have type void *. It should actually point to an object. Grammar actions can access the variable by casting it to the proper pointer type. */ #ifdef YYPARSE_PARAM #ifdef __cplusplus #define YYPARSE_PARAM_ARG void *YYPARSE_PARAM #define YYPARSE_PARAM_DECL #else /* not __cplusplus */ #define YYPARSE_PARAM_ARG YYPARSE_PARAM #define YYPARSE_PARAM_DECL void *YYPARSE_PARAM; #endif /* not __cplusplus */ #else /* not YYPARSE_PARAM */ #define YYPARSE_PARAM_ARG #define YYPARSE_PARAM_DECL #endif /* not YYPARSE_PARAM */ /* Prevent warning if -Wstrict-prototypes. */ #ifdef __GNUC__ #ifdef YYPARSE_PARAM int yyparse (void *); #else int yyparse (void); #endif #endif int yyparse(YYPARSE_PARAM_ARG) YYPARSE_PARAM_DECL { register int yystate; register int yyn; register short *yyssp; register YYSTYPE *yyvsp; int yyerrstatus; /* number of tokens to shift before error messages enabled */ int yychar1 = 0; /* lookahead token as an internal (translated) token number */ short yyssa[YYINITDEPTH]; /* the state stack */ YYSTYPE yyvsa[YYINITDEPTH]; /* the semantic value stack */ short *yyss = yyssa; /* refer to the stacks thru separate pointers */ YYSTYPE *yyvs = yyvsa; /* to allow yyoverflow to reallocate them elsewhere */ #ifdef YYLSP_NEEDED YYLTYPE yylsa[YYINITDEPTH]; /* the location stack */ YYLTYPE *yyls = yylsa; YYLTYPE *yylsp; #define YYPOPSTACK (yyvsp--, yyssp--, yylsp--) #else #define YYPOPSTACK (yyvsp--, yyssp--) #endif int yystacksize = YYINITDEPTH; int yyfree_stacks = 0; #ifdef YYPURE int yychar; YYSTYPE yylval; int yynerrs; #ifdef YYLSP_NEEDED YYLTYPE yylloc; #endif #endif YYSTYPE yyval; /* the variable used to return */ /* semantic values from the action */ /* routines */ int yylen; #if YYDEBUG != 0 if (yydebug) fprintf(stderr, "Starting parse\n"); #endif yystate = 0; yyerrstatus = 0; yynerrs = 0; yychar = YYEMPTY; /* Cause a token to be read. */ /* Initialize stack pointers. Waste one element of value and location stack so that they stay on the same level as the state stack. The wasted elements are never initialized. */ yyssp = yyss - 1; yyvsp = yyvs; #ifdef YYLSP_NEEDED yylsp = yyls; #endif /* Push a new state, which is found in yystate . */ /* In all cases, when you get here, the value and location stacks have just been pushed. so pushing a state here evens the stacks. */ yynewstate: *++yyssp = yystate; if (yyssp >= yyss + yystacksize - 1) { /* Give user a chance to reallocate the stack */ /* Use copies of these so that the &'s don't force the real ones into memory. */ YYSTYPE *yyvs1 = yyvs; short *yyss1 = yyss; #ifdef YYLSP_NEEDED YYLTYPE *yyls1 = yyls; #endif /* Get the current used size of the three stacks, in elements. */ int size = yyssp - yyss + 1; #ifdef yyoverflow /* Each stack pointer address is followed by the size of the data in use in that stack, in bytes. */ #ifdef YYLSP_NEEDED /* This used to be a conditional around just the two extra args, but that might be undefined if yyoverflow is a macro. */ yyoverflow("parser stack overflow", &yyss1, size * sizeof (*yyssp), &yyvs1, size * sizeof (*yyvsp), &yyls1, size * sizeof (*yylsp), &yystacksize); #else yyoverflow("parser stack overflow", &yyss1, size * sizeof (*yyssp), &yyvs1, size * sizeof (*yyvsp), &yystacksize); #endif yyss = yyss1; yyvs = yyvs1; #ifdef YYLSP_NEEDED yyls = yyls1; #endif #else /* no yyoverflow */ /* Extend the stack our own way. */ if (yystacksize >= YYMAXDEPTH) { yyerror("parser stack overflow"); if (yyfree_stacks) { free (yyss); free (yyvs); #ifdef YYLSP_NEEDED free (yyls); #endif } return 2; } yystacksize *= 2; if (yystacksize > YYMAXDEPTH) yystacksize = YYMAXDEPTH; #ifndef YYSTACK_USE_ALLOCA yyfree_stacks = 1; #endif yyss = (short *) YYSTACK_ALLOC (yystacksize * sizeof (*yyssp)); __yy_memcpy ((char *)yyss, (char *)yyss1, size * (unsigned int) sizeof (*yyssp)); yyvs = (YYSTYPE *) YYSTACK_ALLOC (yystacksize * sizeof (*yyvsp)); __yy_memcpy ((char *)yyvs, (char *)yyvs1, size * (unsigned int) sizeof (*yyvsp)); #ifdef YYLSP_NEEDED yyls = (YYLTYPE *) YYSTACK_ALLOC (yystacksize * sizeof (*yylsp)); __yy_memcpy ((char *)yyls, (char *)yyls1, size * (unsigned int) sizeof (*yylsp)); #endif #endif /* no yyoverflow */ yyssp = yyss + size - 1; yyvsp = yyvs + size - 1; #ifdef YYLSP_NEEDED yylsp = yyls + size - 1; #endif #if YYDEBUG != 0 if (yydebug) fprintf(stderr, "Stack size increased to %d\n", yystacksize); #endif if (yyssp >= yyss + yystacksize - 1) YYABORT; } #if YYDEBUG != 0 if (yydebug) fprintf(stderr, "Entering state %d\n", yystate); #endif goto yybackup; yybackup: /* Do appropriate processing given the current state. */ /* Read a lookahead token if we need one and don't already have one. */ /* yyresume: */ /* First try to decide what to do without reference to lookahead token. */ yyn = yypact[yystate]; if (yyn == YYFLAG) goto yydefault; /* Not known => get a lookahead token if don't already have one. */ /* yychar is either YYEMPTY or YYEOF or a valid token in external form. */ if (yychar == YYEMPTY) { #if YYDEBUG != 0 if (yydebug) fprintf(stderr, "Reading a token: "); #endif yychar = YYLEX; } /* Convert token to internal form (in yychar1) for indexing tables with */ if (yychar <= 0) /* This means end of input. */ { yychar1 = 0; yychar = YYEOF; /* Don't call YYLEX any more */ #if YYDEBUG != 0 if (yydebug) fprintf(stderr, "Now at end of input.\n"); #endif } else { yychar1 = YYTRANSLATE(yychar); #if YYDEBUG != 0 if (yydebug) { fprintf (stderr, "Next token is %d (%s", yychar, yytname[yychar1]); /* Give the individual parser a way to print the precise meaning of a token, for further debugging info. */ #ifdef YYPRINT YYPRINT (stderr, yychar, yylval); #endif fprintf (stderr, ")\n"); } #endif } yyn += yychar1; if (yyn < 0 || yyn > YYLAST || yycheck[yyn] != yychar1) goto yydefault; yyn = yytable[yyn]; /* yyn is what to do for this token type in this state. Negative => reduce, -yyn is rule number. Positive => shift, yyn is new state. New state is final state => don't bother to shift, just return success. 0, or most negative number => error. */ if (yyn < 0) { if (yyn == YYFLAG) goto yyerrlab; yyn = -yyn; goto yyreduce; } else if (yyn == 0) goto yyerrlab; if (yyn == YYFINAL) YYACCEPT; /* Shift the lookahead token. */ #if YYDEBUG != 0 if (yydebug) fprintf(stderr, "Shifting token %d (%s), ", yychar, yytname[yychar1]); #endif /* Discard the token being shifted unless it is eof. */ if (yychar != YYEOF) yychar = YYEMPTY; *++yyvsp = yylval; #ifdef YYLSP_NEEDED *++yylsp = yylloc; #endif /* count tokens shifted since error; after three, turn off error status. */ if (yyerrstatus) yyerrstatus--; yystate = yyn; goto yynewstate; /* Do the default action for the current state. */ yydefault: yyn = yydefact[yystate]; if (yyn == 0) goto yyerrlab; /* Do a reduction. yyn is the number of a rule to reduce with. */ yyreduce: yylen = yyr2[yyn]; if (yylen > 0) yyval = yyvsp[1-yylen]; /* implement default value of the action */ #if YYDEBUG != 0 if (yydebug) { int i; fprintf (stderr, "Reducing via rule %d (line %d), ", yyn, yyrline[yyn]); /* Print the symbols being reduced, and their result. */ for (i = yyprhs[yyn]; yyrhs[i] > 0; i++) fprintf (stderr, "%s ", yytname[yyrhs[i]]); fprintf (stderr, " -> %s\n", yytname[yyr1[yyn]]); } #endif switch (yyn) { case 1: #line 321 "asn1p_y.y" { *(void **)param = yyvsp[0].a_grammar; ; break;} case 2: #line 327 "asn1p_y.y" { yyval.a_grammar = asn1p_new(); checkmem(yyval.a_grammar); TQ_ADD(&(yyval.a_grammar->modules), yyvsp[0].a_module, mod_next); ; break;} case 3: #line 332 "asn1p_y.y" { yyval.a_grammar = yyvsp[-1].a_grammar; TQ_ADD(&(yyval.a_grammar->modules), yyvsp[0].a_module, mod_next); ; break;} case 4: #line 353 "asn1p_y.y" { if(yyvsp[-1].a_module) { yyval.a_module = yyvsp[-1].a_module; } else { /* There's a chance that a module is just plain empty */ yyval.a_module = asn1p_module_new(); } checkmem(yyval.a_module); yyval.a_module->ModuleName = yyvsp[-7].tv_str; yyval.a_module->module_oid = yyvsp[-6].a_oid; yyval.a_module->module_flags = yyvsp[-4].a_module_flags; ; break;} case 5: #line 374 "asn1p_y.y" { yyval.a_oid = 0; ; break;} case 6: #line 375 "asn1p_y.y" { yyval.a_oid = yyvsp[0].a_oid; ; break;} case 7: #line 379 "asn1p_y.y" { yyval.a_oid = yyvsp[-1].a_oid; ; break;} case 8: #line 382 "asn1p_y.y" { yyval.a_oid = 0; ; break;} case 9: #line 388 "asn1p_y.y" { yyval.a_oid = asn1p_oid_new(); asn1p_oid_add_arc(yyval.a_oid, &yyvsp[0].a_oid_arc); if(yyvsp[0].a_oid_arc.name) free(yyvsp[0].a_oid_arc.name); ; break;} case 10: #line 394 "asn1p_y.y" { yyval.a_oid = yyvsp[-1].a_oid; asn1p_oid_add_arc(yyval.a_oid, &yyvsp[0].a_oid_arc); if(yyvsp[0].a_oid_arc.name) free(yyvsp[0].a_oid_arc.name); ; break;} case 11: #line 403 "asn1p_y.y" { /* iso */ yyval.a_oid_arc.name = yyvsp[0].tv_str; yyval.a_oid_arc.number = -1; ; break;} case 12: #line 407 "asn1p_y.y" { /* iso(1) */ yyval.a_oid_arc.name = yyvsp[-3].tv_str; yyval.a_oid_arc.number = yyvsp[-1].a_int; ; break;} case 13: #line 411 "asn1p_y.y" { /* 1 */ yyval.a_oid_arc.name = 0; yyval.a_oid_arc.number = yyvsp[0].a_int; ; break;} case 14: #line 421 "asn1p_y.y" { yyval.a_module_flags = MSF_NOFLAGS; ; break;} case 15: #line 422 "asn1p_y.y" { yyval.a_module_flags = yyvsp[0].a_module_flags; ; break;} case 16: #line 431 "asn1p_y.y" { yyval.a_module_flags = yyvsp[0].a_module_flags; ; break;} case 17: #line 434 "asn1p_y.y" { yyval.a_module_flags = yyvsp[-1].a_module_flags | yyvsp[0].a_module_flags; ; break;} case 18: #line 443 "asn1p_y.y" { yyval.a_module_flags = MSF_EXPLICIT_TAGS; ; break;} case 19: #line 446 "asn1p_y.y" { yyval.a_module_flags = MSF_IMPLICIT_TAGS; ; break;} case 20: #line 449 "asn1p_y.y" { yyval.a_module_flags = MSF_AUTOMATIC_TAGS; ; break;} case 21: #line 452 "asn1p_y.y" { yyval.a_module_flags = MSF_EXTENSIBILITY_IMPLIED; ; break;} case 22: #line 456 "asn1p_y.y" { /* X.680Amd1 specifies TAG and XER */ if(strcmp(yyvsp[-1].tv_str, "TAG") == 0) { yyval.a_module_flags = MSF_TAG_INSTRUCTIONS; } else if(strcmp(yyvsp[-1].tv_str, "XER") == 0) { yyval.a_module_flags = MSF_XER_INSTRUCTIONS; } else { fprintf(stderr, "WARNING: %s INSTRUCTIONS at line %d: " "Unrecognized encoding reference\n", yyvsp[-1].tv_str, yylineno); yyval.a_module_flags = MSF_unk_INSTRUCTIONS; } free(yyvsp[-1].tv_str); ; break;} case 23: #line 477 "asn1p_y.y" { yyval.a_module = 0; ; break;} case 24: #line 478 "asn1p_y.y" { yyval.a_module = yyvsp[0].a_module; ; break;} case 25: #line 487 "asn1p_y.y" { yyval.a_module = yyvsp[0].a_module; ; break;} case 26: #line 490 "asn1p_y.y" { yyval.a_module = yyvsp[-1].a_module; /* Behave well when one of them is skipped. */ if(!(yyvsp[-1].a_module)) { if(yyvsp[0].a_module) yyval.a_module = yyvsp[0].a_module; break; } #ifdef MY_IMPORT #error MY_IMPORT DEFINED ELSEWHERE! #endif #define MY_IMPORT(foo,field) do { \ while(TQ_FIRST(&(yyvsp[0].a_module->foo))) { \ TQ_ADD(&(yyval.a_module->foo), \ TQ_REMOVE(&(yyvsp[0].a_module->foo), field), \ field); \ } \ assert(TQ_FIRST(&(yyvsp[0].a_module->foo)) == 0); \ } while(0) MY_IMPORT(imports, xp_next); MY_IMPORT(exports, xp_next); MY_IMPORT(members, next); #undef MY_IMPORT ; break;} case 27: #line 523 "asn1p_y.y" { yyval.a_module = yyvsp[0].a_module; ; break;} case 28: #line 526 "asn1p_y.y" { yyval.a_module = asn1p_module_new(); checkmem(yyval.a_module); if(yyvsp[0].a_xports) { TQ_ADD(&(yyval.a_module->exports), yyvsp[0].a_xports, xp_next); } else { /* "EXPORTS ALL;" ? */ } ; break;} case 29: #line 535 "asn1p_y.y" { yyval.a_module = asn1p_module_new(); checkmem(yyval.a_module); assert(yyvsp[0].a_expr->expr_type != A1TC_INVALID); assert(yyvsp[0].a_expr->meta_type != AMT_INVALID); TQ_ADD(&(yyval.a_module->members), yyvsp[0].a_expr, next); ; break;} case 30: #line 542 "asn1p_y.y" { yyval.a_module = asn1p_module_new(); checkmem(yyval.a_module); assert(yyvsp[0].a_expr->expr_type != A1TC_INVALID); assert(yyvsp[0].a_expr->meta_type != AMT_INVALID); TQ_ADD(&(yyval.a_module->members), yyvsp[0].a_expr, next); ; break;} case 31: #line 555 "asn1p_y.y" { yyval.a_module = asn1p_module_new(); checkmem(yyval.a_module); assert(yyvsp[0].a_expr->expr_type != A1TC_INVALID); assert(yyvsp[0].a_expr->meta_type != AMT_INVALID); TQ_ADD(&(yyval.a_module->members), yyvsp[0].a_expr, next); ; break;} case 32: #line 563 "asn1p_y.y" { asn1p_lexer_hack_push_encoding_control(); ; break;} case 33: #line 564 "asn1p_y.y" { fprintf(stderr, "WARNING: ENCODING-CONTROL %s " "specification at line %d ignored\n", yyvsp[-1].tv_str, yylineno); free(yyvsp[-1].tv_str); yyval.a_module = 0; ; break;} case 34: #line 576 "asn1p_y.y" { return yyerror( "Attempt to redefine a standard basic type, " "use -ftypesXY to switch back " "to older version of ASN.1 standard"); ; break;} case 35: #line 590 "asn1p_y.y" { if(!saved_aid && 0) return yyerror("Unterminated IMPORTS FROM, " "expected semicolon ';'"); saved_aid = 0; yyval.a_module = yyvsp[-1].a_module; ; break;} case 36: #line 600 "asn1p_y.y" { return yyerror("Empty IMPORTS list"); ; break;} case 37: #line 606 "asn1p_y.y" { yyval.a_module = asn1p_module_new(); checkmem(yyval.a_module); TQ_ADD(&(yyval.a_module->imports), yyvsp[0].a_xports, xp_next); ; break;} case 38: #line 611 "asn1p_y.y" { yyval.a_module = yyvsp[-1].a_module; TQ_ADD(&(yyval.a_module->imports), yyvsp[0].a_xports, xp_next); ; break;} case 39: #line 618 "asn1p_y.y" { memset(&yyval.a_aid, 0, sizeof(yyval.a_aid)); ; break;} case 40: #line 619 "asn1p_y.y" { yyval.a_aid.oid = yyvsp[0].a_oid; ; break;} case 41: #line 623 "asn1p_y.y" { yyval.a_xports = yyvsp[-3].a_xports; yyval.a_xports->fromModuleName = yyvsp[-1].tv_str; yyval.a_xports->identifier = yyvsp[0].a_aid; /* This stupid thing is used for look-back hack. */ saved_aid = yyval.a_xports->identifier.oid ? 0 : &(yyval.a_xports->identifier); checkmem(yyval.a_xports); ; break;} case 42: #line 634 "asn1p_y.y" { yyval.a_xports = asn1p_xports_new(); checkmem(yyval.a_xports); TQ_ADD(&(yyval.a_xports->members), yyvsp[0].a_expr, next); ; break;} case 43: #line 639 "asn1p_y.y" { yyval.a_xports = yyvsp[-2].a_xports; TQ_ADD(&(yyval.a_xports->members), yyvsp[0].a_expr, next); ; break;} case 44: #line 646 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); yyval.a_expr->Identifier = yyvsp[0].tv_str; yyval.a_expr->expr_type = A1TC_REFERENCE; ; break;} case 45: #line 652 "asn1p_y.y" { /* Completely equivalent to above */ yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); yyval.a_expr->Identifier = yyvsp[-2].tv_str; yyval.a_expr->expr_type = A1TC_REFERENCE; ; break;} case 46: #line 658 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); yyval.a_expr->Identifier = yyvsp[0].tv_str; yyval.a_expr->expr_type = A1TC_REFERENCE; ; break;} case 47: #line 667 "asn1p_y.y" { yyval.a_xports = yyvsp[-1].a_xports; ; break;} case 48: #line 670 "asn1p_y.y" { yyval.a_xports = 0; ; break;} case 49: #line 673 "asn1p_y.y" { /* Empty EXPORTS clause effectively prohibits export. */ yyval.a_xports = asn1p_xports_new(); checkmem(yyval.a_xports); ; break;} case 50: #line 681 "asn1p_y.y" { yyval.a_xports = asn1p_xports_new(); assert(yyval.a_xports); TQ_ADD(&(yyval.a_xports->members), yyvsp[0].a_expr, next); ; break;} case 51: #line 686 "asn1p_y.y" { yyval.a_xports = yyvsp[-2].a_xports; TQ_ADD(&(yyval.a_xports->members), yyvsp[0].a_expr, next); ; break;} case 52: #line 693 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); yyval.a_expr->Identifier = yyvsp[0].tv_str; yyval.a_expr->expr_type = A1TC_EXPORTVAR; ; break;} case 53: #line 699 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); yyval.a_expr->Identifier = yyvsp[-2].tv_str; yyval.a_expr->expr_type = A1TC_EXPORTVAR; ; break;} case 54: #line 705 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); yyval.a_expr->Identifier = yyvsp[0].tv_str; yyval.a_expr->expr_type = A1TC_EXPORTVAR; ; break;} case 55: #line 716 "asn1p_y.y" { asn1p_lexer_hack_push_opaque_state(); ; break;} case 56: #line 716 "asn1p_y.y" { yyval.a_expr = yyvsp[-4].a_expr; assert(yyval.a_expr->Identifier == 0); yyval.a_expr->Identifier = yyvsp[-5].tv_str; yyval.a_expr->meta_type = AMT_VALUESET; // take care of ValueSet body ; break;} case 57: #line 726 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); yyval.a_expr->reference = yyvsp[0].a_ref; yyval.a_expr->expr_type = A1TC_REFERENCE; yyval.a_expr->meta_type = AMT_TYPEREF; ; break;} case 58: #line 733 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); yyval.a_expr->expr_type = yyvsp[0].a_type; yyval.a_expr->meta_type = AMT_TYPE; ; break;} case 59: #line 751 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); yyval.a_expr->Identifier = yyvsp[-3].tv_str; yyval.a_expr->tag = yyvsp[-1].a_tag; yyval.a_expr->expr_type = A1TC_TYPEID; yyval.a_expr->meta_type = AMT_TYPE; ; break;} case 60: #line 759 "asn1p_y.y" { yyval.a_expr = yyvsp[0].a_expr; yyval.a_expr->Identifier = yyvsp[-2].tv_str; assert(yyval.a_expr->expr_type); assert(yyval.a_expr->meta_type); ; break;} case 61: #line 765 "asn1p_y.y" { yyval.a_expr = yyvsp[0].a_expr; yyval.a_expr->Identifier = yyvsp[-2].tv_str; assert(yyval.a_expr->expr_type == A1TC_CLASSDEF); assert(yyval.a_expr->meta_type == AMT_OBJECT); ; break;} case 62: #line 781 "asn1p_y.y" { yyval.a_expr = yyvsp[0].a_expr; assert(yyval.a_expr->Identifier == 0); yyval.a_expr->Identifier = yyvsp[-5].tv_str; yyval.a_expr->params = yyvsp[-3].a_plist; yyval.a_expr->meta_type = AMT_PARAMTYPE; ; break;} case 63: #line 791 "asn1p_y.y" { int ret; yyval.a_plist = asn1p_paramlist_new(yylineno); checkmem(yyval.a_plist); ret = asn1p_paramlist_add_param(yyval.a_plist, yyvsp[0].a_parg.governor, yyvsp[0].a_parg.argument); checkmem(ret == 0); if(yyvsp[0].a_parg.governor) asn1p_ref_free(yyvsp[0].a_parg.governor); if(yyvsp[0].a_parg.argument) free(yyvsp[0].a_parg.argument); ; break;} case 64: #line 800 "asn1p_y.y" { int ret; yyval.a_plist = yyvsp[-2].a_plist; ret = asn1p_paramlist_add_param(yyval.a_plist, yyvsp[0].a_parg.governor, yyvsp[0].a_parg.argument); checkmem(ret == 0); if(yyvsp[0].a_parg.governor) asn1p_ref_free(yyvsp[0].a_parg.governor); if(yyvsp[0].a_parg.argument) free(yyvsp[0].a_parg.argument); ; break;} case 65: #line 811 "asn1p_y.y" { yyval.a_parg.governor = NULL; yyval.a_parg.argument = yyvsp[0].tv_str; ; break;} case 66: #line 815 "asn1p_y.y" { int ret; yyval.a_parg.governor = asn1p_ref_new(yylineno); ret = asn1p_ref_add_component(yyval.a_parg.governor, yyvsp[-2].tv_str, 0); checkmem(ret == 0); yyval.a_parg.argument = yyvsp[0].tv_str; ; break;} case 67: #line 822 "asn1p_y.y" { int ret; yyval.a_parg.governor = asn1p_ref_new(yylineno); ret = asn1p_ref_add_component(yyval.a_parg.governor, yyvsp[-2].tv_str, 0); checkmem(ret == 0); yyval.a_parg.argument = yyvsp[0].tv_str; ; break;} case 68: #line 829 "asn1p_y.y" { int ret; yyval.a_parg.governor = asn1p_ref_new(yylineno); ret = asn1p_ref_add_component(yyval.a_parg.governor, ASN_EXPR_TYPE2STR(yyvsp[-2].a_type), 1); checkmem(ret == 0); yyval.a_parg.argument = yyvsp[0].tv_str; ; break;} case 69: #line 840 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); asn1p_expr_add(yyval.a_expr, yyvsp[0].a_expr); ; break;} case 70: #line 845 "asn1p_y.y" { yyval.a_expr = yyvsp[-2].a_expr; asn1p_expr_add(yyval.a_expr, yyvsp[0].a_expr); ; break;} case 71: #line 852 "asn1p_y.y" { yyval.a_expr = yyvsp[0].a_expr; ; break;} case 72: #line 855 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); yyval.a_expr->Identifier = yyvsp[0].tv_str; yyval.a_expr->expr_type = A1TC_REFERENCE; yyval.a_expr->meta_type = AMT_VALUE; ; break;} case 73: #line 879 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); ; break;} case 74: #line 880 "asn1p_y.y" { yyval.a_expr = yyvsp[0].a_expr; ; break;} case 75: #line 883 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); asn1p_expr_add(yyval.a_expr, yyvsp[0].a_expr); ; break;} case 76: #line 888 "asn1p_y.y" { yyval.a_expr = yyvsp[-2].a_expr; asn1p_expr_add(yyval.a_expr, yyvsp[0].a_expr); ; break;} case 77: #line 895 "asn1p_y.y" { yyval.a_expr = yyvsp[-1].a_expr; assert(yyval.a_expr->Identifier == 0); yyval.a_expr->Identifier = yyvsp[-2].tv_str; yyvsp[0].a_marker.flags |= yyval.a_expr->marker.flags; yyval.a_expr->marker = yyvsp[0].a_marker; ; break;} case 78: #line 902 "asn1p_y.y" { yyval.a_expr = yyvsp[-1].a_expr; yyvsp[0].a_marker.flags |= yyval.a_expr->marker.flags; yyval.a_expr->marker = yyvsp[0].a_marker; _fixup_anonymous_identifier(yyval.a_expr); ; break;} case 79: #line 908 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); yyval.a_expr->meta_type = yyvsp[0].a_expr->meta_type; yyval.a_expr->expr_type = A1TC_COMPONENTS_OF; asn1p_expr_add(yyval.a_expr, yyvsp[0].a_expr); ; break;} case 80: #line 915 "asn1p_y.y" { yyval.a_expr = yyvsp[0].a_expr; ; break;} case 81: #line 921 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); asn1p_expr_add(yyval.a_expr, yyvsp[0].a_expr); ; break;} case 82: #line 926 "asn1p_y.y" { yyval.a_expr = yyvsp[-2].a_expr; asn1p_expr_add(yyval.a_expr, yyvsp[0].a_expr); ; break;} case 83: #line 933 "asn1p_y.y" { yyval.a_expr = yyvsp[0].a_expr; assert(yyval.a_expr->Identifier == 0); yyval.a_expr->Identifier = yyvsp[-1].tv_str; ; break;} case 84: #line 938 "asn1p_y.y" { yyval.a_expr = yyvsp[0].a_expr; ; break;} case 85: #line 941 "asn1p_y.y" { yyval.a_expr = yyvsp[0].a_expr; _fixup_anonymous_identifier(yyval.a_expr); ; break;} case 86: #line 948 "asn1p_y.y" { yyval.a_expr = yyvsp[-2].a_expr; checkmem(yyval.a_expr); yyval.a_expr->with_syntax = yyvsp[0].a_wsynt; assert(yyval.a_expr->expr_type == A1TC_CLASSDEF); assert(yyval.a_expr->meta_type == AMT_OBJECT); ; break;} case 87: #line 958 "asn1p_y.y" { yyval.a_int = 0; ; break;} case 88: #line 959 "asn1p_y.y" { yyval.a_int = 1; ; break;} case 89: #line 963 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); yyval.a_expr->expr_type = A1TC_CLASSDEF; yyval.a_expr->meta_type = AMT_OBJECT; asn1p_expr_add(yyval.a_expr, yyvsp[0].a_expr); ; break;} case 90: #line 970 "asn1p_y.y" { yyval.a_expr = yyvsp[-2].a_expr; asn1p_expr_add(yyval.a_expr, yyvsp[0].a_expr); ; break;} case 91: #line 977 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); yyval.a_expr->Identifier = yyvsp[-1].a_refcomp.name; yyval.a_expr->expr_type = A1TC_CLASSFIELD; yyval.a_expr->meta_type = AMT_OBJECTFIELD; yyval.a_expr->marker = yyvsp[0].a_marker; ; break;} case 92: #line 985 "asn1p_y.y" { yyval.a_expr = yyvsp[-2].a_expr; yyval.a_expr->Identifier = yyvsp[-3].a_refcomp.name; yyval.a_expr->marker = yyvsp[0].a_marker; yyval.a_expr->unique = yyvsp[-1].a_int; ; break;} case 93: #line 991 "asn1p_y.y" { int ret; yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); yyval.a_expr->Identifier = yyvsp[-3].a_refcomp.name; yyval.a_expr->reference = asn1p_ref_new(yylineno); checkmem(yyval.a_expr->reference); ret = asn1p_ref_add_component(yyval.a_expr->reference, yyvsp[-2].a_refcomp.name, yyvsp[-2].a_refcomp.lex_type); checkmem(ret == 0); yyval.a_expr->expr_type = A1TC_CLASSFIELD; yyval.a_expr->meta_type = AMT_OBJECTFIELD; yyval.a_expr->marker = yyvsp[0].a_marker; yyval.a_expr->unique = yyvsp[-1].a_int; ; break;} case 94: #line 1009 "asn1p_y.y" { yyval.a_wsynt = 0; ; break;} case 95: #line 1010 "asn1p_y.y" { yyval.a_wsynt = yyvsp[0].a_wsynt; ; break;} case 96: #line 1017 "asn1p_y.y" { asn1p_lexer_hack_enable_with_syntax(); ; break;} case 97: #line 1019 "asn1p_y.y" { yyval.a_wsynt = yyvsp[-1].a_wsynt; ; break;} case 98: #line 1025 "asn1p_y.y" { yyval.a_wsynt = asn1p_wsyntx_new(); TQ_ADD(&(yyval.a_wsynt->chunks), yyvsp[0].a_wchunk, next); ; break;} case 99: #line 1029 "asn1p_y.y" { yyval.a_wsynt = yyvsp[-1].a_wsynt; TQ_ADD(&(yyval.a_wsynt->chunks), yyvsp[0].a_wchunk, next); ; break;} case 100: #line 1036 "asn1p_y.y" { yyval.a_wchunk = asn1p_wsyntx_chunk_frombuf(yyvsp[0].tv_opaque.buf, yyvsp[0].tv_opaque.len, 0); ; break;} case 101: #line 1039 "asn1p_y.y" { asn1p_ref_t *ref; int ret; ref = asn1p_ref_new(yylineno); checkmem(ref); ret = asn1p_ref_add_component(ref, yyvsp[0].a_refcomp.name, yyvsp[0].a_refcomp.lex_type); checkmem(ret == 0); yyval.a_wchunk = asn1p_wsyntx_chunk_fromref(ref, 0); ; break;} case 102: #line 1051 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); yyval.a_expr->Identifier = strdup("..."); checkmem(yyval.a_expr->Identifier); yyval.a_expr->expr_type = A1TC_EXTENSIBLE; yyval.a_expr->meta_type = AMT_TYPE; ; break;} case 103: #line 1059 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); yyval.a_expr->Identifier = strdup("..."); checkmem(yyval.a_expr->Identifier); yyval.a_expr->value = yyvsp[0].a_value; yyval.a_expr->expr_type = A1TC_EXTENSIBLE; yyval.a_expr->meta_type = AMT_TYPE; ; break;} case 104: #line 1068 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); yyval.a_expr->Identifier = strdup("..."); yyval.a_expr->value = yyvsp[0].a_value; checkmem(yyval.a_expr->Identifier); yyval.a_expr->expr_type = A1TC_EXTENSIBLE; yyval.a_expr->meta_type = AMT_TYPE; ; break;} case 105: #line 1080 "asn1p_y.y" { yyval.a_expr = yyvsp[-1].a_expr; yyval.a_expr->tag = yyvsp[-2].a_tag; /* * Outer constraint for SEQUENCE OF and SET OF applies * to the inner type. */ if(yyval.a_expr->expr_type == ASN_CONSTR_SEQUENCE_OF || yyval.a_expr->expr_type == ASN_CONSTR_SET_OF) { assert(!TQ_FIRST(&(yyval.a_expr->members))->constraints); TQ_FIRST(&(yyval.a_expr->members))->constraints = yyvsp[0].a_constr; } else { if(yyval.a_expr->constraints) { assert(!yyvsp[-1].a_expr); } else { yyval.a_expr->constraints = yyvsp[0].a_constr; } } ; break;} case 106: #line 1102 "asn1p_y.y" { yyval.a_int = asn1p_as_pointer ? EM_INDIRECT : 0; asn1p_as_pointer = 0; ; break;} case 107: #line 1109 "asn1p_y.y" { yyval.a_expr = yyvsp[0].a_expr; yyval.a_expr->marker.flags |= yyvsp[-1].a_int; if((yyval.a_expr->marker.flags & EM_INDIRECT) && (yyval.a_expr->marker.flags & EM_OPTIONAL) != EM_OPTIONAL) { fprintf(stderr, "INFO: Directive " "applied to %s at line %d\n", ASN_EXPR_TYPE2STR(yyval.a_expr->expr_type) ? ASN_EXPR_TYPE2STR(yyval.a_expr->expr_type) : "member", yyval.a_expr->_lineno ); } ; break;} case 108: #line 1128 "asn1p_y.y" { yyval.a_expr = yyvsp[0].a_expr; ; break;} case 109: #line 1131 "asn1p_y.y" { yyval.a_expr = yyvsp[-1].a_expr; assert(yyval.a_expr->expr_type == A1TC_INVALID); yyval.a_expr->expr_type = ASN_CONSTR_CHOICE; yyval.a_expr->meta_type = AMT_TYPE; ; break;} case 110: #line 1137 "asn1p_y.y" { yyval.a_expr = yyvsp[-1].a_expr; assert(yyval.a_expr->expr_type == A1TC_INVALID); yyval.a_expr->expr_type = ASN_CONSTR_SEQUENCE; yyval.a_expr->meta_type = AMT_TYPE; ; break;} case 111: #line 1143 "asn1p_y.y" { yyval.a_expr = yyvsp[-1].a_expr; assert(yyval.a_expr->expr_type == A1TC_INVALID); yyval.a_expr->expr_type = ASN_CONSTR_SET; yyval.a_expr->meta_type = AMT_TYPE; ; break;} case 112: #line 1149 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); yyval.a_expr->constraints = yyvsp[-4].a_constr; yyval.a_expr->expr_type = ASN_CONSTR_SEQUENCE_OF; yyval.a_expr->meta_type = AMT_TYPE; yyvsp[0].a_expr->Identifier = yyvsp[-2].tv_str; yyvsp[0].a_expr->tag = yyvsp[-1].a_tag; asn1p_expr_add(yyval.a_expr, yyvsp[0].a_expr); ; break;} case 113: #line 1159 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); yyval.a_expr->constraints = yyvsp[-4].a_constr; yyval.a_expr->expr_type = ASN_CONSTR_SET_OF; yyval.a_expr->meta_type = AMT_TYPE; yyvsp[0].a_expr->Identifier = yyvsp[-2].tv_str; yyvsp[0].a_expr->tag = yyvsp[-1].a_tag; asn1p_expr_add(yyval.a_expr, yyvsp[0].a_expr); ; break;} case 114: #line 1169 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); yyval.a_expr->expr_type = ASN_TYPE_ANY; yyval.a_expr->meta_type = AMT_TYPE; ; break;} case 115: #line 1175 "asn1p_y.y" { int ret; yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); yyval.a_expr->reference = asn1p_ref_new(yylineno); ret = asn1p_ref_add_component(yyval.a_expr->reference, yyvsp[0].tv_str, RLT_lowercase); checkmem(ret == 0); yyval.a_expr->expr_type = ASN_TYPE_ANY; yyval.a_expr->meta_type = AMT_TYPE; ; break;} case 116: #line 1189 "asn1p_y.y" { int ret; yyval.a_expr = yyvsp[-1].a_expr; assert(yyval.a_expr->expr_type == 0); assert(yyval.a_expr->meta_type == 0); assert(yyval.a_expr->reference == 0); yyval.a_expr->reference = asn1p_ref_new(yylineno); checkmem(yyval.a_expr->reference); ret = asn1p_ref_add_component(yyval.a_expr->reference, yyvsp[-3].tv_str, RLT_UNKNOWN); checkmem(ret == 0); free(yyvsp[-3].tv_str); yyval.a_expr->expr_type = A1TC_PARAMETRIZED; yyval.a_expr->meta_type = AMT_TYPE; ; break;} case 117: #line 1213 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); yyval.a_expr->reference = yyvsp[0].a_ref; yyval.a_expr->expr_type = A1TC_REFERENCE; yyval.a_expr->meta_type = AMT_TYPEREF; ; break;} case 118: #line 1220 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); yyval.a_expr->reference = yyvsp[0].a_ref; yyval.a_expr->expr_type = A1TC_INSTANCE; yyval.a_expr->meta_type = AMT_TYPE; ; break;} case 119: #line 1235 "asn1p_y.y" { int ret; yyval.a_ref = asn1p_ref_new(yylineno); checkmem(yyval.a_ref); ret = asn1p_ref_add_component(yyval.a_ref, yyvsp[0].tv_str, RLT_UNKNOWN); checkmem(ret == 0); free(yyvsp[0].tv_str); ; break;} case 120: #line 1243 "asn1p_y.y" { int ret; yyval.a_ref = asn1p_ref_new(yylineno); checkmem(yyval.a_ref); ret = asn1p_ref_add_component(yyval.a_ref, yyvsp[-2].tv_str, RLT_UNKNOWN); checkmem(ret == 0); ret = asn1p_ref_add_component(yyval.a_ref, yyvsp[0].tv_str, RLT_UNKNOWN); checkmem(ret == 0); free(yyvsp[-2].tv_str); ; break;} case 121: #line 1253 "asn1p_y.y" { int ret; yyval.a_ref = asn1p_ref_new(yylineno); checkmem(yyval.a_ref); ret = asn1p_ref_add_component(yyval.a_ref, yyvsp[-2].tv_str, RLT_UNKNOWN); checkmem(ret == 0); ret = asn1p_ref_add_component(yyval.a_ref, yyvsp[0].tv_str, RLT_UNKNOWN); checkmem(ret == 0); free(yyvsp[-2].tv_str); ; break;} case 122: #line 1263 "asn1p_y.y" { int ret; yyval.a_ref = asn1p_ref_new(yylineno); checkmem(yyval.a_ref); ret = asn1p_ref_add_component(yyval.a_ref, yyvsp[-2].tv_str, RLT_UNKNOWN); checkmem(ret == 0); ret = asn1p_ref_add_component(yyval.a_ref, yyvsp[0].tv_str, RLT_lowercase); checkmem(ret == 0); free(yyvsp[-2].tv_str); ; break;} case 123: #line 1273 "asn1p_y.y" { int ret; yyval.a_ref = asn1p_ref_new(yylineno); checkmem(yyval.a_ref); ret = asn1p_ref_add_component(yyval.a_ref, yyvsp[0].tv_str, RLT_CAPITALS); free(yyvsp[0].tv_str); checkmem(ret == 0); ; break;} case 124: #line 1281 "asn1p_y.y" { int ret; yyval.a_ref = yyvsp[0].a_ref; ret = asn1p_ref_add_component(yyval.a_ref, yyvsp[-2].tv_str, RLT_CAPITALS); free(yyvsp[-2].tv_str); checkmem(ret == 0); /* * Move the last element infront. */ { struct asn1p_ref_component_s tmp_comp; tmp_comp = yyval.a_ref->components[yyval.a_ref->comp_count-1]; memmove(&yyval.a_ref->components[1], &yyval.a_ref->components[0], sizeof(yyval.a_ref->components[0]) * (yyval.a_ref->comp_count - 1)); yyval.a_ref->components[0] = tmp_comp; } ; break;} case 125: #line 1303 "asn1p_y.y" { int ret; yyval.a_ref = asn1p_ref_new(yylineno); checkmem(yyval.a_ref); ret = asn1p_ref_add_component(yyval.a_ref, yyvsp[0].a_refcomp.name, yyvsp[0].a_refcomp.lex_type); free(yyvsp[0].a_refcomp.name); checkmem(ret == 0); ; break;} case 126: #line 1311 "asn1p_y.y" { int ret; yyval.a_ref = yyvsp[-2].a_ref; ret = asn1p_ref_add_component(yyval.a_ref, yyvsp[0].a_refcomp.name, yyvsp[0].a_refcomp.lex_type); free(yyvsp[0].a_refcomp.name); checkmem(ret == 0); ; break;} case 129: #line 1325 "asn1p_y.y" { yyval.a_refcomp.lex_type = RLT_AmpUppercase; yyval.a_refcomp.name = yyvsp[0].tv_str; ; break;} case 130: #line 1330 "asn1p_y.y" { yyval.a_refcomp.lex_type = RLT_Amplowercase; yyval.a_refcomp.name = yyvsp[0].tv_str; ; break;} case 131: #line 1343 "asn1p_y.y" { yyval.a_expr = yyvsp[-2].a_expr; assert(yyval.a_expr->Identifier == NULL); yyval.a_expr->Identifier = yyvsp[-3].tv_str; yyval.a_expr->meta_type = AMT_VALUE; yyval.a_expr->value = yyvsp[0].a_value; ; break;} case 132: #line 1353 "asn1p_y.y" { yyval.a_value = asn1p_value_fromint(0); checkmem(yyval.a_value); yyval.a_value->type = ATV_CHOICE_IDENTIFIER; yyval.a_value->value.choice_identifier.identifier = yyvsp[-2].tv_str; yyval.a_value->value.choice_identifier.value = yyvsp[0].a_value; ; break;} case 133: #line 1360 "asn1p_y.y" { asn1p_lexer_hack_push_opaque_state(); ; break;} case 134: #line 1360 "asn1p_y.y" { yyval.a_value = asn1p_value_frombuf(yyvsp[0].tv_opaque.buf, yyvsp[0].tv_opaque.len, 0); checkmem(yyval.a_value); yyval.a_value->type = ATV_UNPARSED; ; break;} case 135: #line 1365 "asn1p_y.y" { yyval.a_value = asn1p_value_fromint(0); checkmem(yyval.a_value); yyval.a_value->type = ATV_NULL; ; break;} case 136: #line 1370 "asn1p_y.y" { yyval.a_value = asn1p_value_fromint(0); checkmem(yyval.a_value); yyval.a_value->type = ATV_FALSE; ; break;} case 137: #line 1375 "asn1p_y.y" { yyval.a_value = asn1p_value_fromint(0); checkmem(yyval.a_value); yyval.a_value->type = ATV_TRUE; ; break;} case 138: #line 1380 "asn1p_y.y" { yyval.a_value = _convert_bitstring2binary(yyvsp[0].tv_str, 'B'); checkmem(yyval.a_value); ; break;} case 139: #line 1384 "asn1p_y.y" { yyval.a_value = _convert_bitstring2binary(yyvsp[0].tv_str, 'H'); checkmem(yyval.a_value); ; break;} case 140: #line 1388 "asn1p_y.y" { yyval.a_value = yyval.a_value; ; break;} case 141: #line 1391 "asn1p_y.y" { yyval.a_value = yyvsp[0].a_value; ; break;} case 142: #line 1394 "asn1p_y.y" { yyval.a_value = yyvsp[0].a_value; ; break;} case 143: #line 1400 "asn1p_y.y" { asn1p_ref_t *ref; int ret; ref = asn1p_ref_new(yylineno); checkmem(ref); ret = asn1p_ref_add_component(ref, yyvsp[0].tv_str, RLT_lowercase); checkmem(ret == 0); yyval.a_value = asn1p_value_fromref(ref, 0); checkmem(yyval.a_value); free(yyvsp[0].tv_str); ; break;} case 144: #line 1411 "asn1p_y.y" { asn1p_ref_t *ref; int ret; ref = asn1p_ref_new(yylineno); checkmem(ref); ret = asn1p_ref_add_component(ref, yyvsp[-2].tv_str, RLT_UNKNOWN); checkmem(ret == 0); ret = asn1p_ref_add_component(ref, yyvsp[0].tv_str, RLT_lowercase); checkmem(ret == 0); yyval.a_value = asn1p_value_fromref(ref, 0); checkmem(yyval.a_value); free(yyvsp[-2].tv_str); free(yyvsp[0].tv_str); ; break;} case 145: #line 1429 "asn1p_y.y" { yyval.a_value = asn1p_value_frombuf(yyvsp[0].tv_opaque.buf, yyvsp[0].tv_opaque.len, 0); checkmem(yyval.a_value); ; break;} case 146: #line 1433 "asn1p_y.y" { yyval.a_value = asn1p_value_fromint(yyvsp[0].a_int); checkmem(yyval.a_value); yyval.a_value->type = ATV_TUPLE; ; break;} case 147: #line 1438 "asn1p_y.y" { yyval.a_value = asn1p_value_fromint(yyvsp[0].a_int); checkmem(yyval.a_value); yyval.a_value->type = ATV_QUADRUPLE; ; break;} case 148: #line 1472 "asn1p_y.y" { yyval.tv_opaque.len = yyvsp[0].tv_opaque.len + 1; yyval.tv_opaque.buf = malloc(yyval.tv_opaque.len + 1); checkmem(yyval.tv_opaque.buf); yyval.tv_opaque.buf[0] = '{'; memcpy(yyval.tv_opaque.buf + 1, yyvsp[0].tv_opaque.buf, yyvsp[0].tv_opaque.len); yyval.tv_opaque.buf[yyval.tv_opaque.len] = '\0'; free(yyvsp[0].tv_opaque.buf); ; break;} case 149: #line 1481 "asn1p_y.y" { int newsize = yyvsp[-1].tv_opaque.len + yyvsp[0].tv_opaque.len; char *p = malloc(newsize + 1); checkmem(p); memcpy(p , yyvsp[-1].tv_opaque.buf, yyvsp[-1].tv_opaque.len); memcpy(p + yyvsp[-1].tv_opaque.len, yyvsp[0].tv_opaque.buf, yyvsp[0].tv_opaque.len); p[newsize] = '\0'; free(yyvsp[-1].tv_opaque.buf); free(yyvsp[0].tv_opaque.buf); yyval.tv_opaque.buf = p; yyval.tv_opaque.len = newsize; ; break;} case 150: #line 1496 "asn1p_y.y" { yyval.a_type = ASN_BASIC_BOOLEAN; ; break;} case 151: #line 1497 "asn1p_y.y" { yyval.a_type = ASN_BASIC_NULL; ; break;} case 152: #line 1498 "asn1p_y.y" { yyval.a_type = ASN_BASIC_REAL; ; break;} case 153: #line 1499 "asn1p_y.y" { yyval.a_type = yyvsp[0].a_type; ; break;} case 154: #line 1500 "asn1p_y.y" { yyval.a_type = ASN_BASIC_OCTET_STRING; ; break;} case 155: #line 1501 "asn1p_y.y" { yyval.a_type = ASN_BASIC_OBJECT_IDENTIFIER; ; break;} case 156: #line 1502 "asn1p_y.y" { yyval.a_type = ASN_BASIC_RELATIVE_OID; ; break;} case 157: #line 1503 "asn1p_y.y" { yyval.a_type = ASN_BASIC_EXTERNAL; ; break;} case 158: #line 1504 "asn1p_y.y" { yyval.a_type = ASN_BASIC_EMBEDDED_PDV; ; break;} case 159: #line 1505 "asn1p_y.y" { yyval.a_type = ASN_BASIC_CHARACTER_STRING; ; break;} case 160: #line 1506 "asn1p_y.y" { yyval.a_type = ASN_BASIC_UTCTime; ; break;} case 161: #line 1507 "asn1p_y.y" { yyval.a_type = ASN_BASIC_GeneralizedTime; ; break;} case 162: #line 1508 "asn1p_y.y" { yyval.a_type = yyvsp[0].a_type; ; break;} case 163: #line 1515 "asn1p_y.y" { yyval.a_type = ASN_BASIC_INTEGER; ; break;} case 164: #line 1516 "asn1p_y.y" { yyval.a_type = ASN_BASIC_ENUMERATED; ; break;} case 165: #line 1517 "asn1p_y.y" { yyval.a_type = ASN_BASIC_BIT_STRING; ; break;} case 166: #line 1521 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); yyval.a_expr->expr_type = yyvsp[0].a_type; yyval.a_expr->meta_type = AMT_TYPE; ; break;} case 167: #line 1527 "asn1p_y.y" { if(yyvsp[0].a_expr) { yyval.a_expr = yyvsp[0].a_expr; } else { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); } yyval.a_expr->expr_type = yyvsp[-1].a_type; yyval.a_expr->meta_type = AMT_TYPE; ; break;} case 168: #line 1540 "asn1p_y.y" { yyval.a_type = ASN_STRING_BMPString; ; break;} case 169: #line 1541 "asn1p_y.y" { yyval.a_type = ASN_STRING_GeneralString; fprintf(stderr, "WARNING: GeneralString is not fully supported\n"); ; break;} case 170: #line 1545 "asn1p_y.y" { yyval.a_type = ASN_STRING_GraphicString; fprintf(stderr, "WARNING: GraphicString is not fully supported\n"); ; break;} case 171: #line 1549 "asn1p_y.y" { yyval.a_type = ASN_STRING_IA5String; ; break;} case 172: #line 1550 "asn1p_y.y" { yyval.a_type = ASN_STRING_ISO646String; ; break;} case 173: #line 1551 "asn1p_y.y" { yyval.a_type = ASN_STRING_NumericString; ; break;} case 174: #line 1552 "asn1p_y.y" { yyval.a_type = ASN_STRING_PrintableString; ; break;} case 175: #line 1553 "asn1p_y.y" { yyval.a_type = ASN_STRING_T61String; fprintf(stderr, "WARNING: T61String is not fully supported\n"); ; break;} case 176: #line 1557 "asn1p_y.y" { yyval.a_type = ASN_STRING_TeletexString; ; break;} case 177: #line 1558 "asn1p_y.y" { yyval.a_type = ASN_STRING_UniversalString; ; break;} case 178: #line 1559 "asn1p_y.y" { yyval.a_type = ASN_STRING_UTF8String; ; break;} case 179: #line 1560 "asn1p_y.y" { yyval.a_type = ASN_STRING_VideotexString; fprintf(stderr, "WARNING: VideotexString is not fully supported\n"); ; break;} case 180: #line 1564 "asn1p_y.y" { yyval.a_type = ASN_STRING_VisibleString; ; break;} case 181: #line 1565 "asn1p_y.y" { yyval.a_type = ASN_STRING_ObjectDescriptor; ; break;} case 187: #line 1577 "asn1p_y.y" { yyval.a_constr = 0; ; break;} case 188: #line 1578 "asn1p_y.y" { yyval.a_constr = yyvsp[0].a_constr; ; break;} case 189: #line 1584 "asn1p_y.y" { CONSTRAINT_INSERT(yyval.a_constr, ACT_CA_SET, yyvsp[0].a_constr, 0); ; break;} case 190: #line 1587 "asn1p_y.y" { /* * This is a special case, for compatibility purposes. * It goes without parentheses. */ CONSTRAINT_INSERT(yyval.a_constr, ACT_CT_SIZE, yyvsp[-1].a_constr, 0); ; break;} case 191: #line 1597 "asn1p_y.y" { yyval.a_constr = yyvsp[-1].a_constr; ; break;} case 192: #line 1600 "asn1p_y.y" { CONSTRAINT_INSERT(yyval.a_constr, ACT_CA_SET, yyvsp[-3].a_constr, yyvsp[-1].a_constr); ; break;} case 193: #line 1606 "asn1p_y.y" { yyval.a_constr = yyvsp[0].a_constr; ; break;} case 194: #line 1609 "asn1p_y.y" { asn1p_constraint_t *ct; ct = asn1p_constraint_new(yylineno); ct->type = ACT_EL_EXT; CONSTRAINT_INSERT(yyval.a_constr, ACT_CA_CSV, yyvsp[-2].a_constr, ct); ; break;} case 195: #line 1615 "asn1p_y.y" { asn1p_constraint_t *ct; ct = asn1p_constraint_new(yylineno); ct->type = ACT_EL_EXT; CONSTRAINT_INSERT(yyval.a_constr, ACT_CA_CSV, yyvsp[-4].a_constr, ct); ct = yyval.a_constr; CONSTRAINT_INSERT(yyval.a_constr, ACT_CA_CSV, ct, yyvsp[0].a_constr); ; break;} case 196: #line 1626 "asn1p_y.y" { yyval.a_constr = yyvsp[0].a_constr; ; break;} case 197: #line 1629 "asn1p_y.y" { CONSTRAINT_INSERT(yyval.a_constr, ACT_CA_AEX, yyvsp[0].a_constr, 0); ; break;} case 198: #line 1632 "asn1p_y.y" { CONSTRAINT_INSERT(yyval.a_constr, ACT_CA_UNI, yyvsp[-2].a_constr, yyvsp[0].a_constr); ; break;} case 199: #line 1635 "asn1p_y.y" { CONSTRAINT_INSERT(yyval.a_constr, ACT_CA_INT, yyvsp[-2].a_constr, yyvsp[0].a_constr); ; break;} case 200: #line 1638 "asn1p_y.y" { CONSTRAINT_INSERT(yyval.a_constr, ACT_CA_EXC, yyvsp[-2].a_constr, yyvsp[0].a_constr); ; break;} case 201: #line 1644 "asn1p_y.y" { int ret; yyval.a_constr = asn1p_constraint_new(yylineno); checkmem(yyval.a_constr); yyval.a_constr->type = yyvsp[-3].a_ctype; ret = asn1p_constraint_insert(yyval.a_constr, yyvsp[-1].a_constr); checkmem(ret == 0); ; break;} case 202: #line 1652 "asn1p_y.y" { int ret; yyval.a_constr = asn1p_constraint_new(yylineno); checkmem(yyval.a_constr); yyval.a_constr->type = ACT_CA_SET; ret = asn1p_constraint_insert(yyval.a_constr, yyvsp[-1].a_constr); checkmem(ret == 0); ; break;} case 203: #line 1660 "asn1p_y.y" { yyval.a_constr = asn1p_constraint_new(yylineno); checkmem(yyval.a_constr); yyval.a_constr->type = ACT_EL_VALUE; yyval.a_constr->value = yyvsp[0].a_value; ; break;} case 204: #line 1666 "asn1p_y.y" { yyval.a_constr = asn1p_constraint_new(yylineno); checkmem(yyval.a_constr); yyval.a_constr->type = ACT_EL_TYPE; yyval.a_constr->containedSubtype = yyvsp[0].a_value; ; break;} case 205: #line 1672 "asn1p_y.y" { yyval.a_constr = asn1p_constraint_new(yylineno); checkmem(yyval.a_constr); yyval.a_constr->type = yyvsp[-1].a_ctype; yyval.a_constr->range_start = yyvsp[-2].a_value; yyval.a_constr->range_stop = yyvsp[0].a_value; ; break;} case 206: #line 1679 "asn1p_y.y" { yyval.a_constr = asn1p_constraint_new(yylineno); checkmem(yyval.a_constr); yyval.a_constr->type = yyvsp[-1].a_ctype; yyval.a_constr->range_start = asn1p_value_fromint(-123); yyval.a_constr->range_stop = yyvsp[0].a_value; yyval.a_constr->range_start->type = ATV_MIN; ; break;} case 207: #line 1687 "asn1p_y.y" { yyval.a_constr = asn1p_constraint_new(yylineno); checkmem(yyval.a_constr); yyval.a_constr->type = yyvsp[-1].a_ctype; yyval.a_constr->range_start = yyvsp[-2].a_value; yyval.a_constr->range_stop = asn1p_value_fromint(321); yyval.a_constr->range_stop->type = ATV_MAX; ; break;} case 208: #line 1695 "asn1p_y.y" { yyval.a_constr = asn1p_constraint_new(yylineno); checkmem(yyval.a_constr); yyval.a_constr->type = yyvsp[-1].a_ctype; yyval.a_constr->range_start = asn1p_value_fromint(-123); yyval.a_constr->range_stop = asn1p_value_fromint(321); yyval.a_constr->range_start->type = ATV_MIN; yyval.a_constr->range_stop->type = ATV_MAX; ; break;} case 209: #line 1704 "asn1p_y.y" { yyval.a_constr = yyvsp[0].a_constr; ; break;} case 210: #line 1707 "asn1p_y.y" { yyval.a_constr = yyvsp[0].a_constr; ; break;} case 211: #line 1711 "asn1p_y.y" { asn1p_lexer_hack_push_opaque_state(); ; break;} case 212: #line 1711 "asn1p_y.y" { yyval.a_constr = asn1p_constraint_new(yylineno); checkmem(yyval.a_constr); yyval.a_constr->type = ACT_CT_CTDBY; yyval.a_constr->value = asn1p_value_frombuf(yyvsp[0].tv_opaque.buf, yyvsp[0].tv_opaque.len, 0); checkmem(yyval.a_constr->value); yyval.a_constr->value->type = ATV_UNPARSED; ; break;} case 213: #line 1722 "asn1p_y.y" { yyval.a_ctype = ACT_EL_RANGE; ; break;} case 214: #line 1723 "asn1p_y.y" { yyval.a_ctype = ACT_EL_RLRANGE; ; break;} case 215: #line 1724 "asn1p_y.y" { yyval.a_ctype = ACT_EL_LLRANGE; ; break;} case 216: #line 1725 "asn1p_y.y" { yyval.a_ctype = ACT_EL_ULRANGE; ; break;} case 217: #line 1729 "asn1p_y.y" { yyval.a_ctype = ACT_CT_SIZE; ; break;} case 218: #line 1732 "asn1p_y.y" { yyval.a_ctype = ACT_CT_FROM; ; break;} case 219: #line 1738 "asn1p_y.y" { yyval.a_value = asn1p_value_fromint(0); checkmem(yyval.a_value); yyval.a_value->type = ATV_FALSE; ; break;} case 220: #line 1743 "asn1p_y.y" { yyval.a_value = asn1p_value_fromint(1); checkmem(yyval.a_value); yyval.a_value->type = ATV_TRUE; ; break;} case 221: #line 1748 "asn1p_y.y" { yyval.a_value = yyvsp[0].a_value; ; break;} case 222: #line 1751 "asn1p_y.y" { yyval.a_value = yyvsp[0].a_value; ; break;} case 223: #line 1754 "asn1p_y.y" { asn1p_ref_t *ref; int ret; ref = asn1p_ref_new(yylineno); checkmem(ref); ret = asn1p_ref_add_component(ref, yyvsp[0].tv_str, RLT_lowercase); checkmem(ret == 0); yyval.a_value = asn1p_value_fromref(ref, 0); checkmem(yyval.a_value); free(yyvsp[0].tv_str); ; break;} case 224: #line 1768 "asn1p_y.y" { asn1p_ref_t *ref; int ret; ref = asn1p_ref_new(yylineno); checkmem(ref); ret = asn1p_ref_add_component(ref, yyvsp[0].tv_str, RLT_UNKNOWN); checkmem(ret == 0); yyval.a_value = asn1p_value_fromref(ref, 0); checkmem(yyval.a_value); free(yyvsp[0].tv_str); ; break;} case 225: #line 1782 "asn1p_y.y" { CONSTRAINT_INSERT(yyval.a_constr, ACT_CT_WCOMP, yyvsp[0].a_constr, 0); ; break;} case 226: #line 1785 "asn1p_y.y" { CONSTRAINT_INSERT(yyval.a_constr, ACT_CT_WCOMPS, yyvsp[-1].a_constr, 0); ; break;} case 227: #line 1791 "asn1p_y.y" { yyval.a_constr = yyvsp[0].a_constr; ; break;} case 228: #line 1794 "asn1p_y.y" { CONSTRAINT_INSERT(yyval.a_constr, ACT_CT_WCOMPS, yyvsp[-2].a_constr, yyvsp[0].a_constr); ; break;} case 229: #line 1800 "asn1p_y.y" { yyval.a_constr = asn1p_constraint_new(yylineno); checkmem(yyval.a_constr); yyval.a_constr->type = ACT_EL_EXT; yyval.a_constr->value = asn1p_value_frombuf("...", 3, 0); ; break;} case 230: #line 1806 "asn1p_y.y" { yyval.a_constr = asn1p_constraint_new(yylineno); checkmem(yyval.a_constr); yyval.a_constr->type = ACT_EL_VALUE; yyval.a_constr->value = asn1p_value_frombuf(yyvsp[-2].tv_str, strlen(yyvsp[-2].tv_str), 0); yyval.a_constr->presence = yyvsp[0].a_pres; if(yyvsp[-1].a_constr) asn1p_constraint_insert(yyval.a_constr, yyvsp[-1].a_constr); ; break;} case 231: #line 1820 "asn1p_y.y" { yyval.a_pres = ACPRES_DEFAULT; ; break;} case 232: #line 1821 "asn1p_y.y" { yyval.a_pres = yyvsp[0].a_pres; ; break;} case 233: #line 1825 "asn1p_y.y" { yyval.a_pres = ACPRES_PRESENT; ; break;} case 234: #line 1828 "asn1p_y.y" { yyval.a_pres = ACPRES_ABSENT; ; break;} case 235: #line 1831 "asn1p_y.y" { yyval.a_pres = ACPRES_OPTIONAL; ; break;} case 236: #line 1837 "asn1p_y.y" { yyval.a_constr = yyvsp[0].a_constr; ; break;} case 237: #line 1840 "asn1p_y.y" { yyval.a_constr = yyvsp[0].a_constr; ; break;} case 238: #line 1849 "asn1p_y.y" { asn1p_ref_t *ref = asn1p_ref_new(yylineno); asn1p_constraint_t *ct; int ret; ret = asn1p_ref_add_component(ref, yyvsp[-1].tv_str, 0); checkmem(ret == 0); ct = asn1p_constraint_new(yylineno); checkmem(yyval.a_constr); ct->type = ACT_EL_VALUE; ct->value = asn1p_value_fromref(ref, 0); CONSTRAINT_INSERT(yyval.a_constr, ACT_CA_CRC, ct, 0); ; break;} case 239: #line 1864 "asn1p_y.y" { CONSTRAINT_INSERT(yyval.a_constr, ACT_CA_CRC, yyvsp[-3].a_constr, yyvsp[-1].a_constr); ; break;} case 240: #line 1870 "asn1p_y.y" { yyval.a_constr = asn1p_constraint_new(yylineno); checkmem(yyval.a_constr); yyval.a_constr->type = ACT_EL_VALUE; yyval.a_constr->value = asn1p_value_fromref(yyvsp[0].a_ref, 0); ; break;} case 241: #line 1876 "asn1p_y.y" { asn1p_constraint_t *ct; ct = asn1p_constraint_new(yylineno); checkmem(ct); ct->type = ACT_EL_VALUE; ct->value = asn1p_value_fromref(yyvsp[0].a_ref, 0); CONSTRAINT_INSERT(yyval.a_constr, ACT_CA_CSV, yyvsp[-2].a_constr, ct); ; break;} case 242: #line 1890 "asn1p_y.y" { char *p = malloc(strlen(yyvsp[0].tv_str) + 2); int ret; *p = '@'; strcpy(p + 1, yyvsp[0].tv_str); yyval.a_ref = asn1p_ref_new(yylineno); ret = asn1p_ref_add_component(yyval.a_ref, p, 0); checkmem(ret == 0); free(p); free(yyvsp[0].tv_str); ; break;} case 243: #line 1901 "asn1p_y.y" { char *p = malloc(strlen(yyvsp[0].tv_str) + 3); int ret; p[0] = '@'; p[1] = '.'; strcpy(p + 2, yyvsp[0].tv_str); yyval.a_ref = asn1p_ref_new(yylineno); ret = asn1p_ref_add_component(yyval.a_ref, p, 0); checkmem(ret == 0); free(p); free(yyvsp[0].tv_str); ; break;} case 244: #line 1917 "asn1p_y.y" { yyval.tv_str = yyvsp[0].tv_str; ; break;} case 245: #line 1920 "asn1p_y.y" { int l1 = strlen(yyvsp[-2].tv_str); int l3 = strlen(yyvsp[0].tv_str); yyval.tv_str = malloc(l1 + 1 + l3 + 1); memcpy(yyval.tv_str, yyvsp[-2].tv_str, l1); yyval.tv_str[l1] = '.'; memcpy(yyval.tv_str + l1 + 1, yyvsp[0].tv_str, l3); yyval.tv_str[l1 + 1 + l3] = '\0'; ; break;} case 246: #line 1938 "asn1p_y.y" { yyval.a_marker.flags = EM_NOMARK; yyval.a_marker.default_value = 0; ; break;} case 247: #line 1942 "asn1p_y.y" { yyval.a_marker = yyvsp[0].a_marker; ; break;} case 248: #line 1946 "asn1p_y.y" { yyval.a_marker.flags = EM_OPTIONAL; yyval.a_marker.default_value = 0; ; break;} case 249: #line 1950 "asn1p_y.y" { yyval.a_marker.flags = EM_DEFAULT; yyval.a_marker.default_value = yyvsp[0].a_value; ; break;} case 250: #line 1973 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); ; break;} case 251: #line 1977 "asn1p_y.y" { yyval.a_expr = yyvsp[-1].a_expr; ; break;} case 252: #line 1983 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); asn1p_expr_add(yyval.a_expr, yyvsp[0].a_expr); ; break;} case 253: #line 1988 "asn1p_y.y" { yyval.a_expr = yyvsp[-2].a_expr; asn1p_expr_add(yyval.a_expr, yyvsp[0].a_expr); ; break;} case 254: #line 1995 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); yyval.a_expr->expr_type = A1TC_UNIVERVAL; yyval.a_expr->meta_type = AMT_VALUE; yyval.a_expr->Identifier = yyvsp[0].tv_str; ; break;} case 255: #line 2002 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); yyval.a_expr->expr_type = A1TC_UNIVERVAL; yyval.a_expr->meta_type = AMT_VALUE; yyval.a_expr->Identifier = yyvsp[-3].tv_str; yyval.a_expr->value = yyvsp[-1].a_value; ; break;} case 256: #line 2010 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); yyval.a_expr->expr_type = A1TC_UNIVERVAL; yyval.a_expr->meta_type = AMT_VALUE; yyval.a_expr->Identifier = yyvsp[-3].tv_str; yyval.a_expr->value = yyvsp[-1].a_value; ; break;} case 257: #line 2018 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); yyval.a_expr->expr_type = A1TC_UNIVERVAL; yyval.a_expr->meta_type = AMT_VALUE; yyval.a_expr->value = yyvsp[0].a_value; ; break;} case 258: #line 2025 "asn1p_y.y" { yyval.a_expr = asn1p_expr_new(yylineno); checkmem(yyval.a_expr); yyval.a_expr->Identifier = strdup("..."); checkmem(yyval.a_expr->Identifier); yyval.a_expr->expr_type = A1TC_EXTENSIBLE; yyval.a_expr->meta_type = AMT_VALUE; ; break;} case 259: #line 2036 "asn1p_y.y" { yyval.a_value = asn1p_value_fromint(yyvsp[0].a_int); checkmem(yyval.a_value); ; break;} case 260: #line 2040 "asn1p_y.y" { yyval.a_value = asn1p_value_fromint(yyvsp[0].a_int); checkmem(yyval.a_value); ; break;} case 261: #line 2071 "asn1p_y.y" { memset(&yyval.a_tag, 0, sizeof(yyval.a_tag)); ; break;} case 262: #line 2072 "asn1p_y.y" { yyval.a_tag = yyvsp[0].a_tag; ; break;} case 263: #line 2076 "asn1p_y.y" { yyval.a_tag = yyvsp[-1].a_tag; yyval.a_tag.tag_mode = yyvsp[0].a_tag.tag_mode; ; break;} case 264: #line 2083 "asn1p_y.y" { yyval.a_tag = yyvsp[-2].a_tag; yyval.a_tag.tag_value = yyvsp[-1].a_int; ; break;} case 265: #line 2089 "asn1p_y.y" { yyval.a_tag.tag_class = TC_CONTEXT_SPECIFIC; ; break;} case 266: #line 2090 "asn1p_y.y" { yyval.a_tag.tag_class = TC_UNIVERSAL; ; break;} case 267: #line 2091 "asn1p_y.y" { yyval.a_tag.tag_class = TC_APPLICATION; ; break;} case 268: #line 2092 "asn1p_y.y" { yyval.a_tag.tag_class = TC_PRIVATE; ; break;} case 269: #line 2096 "asn1p_y.y" { yyval.a_tag.tag_mode = TM_DEFAULT; ; break;} case 270: #line 2097 "asn1p_y.y" { yyval.a_tag.tag_mode = TM_IMPLICIT; ; break;} case 271: #line 2098 "asn1p_y.y" { yyval.a_tag.tag_mode = TM_EXPLICIT; ; break;} case 272: #line 2102 "asn1p_y.y" { checkmem(yyvsp[0].tv_str); yyval.tv_str = yyvsp[0].tv_str; ; break;} case 273: #line 2106 "asn1p_y.y" { checkmem(yyvsp[0].tv_str); yyval.tv_str = yyvsp[0].tv_str; ; break;} case 274: #line 2114 "asn1p_y.y" { checkmem(yyvsp[0].tv_str); yyval.tv_str = yyvsp[0].tv_str; ; break;} case 275: #line 2121 "asn1p_y.y" { yyval.tv_str = 0; ; break;} case 276: #line 2122 "asn1p_y.y" { yyval.tv_str = yyvsp[0].tv_str; ; break;} case 277: #line 2128 "asn1p_y.y" { checkmem(yyvsp[0].tv_str); yyval.tv_str = yyvsp[0].tv_str; ; break;} } /* the action file gets copied in in place of this dollarsign */ #line 543 "/usr/share/bison.simple" yyvsp -= yylen; yyssp -= yylen; #ifdef YYLSP_NEEDED yylsp -= yylen; #endif #if YYDEBUG != 0 if (yydebug) { short *ssp1 = yyss - 1; fprintf (stderr, "state stack now"); while (ssp1 != yyssp) fprintf (stderr, " %d", *++ssp1); fprintf (stderr, "\n"); } #endif *++yyvsp = yyval; #ifdef YYLSP_NEEDED yylsp++; if (yylen == 0) { yylsp->first_line = yylloc.first_line; yylsp->first_column = yylloc.first_column; yylsp->last_line = (yylsp-1)->last_line; yylsp->last_column = (yylsp-1)->last_column; yylsp->text = 0; } else { yylsp->last_line = (yylsp+yylen-1)->last_line; yylsp->last_column = (yylsp+yylen-1)->last_column; } #endif /* Now "shift" the result of the reduction. Determine what state that goes to, based on the state we popped back to and the rule number reduced by. */ yyn = yyr1[yyn]; yystate = yypgoto[yyn - YYNTBASE] + *yyssp; if (yystate >= 0 && yystate <= YYLAST && yycheck[yystate] == *yyssp) yystate = yytable[yystate]; else yystate = yydefgoto[yyn - YYNTBASE]; goto yynewstate; yyerrlab: /* here on detecting error */ if (! yyerrstatus) /* If not already recovering from an error, report this error. */ { ++yynerrs; #ifdef YYERROR_VERBOSE yyn = yypact[yystate]; if (yyn > YYFLAG && yyn < YYLAST) { int size = 0; char *msg; int x, count; count = 0; /* Start X at -yyn if nec to avoid negative indexes in yycheck. */ for (x = (yyn < 0 ? -yyn : 0); x < (int)(sizeof(yytname) / sizeof(char *)); x++) if (yycheck[x + yyn] == x) size += strlen(yytname[x]) + 15, count++; msg = (char *) malloc(size + 15); if (msg != 0) { strcpy(msg, "parse error"); if (count < 5) { count = 0; for (x = (yyn < 0 ? -yyn : 0); x < (int)(sizeof(yytname) / sizeof(char *)); x++) if (yycheck[x + yyn] == x) { strcat(msg, count == 0 ? ", expecting `" : " or `"); strcat(msg, yytname[x]); strcat(msg, "'"); count++; } } yyerror(msg); free(msg); } else yyerror ("parse error; also virtual memory exceeded"); } else #endif /* YYERROR_VERBOSE */ yyerror("parse error"); } goto yyerrlab1; yyerrlab1: /* here on error raised explicitly by an action */ if (yyerrstatus == 3) { /* if just tried and failed to reuse lookahead token after an error, discard it. */ /* return failure if at end of input */ if (yychar == YYEOF) YYABORT; #if YYDEBUG != 0 if (yydebug) fprintf(stderr, "Discarding token %d (%s).\n", yychar, yytname[yychar1]); #endif yychar = YYEMPTY; } /* Else will try to reuse lookahead token after shifting the error token. */ yyerrstatus = 3; /* Each real token shifted decrements this */ goto yyerrhandle; yyerrdefault: /* current state does not do anything special for the error token. */ #if 0 /* This is wrong; only states that explicitly want error tokens should shift them. */ yyn = yydefact[yystate]; /* If its default is to accept any token, ok. Otherwise pop it.*/ if (yyn) goto yydefault; #endif yyerrpop: /* pop the current state because it cannot handle the error token */ if (yyssp == yyss) YYABORT; yyvsp--; yystate = *--yyssp; #ifdef YYLSP_NEEDED yylsp--; #endif #if YYDEBUG != 0 if (yydebug) { short *ssp1 = yyss - 1; fprintf (stderr, "Error: state stack now"); while (ssp1 != yyssp) fprintf (stderr, " %d", *++ssp1); fprintf (stderr, "\n"); } #endif yyerrhandle: yyn = yypact[yystate]; if (yyn == YYFLAG) goto yyerrdefault; yyn += YYTERROR; if (yyn < 0 || yyn > YYLAST || yycheck[yyn] != YYTERROR) goto yyerrdefault; yyn = yytable[yyn]; if (yyn < 0) { if (yyn == YYFLAG) goto yyerrpop; yyn = -yyn; goto yyreduce; } else if (yyn == 0) goto yyerrpop; if (yyn == YYFINAL) YYACCEPT; #if YYDEBUG != 0 if (yydebug) fprintf(stderr, "Shifting error token, "); #endif *++yyvsp = yylval; #ifdef YYLSP_NEEDED *++yylsp = yylloc; #endif yystate = yyn; goto yynewstate; yyacceptlab: /* YYACCEPT comes here. */ if (yyfree_stacks) { free (yyss); free (yyvs); #ifdef YYLSP_NEEDED free (yyls); #endif } return 0; yyabortlab: /* YYABORT comes here. */ if (yyfree_stacks) { free (yyss); free (yyvs); #ifdef YYLSP_NEEDED free (yyls); #endif } return 1; } #line 2134 "asn1p_y.y" /* * Convert Xstring ('0101'B or '5'H) to the binary vector. */ static asn1p_value_t * _convert_bitstring2binary(char *str, int base) { asn1p_value_t *val; int slen; int memlen; int baselen; int bits; uint8_t *binary_vector; uint8_t *bv_ptr; uint8_t cur_val; assert(str); assert(str[0] == '\''); switch(base) { case 'B': baselen = 1; break; case 'H': baselen = 4; break; default: assert(base == 'B' || base == 'H'); errno = EINVAL; return NULL; } slen = strlen(str); assert(str[slen - 1] == base); assert(str[slen - 2] == '\''); memlen = slen / (8 / baselen); /* Conservative estimate */ bv_ptr = binary_vector = malloc(memlen + 1); if(bv_ptr == NULL) /* ENOMEM */ return NULL; cur_val = 0; bits = 0; while(*(++str) != '\'') { switch(baselen) { case 1: switch(*str) { case '1': cur_val |= 1 << (7 - (bits % 8)); case '0': break; default: assert(!"_y UNREACH1"); case ' ': case '\r': case '\n': continue; } break; case 4: switch(*str) { case '0': case '1': case '2': case '3': case '4': case '5': case '6': case '7': case '8': case '9': cur_val |= (*str - '0') << (4 - (bits % 8)); break; case 'A': case 'B': case 'C': case 'D': case 'E': case 'F': cur_val |= ((*str - 'A') + 10) << (4 - (bits % 8)); break; default: assert(!"_y UNREACH2"); case ' ': case '\r': case '\n': continue; } break; } bits += baselen; if((bits % 8) == 0) { *bv_ptr++ = cur_val; cur_val = 0; } } *bv_ptr = cur_val; assert((bv_ptr - binary_vector) <= memlen); val = asn1p_value_frombits(binary_vector, bits, 0); if(val == NULL) { free(binary_vector); } return val; } /* * For unnamed types (used in old X.208 compliant modules) * generate some sort of interim names, to not to force human being to fix * the specification's compliance to modern ASN.1 standards. */ static void _fixup_anonymous_identifier(asn1p_expr_t *expr) { char *p; assert(expr->Identifier == 0); /* * Try to figure out the type name * without going too much into details */ expr->Identifier = ASN_EXPR_TYPE2STR(expr->expr_type); if(expr->reference && expr->reference->comp_count > 0) expr->Identifier = expr->reference->components[0].name; fprintf(stderr, "WARNING: Line %d: expected lower-case member identifier, " "found an unnamed %s.\n" "WARNING: Obsolete X.208 syntax detected, " "please give the member a name.\n", yylineno, expr->Identifier ? expr->Identifier : "type"); if(!expr->Identifier) expr->Identifier = "unnamed"; expr->Identifier = strdup(expr->Identifier); assert(expr->Identifier); /* Make a lowercase identifier from the type name */ for(p = expr->Identifier; *p; p++) { switch(*p) { case 'A' ... 'Z': *p += 32; break; case ' ': *p = '_'; break; case '-': *p = '_'; break; } } fprintf(stderr, "NOTE: Assigning temporary identifier \"%s\". " "Name clash may occur later.\n", expr->Identifier); } extern char *asn1p_text; int yyerror(const char *msg) { fprintf(stderr, "ASN.1 grammar parse error " "near line %d (token \"%s\"): %s\n", yylineno, asn1p_text, msg); return -1; }