vlm | fa67ddc | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 1 | #include "asn1fix_internal.h" |
| 2 | |
vlm | 8fbd562 | 2004-09-10 06:07:04 +0000 | [diff] [blame] | 3 | #define ADD_TAG(skip, newtag) do { \ |
| 4 | void *__p; \ |
vlm | 72425de | 2004-09-13 08:31:01 +0000 | [diff] [blame] | 5 | if(skip && !(flags & AFT_FULL_COLLECT)) { \ |
vlm | 1308d2b | 2004-09-10 15:49:15 +0000 | [diff] [blame] | 6 | if(newtag.tag_mode != TM_IMPLICIT) \ |
| 7 | skip--; \ |
| 8 | break; \ |
| 9 | } else { \ |
| 10 | if(newtag.tag_mode == TM_IMPLICIT) \ |
| 11 | skip++; \ |
| 12 | } \ |
vlm | 8fbd562 | 2004-09-10 06:07:04 +0000 | [diff] [blame] | 13 | __p = realloc((*tags), \ |
| 14 | sizeof(struct asn1p_type_tag_s) * (count + 1)); \ |
| 15 | if(!__p) return -1; \ |
| 16 | *tags = __p; \ |
| 17 | (*tags)[count++] = newtag; \ |
| 18 | if((flags & AFT_FETCH_OUTMOST)) return count; \ |
vlm | 8fbd562 | 2004-09-10 06:07:04 +0000 | [diff] [blame] | 19 | } while(0) |
vlm | fa67ddc | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 20 | |
vlm | 8fbd562 | 2004-09-10 06:07:04 +0000 | [diff] [blame] | 21 | static int |
| 22 | asn1f_fetch_tags_impl(arg_t *arg, struct asn1p_type_tag_s **tags, int count, int skip, enum asn1f_aft_flags_e flags) { |
| 23 | asn1p_expr_t *expr = arg->expr; |
vlm | fa67ddc | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 24 | |
vlm | 8fbd562 | 2004-09-10 06:07:04 +0000 | [diff] [blame] | 25 | /* If this type is tagged, add this tag first */ |
| 26 | if(expr->tag.tag_class != TC_NOCLASS) |
| 27 | ADD_TAG(skip, expr->tag); |
| 28 | |
| 29 | /* REMOVE ME */ |
vlm | fa67ddc | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 30 | if(expr->expr_type == A1TC_EXTENSIBLE) { |
vlm | 8fbd562 | 2004-09-10 06:07:04 +0000 | [diff] [blame] | 31 | struct asn1p_type_tag_s tt; |
| 32 | memset(&tt, 0, sizeof(tt)); |
| 33 | tt.tag_class = -1; |
| 34 | ADD_TAG(skip, tt); |
| 35 | return count; |
vlm | fa67ddc | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 36 | } |
| 37 | |
| 38 | if(expr->meta_type == AMT_TYPE) { |
vlm | 8fbd562 | 2004-09-10 06:07:04 +0000 | [diff] [blame] | 39 | struct asn1p_type_tag_s tt; |
| 40 | memset(&tt, 0, sizeof(tt)); |
| 41 | tt.tag_class = TC_UNIVERSAL; |
| 42 | tt.tag_value = expr_type2uclass_value[expr->expr_type]; |
| 43 | if(tt.tag_value == 0) { |
| 44 | if(expr->expr_type == ASN_TYPE_ANY |
| 45 | && (flags & AFT_IMAGINARY_ANY)) |
| 46 | tt.tag_value = -1; |
vlm | a88c7dd | 2005-01-17 12:27:41 +0000 | [diff] [blame] | 47 | else if(expr->expr_type == ASN_CONSTR_CHOICE) |
| 48 | return count ? count : -1; |
vlm | 8fbd562 | 2004-09-10 06:07:04 +0000 | [diff] [blame] | 49 | else |
| 50 | return -1; |
vlm | 7614245 | 2004-09-05 10:36:22 +0000 | [diff] [blame] | 51 | } |
vlm | 8fbd562 | 2004-09-10 06:07:04 +0000 | [diff] [blame] | 52 | ADD_TAG(skip, tt); |
| 53 | return count; |
vlm | fa67ddc | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 54 | } |
| 55 | |
| 56 | if(expr->meta_type == AMT_TYPEREF) { |
vlm | 1308d2b | 2004-09-10 15:49:15 +0000 | [diff] [blame] | 57 | asn1p_expr_t *nexpr; |
| 58 | nexpr = asn1f_lookup_symbol(arg, expr->module, expr->reference); |
| 59 | if(nexpr == NULL) { |
| 60 | if(errno != EEXIST) /* -fknown-extern-type */ |
| 61 | return -1; |
| 62 | if(!count) |
| 63 | return 0; /* OK */ |
| 64 | if((*tags)[count-1].tag_mode == TM_IMPLICIT) { |
| 65 | WARNING("Tagging mode for %s " |
| 66 | "is IMPLICIT, assuming %s " |
| 67 | "has exactly one tag", |
| 68 | expr->Identifier, |
| 69 | asn1f_printable_reference(expr->reference) |
| 70 | ); |
| 71 | return count; |
| 72 | } |
| 73 | FATAL("Tagging mode %s -> %s " |
| 74 | "dangerously incompatible", |
| 75 | expr->Identifier, |
| 76 | asn1f_printable_reference(expr->reference) |
| 77 | ); |
| 78 | return -1; |
| 79 | } else { |
| 80 | arg->expr = nexpr; |
| 81 | } |
vlm | fa67ddc | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 82 | if(expr->_mark & TM_RECURSION) |
| 83 | return -1; |
vlm | fa67ddc | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 84 | expr->_mark |= TM_RECURSION; |
vlm | 8fbd562 | 2004-09-10 06:07:04 +0000 | [diff] [blame] | 85 | count = asn1f_fetch_tags_impl(arg, tags, count, skip, flags); |
vlm | fa67ddc | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 86 | expr->_mark &= ~TM_RECURSION; |
vlm | 8fbd562 | 2004-09-10 06:07:04 +0000 | [diff] [blame] | 87 | return count; |
vlm | fa67ddc | 2004-06-03 03:38:44 +0000 | [diff] [blame] | 88 | } |
| 89 | |
| 90 | return -1; |
| 91 | } |
| 92 | |
vlm | 8fbd562 | 2004-09-10 06:07:04 +0000 | [diff] [blame] | 93 | |
| 94 | int |
| 95 | asn1f_fetch_outmost_tag(asn1p_t *asn, asn1p_module_t *mod, asn1p_expr_t *expr, struct asn1p_type_tag_s *tag, int _aft_imaginary_any) { |
| 96 | struct asn1p_type_tag_s *tags; |
| 97 | enum asn1f_aft_flags_e flags; |
| 98 | int count; |
| 99 | |
| 100 | flags = AFT_FETCH_OUTMOST; |
| 101 | flags |= AFT_IMAGINARY_ANY * _aft_imaginary_any; |
| 102 | |
| 103 | count = asn1f_fetch_tags(asn, mod, expr, &tags, flags); |
| 104 | if(count <= 0) return count; |
| 105 | |
| 106 | *tag = tags[0]; |
| 107 | free(tags); |
| 108 | |
| 109 | return 0; |
| 110 | } |
| 111 | |
| 112 | int |
| 113 | asn1f_fetch_tags(asn1p_t *asn, asn1p_module_t *mod, asn1p_expr_t *expr, struct asn1p_type_tag_s **tags_r, enum asn1f_aft_flags_e flags) { |
| 114 | arg_t arg; |
| 115 | struct asn1p_type_tag_s *tags = 0; |
| 116 | int count; |
| 117 | |
| 118 | memset(&arg, 0, sizeof(arg)); |
| 119 | arg.asn = asn; |
| 120 | arg.mod = mod; |
| 121 | arg.expr = expr; |
| 122 | |
| 123 | count = asn1f_fetch_tags_impl(&arg, &tags, 0, 0, flags); |
| 124 | if(count <= 0 && tags) { |
| 125 | free(tags); |
| 126 | tags = 0; |
| 127 | } |
| 128 | *tags_r = tags; |
| 129 | return count; |
| 130 | } |