Gitiles
Code Review Sign In
gerrit.osmocom.org / asn1c / ded1e367b6fbc339deae409bdb52cb4b246f31b7 / . / libasn1fix / asn1fix_constraint_compat.c
blob: f2f47fd1be2d768f54215475f3c187bf98380014 [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);
vlmfef925d2004-08-19 13:28:31 +0000[diff] [blame]101 DECL(uint16, 0x00, 0xffff);
102 DECL(uint31, 0x00, 0x7fffffff);
vlmb5be8c32004-08-18 05:42:05 +0000[diff] [blame]103 DECL(Space, 0x20, 0x20);
104 DECL(ApostropheAndParens, 0x27, 0x29);
105 DECL(PlusTillColon, 0x2b, 0x3a);
106 DECL(Equal, 0x3d, 0x3d);
107 DECL(QuestionMark, 0x3f, 0x3f);
108 DECL(Digits, 0x30, 0x39);
109 DECL(AlphaCap, 0x41, 0x5a);
110 DECL(AlphaLow, 0x61, 0x7a);
111 DECL(PlusCommaMinusDot, 0x2b, 0x2e);
112 DECL(Plus, 0x2b, 0x2b);
113 DECL(MinusDot, 0x2d, 0x2e);
114 DECL(Z, 0x5a, 0x5a);
115 static asn1cnst_range_t *range_NumericString_array[] = {
116 &range_Space, &range_Digits };
117 static asn1cnst_range_t *range_PrintableString_array[] = {
118 &range_Space,
119 &range_ApostropheAndParens,
120 &range_PlusTillColon,
121 &range_Equal,
122 &range_QuestionMark,
123 &range_AlphaCap,
124 &range_AlphaLow
125 };
126 static asn1cnst_range_t *range_UTCTime_array[] = {
127 &range_Plus, &range_MinusDot, &range_Digits, &range_Z };
128 static asn1cnst_range_t *range_GeneralizedTime_array[] = {
129 &range_PlusCommaMinusDot, &range_Digits, &range_Z };
130 static asn1cnst_range_t range_NumericString = {
131 { ARE_VALUE, 0, 0x20 },
132 { ARE_VALUE, 0, 0x39 },
133 range_NumericString_array,
134 sizeof(range_NumericString_array)
135 /sizeof(range_NumericString_array[0]),
136 0, 0, 0, 0 };
137 static asn1cnst_range_t range_PrintableString = {
138 { ARE_VALUE, 0, 0x20 },
139 { ARE_VALUE, 0, 0x7a },
140 range_PrintableString_array,
141 sizeof(range_PrintableString_array)
142 /sizeof(range_PrintableString_array[0]),
143 0, 0, 0, 0 };
144 static asn1cnst_range_t range_VisibleString = {
145 { ARE_VALUE, 0, 0x20 },
146 { ARE_VALUE, 0, 0x7e },
147 0, 0, 0, 0, 0, 0 };
148 static asn1cnst_range_t range_UTCTime = {
149 { ARE_VALUE, 0, 0x2b },
150 { ARE_VALUE, 0, 0x5a },
151 range_UTCTime_array,
152 sizeof(range_UTCTime_array)
153 /sizeof(range_UTCTime_array[0]),
154 0, 0, 0, 0 };
155 static asn1cnst_range_t range_GeneralizedTime = {
156 { ARE_VALUE, 0, 0x2b },
157 { ARE_VALUE, 0, 0x5a },
158 range_GeneralizedTime_array,
159 sizeof(range_GeneralizedTime_array)
160 /sizeof(range_GeneralizedTime_array[0]),
161 0, 0, 0, 0 };
162
163 switch(expr_type) {
164 case ASN_STRING_NumericString:
165 return &range_NumericString;
166 case ASN_STRING_PrintableString:
167 return &range_PrintableString;
168 case ASN_STRING_VisibleString:
169 return &range_VisibleString;
170 case ASN_STRING_IA5String:
171 return &range_uint7;
172 case ASN_BASIC_OCTET_STRING:
173 return &range_uint8;
vlmfef925d2004-08-19 13:28:31 +0000[diff] [blame]174 case ASN_STRING_BMPString:
175 return &range_uint16;
176 case ASN_STRING_UniversalString:
177 case ASN_STRING_UTF8String:
178 return &range_uint31;
vlmb5be8c32004-08-18 05:42:05 +0000[diff] [blame]179 case ASN_BASIC_UTCTime:
180 return &range_UTCTime;
181 case ASN_BASIC_GeneralizedTime:
182 return &range_GeneralizedTime;
183 default:
184 break;
185 }
186
187 return NULL;
188}