Gitiles
Code Review Sign In
gerrit.osmocom.org / asn1c / 8a3861572f49e19fd79d2feea80427d609694daf / . / libasn1fix / asn1fix_constraint_compat.c
blob: 10720b5c346327ed63891960b96cfbde9962f3cf [file] [log] [blame]
vlmb5be8c32004-08-18 05:42:05 +0000[diff] [blame]1#include <asn1fix_internal.h>
2#include <asn1fix_crange.h>
3
4/*
5 * Check that a specific constraint is compatible
6 * with the given expression type.
7 */
8int
9asn1constraint_compatible(asn1p_expr_type_e expr_type,
10 enum asn1p_constraint_type_e constr_type) {
11
12 /*
13 * X.680-0207, Table 9.
14 */
15
16 switch(constr_type) {
17 case ACT_INVALID:
18 return 0;
19 case ACT_EL_VALUE:
20 return 1;
21 case ACT_EL_RANGE:
22 case ACT_EL_LLRANGE:
23 case ACT_EL_RLRANGE:
24 case ACT_EL_ULRANGE:
25 switch(expr_type) {
26 case ASN_BASIC_ENUMERATED:
27 case ASN_BASIC_BOOLEAN:
28 /*
29 * The ValueRange constraint is not formally
30 * applicable to the above types. However, we
31 * support it just fine.
32 */
33 /* Fall through */
34 case ASN_BASIC_INTEGER:
35 case ASN_BASIC_REAL:
36 return 1;
37 default:
38 if(expr_type & ASN_STRING_MASK)
39 return 1;
40 }
41 return 0;
42 case ACT_EL_EXT:
43 return -1;
44 case ACT_CT_FROM:
45 if(expr_type & ASN_STRING_MASK)
46 return 1;
47 return 0;
48 case ACT_CT_SIZE:
49 switch(expr_type) {
50 case ASN_BASIC_BIT_STRING:
51 case ASN_BASIC_OCTET_STRING:
52 case ASN_BASIC_CHARACTER_STRING:
53 case ASN_CONSTR_SEQUENCE_OF:
54 case ASN_CONSTR_SET_OF:
55 return 1;
56 default:
57 if(expr_type & ASN_STRING_MASK)
58 return 1;
59 }
60 return 0;
61 case ACT_CT_WCOMP:
62 case ACT_CT_WCOMPS:
63 switch(expr_type) {
64 case A1TC_INSTANCE:
65 case ASN_BASIC_EXTERNAL:
66 case ASN_BASIC_EMBEDDED_PDV:
67 case ASN_BASIC_REAL:
68 case ASN_BASIC_CHARACTER_STRING:
69 case ASN_CONSTR_CHOICE:
70 case ASN_CONSTR_SEQUENCE:
71 case ASN_CONSTR_SEQUENCE_OF:
72 case ASN_CONSTR_SET:
73 case ASN_CONSTR_SET_OF:
74 return 1;
75 default: break;
76 }
77 return 0;
78 case ACT_CA_SET:
79 case ACT_CA_CRC:
80 case ACT_CA_CSV:
81 case ACT_CA_UNI:
82 case ACT_CA_INT:
83 case ACT_CA_EXC:
84 return 1;
85 }
86
87 return -1;
88}
89
90
91#define DECL(foo, val1, val2) \
92 static asn1cnst_range_t range_ ## foo = { \
93 { ARE_VALUE, 0, val1 }, \
94 { ARE_VALUE, 0, val2 }, \
vlm8a386152004-08-18 05:46:55 +0000[diff] [blame^]95 0, 0, 0, 0, 0, 0 }
vlmb5be8c32004-08-18 05:42:05 +0000[diff] [blame]96
97asn1cnst_range_t *
98asn1constraint_default_alphabet(asn1p_expr_type_e expr_type) {
99 DECL(uint7, 0x00, 0x7f);
100 DECL(uint8, 0x00, 0xff);
101 DECL(Space, 0x20, 0x20);
102 DECL(ApostropheAndParens, 0x27, 0x29);
103 DECL(PlusTillColon, 0x2b, 0x3a);
104 DECL(Equal, 0x3d, 0x3d);
105 DECL(QuestionMark, 0x3f, 0x3f);
106 DECL(Digits, 0x30, 0x39);
107 DECL(AlphaCap, 0x41, 0x5a);
108 DECL(AlphaLow, 0x61, 0x7a);
109 DECL(PlusCommaMinusDot, 0x2b, 0x2e);
110 DECL(Plus, 0x2b, 0x2b);
111 DECL(MinusDot, 0x2d, 0x2e);
112 DECL(Z, 0x5a, 0x5a);
113 static asn1cnst_range_t *range_NumericString_array[] = {
114 &range_Space, &range_Digits };
115 static asn1cnst_range_t *range_PrintableString_array[] = {
116 &range_Space,
117 &range_ApostropheAndParens,
118 &range_PlusTillColon,
119 &range_Equal,
120 &range_QuestionMark,
121 &range_AlphaCap,
122 &range_AlphaLow
123 };
124 static asn1cnst_range_t *range_UTCTime_array[] = {
125 &range_Plus, &range_MinusDot, &range_Digits, &range_Z };
126 static asn1cnst_range_t *range_GeneralizedTime_array[] = {
127 &range_PlusCommaMinusDot, &range_Digits, &range_Z };
128 static asn1cnst_range_t range_NumericString = {
129 { ARE_VALUE, 0, 0x20 },
130 { ARE_VALUE, 0, 0x39 },
131 range_NumericString_array,
132 sizeof(range_NumericString_array)
133 /sizeof(range_NumericString_array[0]),
134 0, 0, 0, 0 };
135 static asn1cnst_range_t range_PrintableString = {
136 { ARE_VALUE, 0, 0x20 },
137 { ARE_VALUE, 0, 0x7a },
138 range_PrintableString_array,
139 sizeof(range_PrintableString_array)
140 /sizeof(range_PrintableString_array[0]),
141 0, 0, 0, 0 };
142 static asn1cnst_range_t range_VisibleString = {
143 { ARE_VALUE, 0, 0x20 },
144 { ARE_VALUE, 0, 0x7e },
145 0, 0, 0, 0, 0, 0 };
146 static asn1cnst_range_t range_UTCTime = {
147 { ARE_VALUE, 0, 0x2b },
148 { ARE_VALUE, 0, 0x5a },
149 range_UTCTime_array,
150 sizeof(range_UTCTime_array)
151 /sizeof(range_UTCTime_array[0]),
152 0, 0, 0, 0 };
153 static asn1cnst_range_t range_GeneralizedTime = {
154 { ARE_VALUE, 0, 0x2b },
155 { ARE_VALUE, 0, 0x5a },
156 range_GeneralizedTime_array,
157 sizeof(range_GeneralizedTime_array)
158 /sizeof(range_GeneralizedTime_array[0]),
159 0, 0, 0, 0 };
160
161 switch(expr_type) {
162 case ASN_STRING_NumericString:
163 return &range_NumericString;
164 case ASN_STRING_PrintableString:
165 return &range_PrintableString;
166 case ASN_STRING_VisibleString:
167 return &range_VisibleString;
168 case ASN_STRING_IA5String:
169 return &range_uint7;
170 case ASN_BASIC_OCTET_STRING:
171 return &range_uint8;
172 case ASN_BASIC_UTCTime:
173 return &range_UTCTime;
174 case ASN_BASIC_GeneralizedTime:
175 return &range_GeneralizedTime;
176 default:
177 break;
178 }
179
180 return NULL;
181}