blob: b3af333a2daff1cd99e9a6dede3409a99ca2cd55 [file] [log] [blame]
Lev Walkinf15320b2004-06-03 03:38:44 +00001/*-
Lev Walkinc61f3862005-02-14 17:21:22 +00002 * Copyright (c) 2003, 2004, 2005 Lev Walkin <vlm@lionet.info>.
3 * All rights reserved.
Lev Walkinf15320b2004-06-03 03:38:44 +00004 * Redistribution and modifications are permitted subject to BSD license.
5 */
Lev Walkina9cc46e2004-09-22 16:06:28 +00006#include <asn_internal.h>
Lev Walkinf15320b2004-06-03 03:38:44 +00007#include <constr_CHOICE.h>
Lev Walkinf15320b2004-06-03 03:38:44 +00008
9/*
10 * Number of bytes left for this structure.
11 * (ctx->left) indicates the number of bytes _transferred_ for the structure.
12 * (size) contains the number of bytes in the buffer passed.
13 */
Lev Walkinec1ffd42004-08-18 04:53:32 +000014#define LEFT ((size<(size_t)ctx->left)?size:(size_t)ctx->left)
Lev Walkinf15320b2004-06-03 03:38:44 +000015
16/*
17 * If the subprocessor function returns with an indication that it wants
18 * more data, it may well be a fatal decoding problem, because the
19 * size is constrained by the <TLV>'s L, even if the buffer size allows
20 * reading more data.
21 * For example, consider the buffer containing the following TLVs:
22 * <T:5><L:1><V> <T:6>...
23 * The TLV length clearly indicates that one byte is expected in V, but
24 * if the V processor returns with "want more data" even if the buffer
25 * contains way more data than the V processor have seen.
26 */
Lev Walkind9bd7752004-06-05 08:17:50 +000027#define SIZE_VIOLATION (ctx->left >= 0 && (size_t)ctx->left <= size)
Lev Walkinf15320b2004-06-03 03:38:44 +000028
29/*
30 * This macro "eats" the part of the buffer which is definitely "consumed",
31 * i.e. was correctly converted into local representation or rightfully skipped.
32 */
Lev Walkincc6a9102004-09-23 22:06:26 +000033#undef ADVANCE
Lev Walkinf15320b2004-06-03 03:38:44 +000034#define ADVANCE(num_bytes) do { \
35 size_t num = num_bytes; \
Lev Walkin8c3b8542005-03-10 18:52:02 +000036 ptr = ((const char *)ptr) + num;\
Lev Walkinf15320b2004-06-03 03:38:44 +000037 size -= num; \
38 if(ctx->left >= 0) \
39 ctx->left -= num; \
40 consumed_myself += num; \
41 } while(0)
42
43/*
44 * Switch to the next phase of parsing.
45 */
Lev Walkincc6a9102004-09-23 22:06:26 +000046#undef NEXT_PHASE
Lev Walkinf15320b2004-06-03 03:38:44 +000047#define NEXT_PHASE(ctx) do { \
48 ctx->phase++; \
49 ctx->step = 0; \
50 } while(0)
51
52/*
53 * Return a standardized complex structure.
54 */
Lev Walkincc6a9102004-09-23 22:06:26 +000055#undef RETURN
Lev Walkinf15320b2004-06-03 03:38:44 +000056#define RETURN(_code) do { \
57 rval.code = _code; \
58 rval.consumed = consumed_myself;\
59 return rval; \
60 } while(0)
61
62/*
63 * See the definitions.
64 */
Lev Walkin91f5cd02004-08-11 09:10:59 +000065static int _fetch_present_idx(const void *struct_ptr, int off, int size);
66static void _set_present_idx(void *sptr, int offset, int size, int pres);
Lev Walkinf15320b2004-06-03 03:38:44 +000067
68/*
69 * Tags are canonically sorted in the tag to member table.
70 */
71static int
72_search4tag(const void *ap, const void *bp) {
Lev Walkin5e033762004-09-29 13:26:15 +000073 const asn_TYPE_tag2member_t *a = (const asn_TYPE_tag2member_t *)ap;
74 const asn_TYPE_tag2member_t *b = (const asn_TYPE_tag2member_t *)bp;
Lev Walkinc2346572004-08-11 09:07:36 +000075
Lev Walkinf15320b2004-06-03 03:38:44 +000076 int a_class = BER_TAG_CLASS(a->el_tag);
77 int b_class = BER_TAG_CLASS(b->el_tag);
78
79 if(a_class == b_class) {
80 ber_tlv_tag_t a_value = BER_TAG_VALUE(a->el_tag);
81 ber_tlv_tag_t b_value = BER_TAG_VALUE(b->el_tag);
82
83 if(a_value == b_value)
84 return 0;
85 else if(a_value < b_value)
86 return -1;
87 else
88 return 1;
89 } else if(a_class < b_class) {
90 return -1;
91 } else {
92 return 1;
93 }
94}
95
96/*
97 * The decoder of the CHOICE type.
98 */
Lev Walkindc06f6b2004-10-20 15:50:55 +000099asn_dec_rval_t
Lev Walkin5e033762004-09-29 13:26:15 +0000100CHOICE_decode_ber(asn_codec_ctx_t *opt_codec_ctx, asn_TYPE_descriptor_t *td,
Lev Walkin8c3b8542005-03-10 18:52:02 +0000101 void **struct_ptr, const void *ptr, size_t size, int tag_mode) {
Lev Walkinf15320b2004-06-03 03:38:44 +0000102 /*
103 * Bring closer parts of structure description.
104 */
Lev Walkin5e033762004-09-29 13:26:15 +0000105 asn_CHOICE_specifics_t *specs = (asn_CHOICE_specifics_t *)td->specifics;
106 asn_TYPE_member_t *elements = td->elements;
Lev Walkinf15320b2004-06-03 03:38:44 +0000107
108 /*
109 * Parts of the structure being constructed.
110 */
111 void *st = *struct_ptr; /* Target structure. */
Lev Walkin5e033762004-09-29 13:26:15 +0000112 asn_struct_ctx_t *ctx; /* Decoder context */
Lev Walkinf15320b2004-06-03 03:38:44 +0000113
114 ber_tlv_tag_t tlv_tag; /* T from TLV */
115 ssize_t tag_len; /* Length of TLV's T */
Lev Walkindc06f6b2004-10-20 15:50:55 +0000116 asn_dec_rval_t rval; /* Return code from subparsers */
Lev Walkinf15320b2004-06-03 03:38:44 +0000117
118 ssize_t consumed_myself = 0; /* Consumed bytes from ptr */
119
Lev Walkin449f8322004-08-20 13:23:42 +0000120 ASN_DEBUG("Decoding %s as CHOICE", td->name);
Lev Walkinf15320b2004-06-03 03:38:44 +0000121
122 /*
123 * Create the target structure if it is not present already.
124 */
125 if(st == 0) {
126 st = *struct_ptr = CALLOC(1, specs->struct_size);
127 if(st == 0) {
128 RETURN(RC_FAIL);
129 }
130 }
131
132 /*
133 * Restore parsing context.
134 */
Lev Walkin5e033762004-09-29 13:26:15 +0000135 ctx = (asn_struct_ctx_t *)((char *)st + specs->ctx_offset);
Lev Walkinf15320b2004-06-03 03:38:44 +0000136
137 /*
138 * Start to parse where left previously
139 */
140 switch(ctx->phase) {
141 case 0:
142 /*
143 * PHASE 0.
144 * Check that the set of tags associated with given structure
145 * perfectly fits our expectations.
146 */
147
Lev Walkin449f8322004-08-20 13:23:42 +0000148 if(tag_mode || td->tags_count) {
Lev Walkin5e033762004-09-29 13:26:15 +0000149 rval = ber_check_tags(opt_codec_ctx, td, ctx, ptr, size,
Lev Walkin8e8078a2004-09-26 13:10:40 +0000150 tag_mode, -1, &ctx->left, 0);
Lev Walkinf15320b2004-06-03 03:38:44 +0000151 if(rval.code != RC_OK) {
152 ASN_DEBUG("%s tagging check failed: %d",
Lev Walkin449f8322004-08-20 13:23:42 +0000153 td->name, rval.code);
Lev Walkinf0f04d12004-10-05 06:36:02 +0000154 return rval;
Lev Walkinf15320b2004-06-03 03:38:44 +0000155 }
156
157 if(ctx->left >= 0) {
158 /* ?Substracted below! */
159 ctx->left += rval.consumed;
160 }
161 ADVANCE(rval.consumed);
162 } else {
163 ctx->left = -1;
164 }
165
166 NEXT_PHASE(ctx);
167
168 ASN_DEBUG("Structure consumes %ld bytes, buffer %ld",
169 (long)ctx->left, (long)size);
170
171 /* Fall through */
172 case 1:
173 /*
174 * Fetch the T from TLV.
175 */
176 tag_len = ber_fetch_tag(ptr, LEFT, &tlv_tag);
Lev Walkin449f8322004-08-20 13:23:42 +0000177 ASN_DEBUG("In %s CHOICE tag length %d", td->name, (int)tag_len);
Lev Walkinf15320b2004-06-03 03:38:44 +0000178 switch(tag_len) {
179 case 0: if(!SIZE_VIOLATION) RETURN(RC_WMORE);
180 /* Fall through */
181 case -1: RETURN(RC_FAIL);
182 }
183
184 do {
Lev Walkin5e033762004-09-29 13:26:15 +0000185 asn_TYPE_tag2member_t *t2m;
186 asn_TYPE_tag2member_t key;
Lev Walkinf15320b2004-06-03 03:38:44 +0000187
188 key.el_tag = tlv_tag;
Lev Walkinc17d90f2005-01-17 14:32:45 +0000189 t2m = (asn_TYPE_tag2member_t *)bsearch(&key,
Lev Walkinc2346572004-08-11 09:07:36 +0000190 specs->tag2el, specs->tag2el_count,
Lev Walkinf15320b2004-06-03 03:38:44 +0000191 sizeof(specs->tag2el[0]), _search4tag);
192 if(t2m) {
193 /*
194 * Found the element corresponding to the tag.
195 */
196 NEXT_PHASE(ctx);
197 ctx->step = t2m->el_no;
198 break;
199 } else if(specs->extensible == 0) {
200 ASN_DEBUG("Unexpected tag %s "
201 "in non-extensible CHOICE %s",
Lev Walkin449f8322004-08-20 13:23:42 +0000202 ber_tlv_tag_string(tlv_tag), td->name);
Lev Walkinf15320b2004-06-03 03:38:44 +0000203 RETURN(RC_FAIL);
204 } else {
205 /* Skip this tag */
206 ssize_t skip;
207
208 ASN_DEBUG("Skipping unknown tag %s",
209 ber_tlv_tag_string(tlv_tag));
210
Lev Walkinbaaa24f2004-09-29 14:19:14 +0000211 skip = ber_skip_length(opt_codec_ctx,
Lev Walkinf15320b2004-06-03 03:38:44 +0000212 BER_TLV_CONSTRUCTED(ptr),
Lev Walkin8c3b8542005-03-10 18:52:02 +0000213 (const char *)ptr + tag_len,
214 LEFT - tag_len);
Lev Walkinf15320b2004-06-03 03:38:44 +0000215
216 switch(skip) {
217 case 0: if(!SIZE_VIOLATION) RETURN(RC_WMORE);
218 /* Fall through */
219 case -1: RETURN(RC_FAIL);
220 }
221
222 ADVANCE(skip + tag_len);
223 RETURN(RC_OK);
224 }
225 } while(0);
226
227 case 2:
228 /*
229 * PHASE 2.
230 * Read in the element.
231 */
232 do {
Lev Walkin5e033762004-09-29 13:26:15 +0000233 asn_TYPE_member_t *elm;/* CHOICE's element */
Lev Walkinf15320b2004-06-03 03:38:44 +0000234 void *memb_ptr; /* Pointer to the member */
Lev Walkinc2346572004-08-11 09:07:36 +0000235 void **memb_ptr2; /* Pointer to that pointer */
Lev Walkinf15320b2004-06-03 03:38:44 +0000236
237 elm = &elements[ctx->step];
238
239 /*
240 * Compute the position of the member inside a structure,
241 * and also a type of containment (it may be contained
242 * as pointer or using inline inclusion).
243 */
Lev Walkincc93b0f2004-09-10 09:18:20 +0000244 if(elm->flags & ATF_POINTER) {
245 /* Member is a pointer to another structure */
Lev Walkinc2346572004-08-11 09:07:36 +0000246 memb_ptr2 = (void **)((char *)st + elm->memb_offset);
Lev Walkinf15320b2004-06-03 03:38:44 +0000247 } else {
248 /*
249 * A pointer to a pointer
250 * holding the start of the structure
251 */
252 memb_ptr = (char *)st + elm->memb_offset;
253 memb_ptr2 = &memb_ptr;
254 }
255 /*
256 * Invoke the member fetch routine according to member's type
257 */
Lev Walkin5e033762004-09-29 13:26:15 +0000258 rval = elm->type->ber_decoder(opt_codec_ctx, elm->type,
Lev Walkinf15320b2004-06-03 03:38:44 +0000259 memb_ptr2, ptr, LEFT,
260 elm->tag_mode);
261 switch(rval.code) {
262 case RC_OK:
263 _set_present_idx(st, specs->pres_offset,
264 specs->pres_size, ctx->step + 1);
265 break;
266 case RC_WMORE: /* More data expected */
267 if(!SIZE_VIOLATION) {
268 ADVANCE(rval.consumed);
269 RETURN(RC_WMORE);
270 }
271 RETURN(RC_FAIL);
272 case RC_FAIL: /* Fatal error */
273 RETURN(rval.code);
274 } /* switch(rval) */
275
276 ADVANCE(rval.consumed);
277 } while(0);
278
279 NEXT_PHASE(ctx);
280
281 /* Fall through */
282 case 3:
283 ASN_DEBUG("CHOICE %s Leftover: %ld, size = %ld, tm=%d, tc=%d",
Lev Walkin449f8322004-08-20 13:23:42 +0000284 td->name, (long)ctx->left, (long)size,
285 tag_mode, td->tags_count);
Lev Walkinf15320b2004-06-03 03:38:44 +0000286
287 if(ctx->left > 0) {
288 /*
289 * The type must be fully decoded
290 * by the CHOICE member-specific decoder.
291 */
292 RETURN(RC_FAIL);
293 }
294
295 if(ctx->left == -1
Lev Walkin449f8322004-08-20 13:23:42 +0000296 && !(tag_mode || td->tags_count)) {
Lev Walkinf15320b2004-06-03 03:38:44 +0000297 /*
298 * This is an untagged CHOICE.
299 * It doesn't contain nothing
300 * except for the member itself, including all its tags.
301 * The decoding is completed.
302 */
303 NEXT_PHASE(ctx);
304 break;
305 }
306
307 /*
308 * Read in the "end of data chunks"'s.
309 */
310 while(ctx->left < 0) {
311 ssize_t tl;
312
313 tl = ber_fetch_tag(ptr, LEFT, &tlv_tag);
314 switch(tl) {
315 case 0: if(!SIZE_VIOLATION) RETURN(RC_WMORE);
316 /* Fall through */
317 case -1: RETURN(RC_FAIL);
318 }
319
320 /*
321 * Expected <0><0>...
322 */
Lev Walkin8c3b8542005-03-10 18:52:02 +0000323 if(((const uint8_t *)ptr)[0] == 0) {
Lev Walkinf15320b2004-06-03 03:38:44 +0000324 if(LEFT < 2) {
325 if(SIZE_VIOLATION)
326 RETURN(RC_FAIL);
327 else
328 RETURN(RC_WMORE);
Lev Walkin8c3b8542005-03-10 18:52:02 +0000329 } else if(((const uint8_t *)ptr)[1] == 0) {
Lev Walkinf15320b2004-06-03 03:38:44 +0000330 /*
331 * Correctly finished with <0><0>.
332 */
Lev Walkinf0f04d12004-10-05 06:36:02 +0000333 ADVANCE(2);
334 ctx->left++;
Lev Walkinf15320b2004-06-03 03:38:44 +0000335 continue;
336 }
337 } else {
338 ASN_DEBUG("Unexpected continuation in %s",
Lev Walkin449f8322004-08-20 13:23:42 +0000339 td->name);
Lev Walkinf15320b2004-06-03 03:38:44 +0000340 RETURN(RC_FAIL);
341 }
342
Lev Walkinf0f04d12004-10-05 06:36:02 +0000343 /* UNREACHABLE */
Lev Walkinf15320b2004-06-03 03:38:44 +0000344 }
345
346 NEXT_PHASE(ctx);
347 case 4:
348 /* No meaningful work here */
349 break;
350 }
351
352 RETURN(RC_OK);
353}
354
Lev Walkina9cc46e2004-09-22 16:06:28 +0000355asn_enc_rval_t
Lev Walkinac589332005-08-22 14:19:28 +0000356CHOICE_encode_der(asn_TYPE_descriptor_t *td, void *sptr,
Lev Walkinf15320b2004-06-03 03:38:44 +0000357 int tag_mode, ber_tlv_tag_t tag,
358 asn_app_consume_bytes_f *cb, void *app_key) {
Lev Walkin5e033762004-09-29 13:26:15 +0000359 asn_CHOICE_specifics_t *specs = (asn_CHOICE_specifics_t *)td->specifics;
360 asn_TYPE_member_t *elm; /* CHOICE element */
Lev Walkina9cc46e2004-09-22 16:06:28 +0000361 asn_enc_rval_t erval;
Lev Walkinf15320b2004-06-03 03:38:44 +0000362 void *memb_ptr;
363 size_t computed_size = 0;
364 int present;
365
366 ASN_DEBUG("%s %s as CHOICE",
Lev Walkin449f8322004-08-20 13:23:42 +0000367 cb?"Encoding":"Estimating", td->name);
Lev Walkinf15320b2004-06-03 03:38:44 +0000368
Lev Walkinac589332005-08-22 14:19:28 +0000369 present = _fetch_present_idx(sptr,
Lev Walkinf15320b2004-06-03 03:38:44 +0000370 specs->pres_offset, specs->pres_size);
371
372 /*
373 * If the structure was not initialized, it cannot be encoded:
374 * can't deduce what to encode in the choice type.
375 */
Lev Walkin449f8322004-08-20 13:23:42 +0000376 if(present <= 0 || present > td->elements_count) {
377 if(present == 0 && td->elements_count == 0) {
Lev Walkinf15320b2004-06-03 03:38:44 +0000378 /* The CHOICE is empty?! */
379 erval.encoded = 0;
380 return erval;
381 }
Lev Walkinac589332005-08-22 14:19:28 +0000382 _ASN_ENCODE_FAILED;
Lev Walkinf15320b2004-06-03 03:38:44 +0000383 }
384
385 /*
386 * Seek over the present member of the structure.
387 */
Lev Walkin449f8322004-08-20 13:23:42 +0000388 elm = &td->elements[present-1];
Lev Walkincc93b0f2004-09-10 09:18:20 +0000389 if(elm->flags & ATF_POINTER) {
Lev Walkinac589332005-08-22 14:19:28 +0000390 memb_ptr = *(void **)((char *)sptr + elm->memb_offset);
Lev Walkinf15320b2004-06-03 03:38:44 +0000391 if(memb_ptr == 0) {
Lev Walkincc93b0f2004-09-10 09:18:20 +0000392 if(elm->optional) {
393 erval.encoded = 0;
Lev Walkinac589332005-08-22 14:19:28 +0000394 return erval;
Lev Walkincc93b0f2004-09-10 09:18:20 +0000395 }
Lev Walkinac589332005-08-22 14:19:28 +0000396 /* Mandatory element absent */
397 _ASN_ENCODE_FAILED;
Lev Walkinf15320b2004-06-03 03:38:44 +0000398 }
399 } else {
Lev Walkinac589332005-08-22 14:19:28 +0000400 memb_ptr = (void *)((char *)sptr + elm->memb_offset);
Lev Walkinf15320b2004-06-03 03:38:44 +0000401 }
402
403 /*
404 * If the CHOICE itself is tagged EXPLICIT:
405 * T ::= [2] EXPLICIT CHOICE { ... }
406 * Then emit the appropriate tags.
407 */
Lev Walkin449f8322004-08-20 13:23:42 +0000408 if(tag_mode == 1 || td->tags_count) {
Lev Walkinf15320b2004-06-03 03:38:44 +0000409 /*
410 * For this, we need to pre-compute the member.
411 */
412 ssize_t ret;
413
414 /* Encode member with its tag */
415 erval = elm->type->der_encoder(elm->type, memb_ptr,
416 elm->tag_mode, elm->tag, 0, 0);
417 if(erval.encoded == -1)
418 return erval;
419
420 /* Encode CHOICE with parent or my own tag */
Lev Walkin8e8078a2004-09-26 13:10:40 +0000421 ret = der_write_tags(td, erval.encoded, tag_mode, 1, tag,
Lev Walkinf15320b2004-06-03 03:38:44 +0000422 cb, app_key);
Lev Walkinac589332005-08-22 14:19:28 +0000423 if(ret == -1)
424 _ASN_ENCODE_FAILED;
Lev Walkinf15320b2004-06-03 03:38:44 +0000425 computed_size += ret;
426 }
427
428 /*
429 * Encode the single underlying member.
430 */
431 erval = elm->type->der_encoder(elm->type, memb_ptr,
432 elm->tag_mode, elm->tag, cb, app_key);
433 if(erval.encoded == -1)
434 return erval;
435
436 ASN_DEBUG("Encoded CHOICE member in %ld bytes (+%ld)",
437 (long)erval.encoded, (long)computed_size);
438
439 erval.encoded += computed_size;
440
441 return erval;
442}
443
444ber_tlv_tag_t
Lev Walkin5e033762004-09-29 13:26:15 +0000445CHOICE_outmost_tag(asn_TYPE_descriptor_t *td, const void *ptr, int tag_mode, ber_tlv_tag_t tag) {
446 asn_CHOICE_specifics_t *specs = (asn_CHOICE_specifics_t *)td->specifics;
Lev Walkinf15320b2004-06-03 03:38:44 +0000447 int present;
448
449 assert(tag_mode == 0);
450 assert(tag == 0);
451
452 /*
453 * Figure out which CHOICE element is encoded.
454 */
455 present = _fetch_present_idx(ptr, specs->pres_offset, specs->pres_size);
456
Lev Walkin449f8322004-08-20 13:23:42 +0000457 if(present > 0 || present <= td->elements_count) {
Lev Walkin5e033762004-09-29 13:26:15 +0000458 asn_TYPE_member_t *elm = &td->elements[present-1];
Lev Walkin70e70282004-06-05 01:45:48 +0000459 const void *memb_ptr;
Lev Walkinf15320b2004-06-03 03:38:44 +0000460
Lev Walkincc93b0f2004-09-10 09:18:20 +0000461 if(elm->flags & ATF_POINTER) {
Lev Walkin70e70282004-06-05 01:45:48 +0000462 memb_ptr = *(const void * const *)
463 ((const char *)ptr + elm->memb_offset);
Lev Walkinf15320b2004-06-03 03:38:44 +0000464 } else {
Lev Walkin70e70282004-06-05 01:45:48 +0000465 memb_ptr = (const void *)
466 ((const char *)ptr + elm->memb_offset);
Lev Walkinf15320b2004-06-03 03:38:44 +0000467 }
468
Lev Walkin5e033762004-09-29 13:26:15 +0000469 return asn_TYPE_outmost_tag(elm->type, memb_ptr,
Lev Walkinf15320b2004-06-03 03:38:44 +0000470 elm->tag_mode, elm->tag);
471 } else {
Lev Walkin4d9528c2004-08-11 08:10:13 +0000472 return (ber_tlv_tag_t)-1;
Lev Walkinf15320b2004-06-03 03:38:44 +0000473 }
474}
475
476int
Lev Walkin5e033762004-09-29 13:26:15 +0000477CHOICE_constraint(asn_TYPE_descriptor_t *td, const void *sptr,
Lev Walkinf15320b2004-06-03 03:38:44 +0000478 asn_app_consume_bytes_f *app_errlog, void *app_key) {
Lev Walkin5e033762004-09-29 13:26:15 +0000479 asn_CHOICE_specifics_t *specs = (asn_CHOICE_specifics_t *)td->specifics;
Lev Walkinf15320b2004-06-03 03:38:44 +0000480 int present;
481
482 if(!sptr) {
Lev Walkinba4e5182004-08-11 09:44:13 +0000483 _ASN_ERRLOG(app_errlog, app_key,
Lev Walkin16835b62004-08-22 13:47:59 +0000484 "%s: value not given (%s:%d)",
485 td->name, __FILE__, __LINE__);
Lev Walkinf15320b2004-06-03 03:38:44 +0000486 return -1;
487 }
488
489 /*
490 * Figure out which CHOICE element is encoded.
491 */
492 present = _fetch_present_idx(sptr, specs->pres_offset,specs->pres_size);
Lev Walkin449f8322004-08-20 13:23:42 +0000493 if(present > 0 && present <= td->elements_count) {
Lev Walkin5e033762004-09-29 13:26:15 +0000494 asn_TYPE_member_t *elm = &td->elements[present-1];
Lev Walkinf15320b2004-06-03 03:38:44 +0000495 const void *memb_ptr;
496
Lev Walkincc93b0f2004-09-10 09:18:20 +0000497 if(elm->flags & ATF_POINTER) {
Lev Walkinf15320b2004-06-03 03:38:44 +0000498 memb_ptr = *(const void * const *)((const char *)sptr + elm->memb_offset);
Lev Walkincc93b0f2004-09-10 09:18:20 +0000499 if(!memb_ptr) {
500 if(elm->optional)
501 return 0;
502 _ASN_ERRLOG(app_errlog, app_key,
503 "%s: mandatory CHOICE element %s absent (%s:%d)",
504 td->name, elm->name, __FILE__, __LINE__);
505 return -1;
506 }
Lev Walkinf15320b2004-06-03 03:38:44 +0000507 } else {
508 memb_ptr = (const void *)((const char *)sptr + elm->memb_offset);
509 }
510
Lev Walkin449f8322004-08-20 13:23:42 +0000511 if(elm->memb_constraints) {
512 return elm->memb_constraints(elm->type, memb_ptr,
Lev Walkinf15320b2004-06-03 03:38:44 +0000513 app_errlog, app_key);
Lev Walkin449f8322004-08-20 13:23:42 +0000514 } else {
515 int ret = elm->type->check_constraints(elm->type,
516 memb_ptr, app_errlog, app_key);
517 /*
518 * Cannot inherit it eralier:
519 * need to make sure we get the updated version.
520 */
521 elm->memb_constraints = elm->type->check_constraints;
522 return ret;
523 }
Lev Walkinf15320b2004-06-03 03:38:44 +0000524 } else {
Lev Walkinba4e5182004-08-11 09:44:13 +0000525 _ASN_ERRLOG(app_errlog, app_key,
Lev Walkind34a8512004-08-22 13:55:49 +0000526 "%s: no CHOICE element given (%s:%d)",
Lev Walkin16835b62004-08-22 13:47:59 +0000527 td->name, __FILE__, __LINE__);
Lev Walkinf15320b2004-06-03 03:38:44 +0000528 return -1;
529 }
530}
531
Lev Walkin8d01b4c2004-10-23 14:57:50 +0000532#undef XER_ADVANCE
533#define XER_ADVANCE(num_bytes) do { \
534 size_t num = num_bytes; \
Lev Walkin8c3b8542005-03-10 18:52:02 +0000535 buf_ptr = ((const char *)buf_ptr) + num;\
Lev Walkin8d01b4c2004-10-23 14:57:50 +0000536 size -= num; \
537 consumed_myself += num; \
538 } while(0)
539
Lev Walkinc61f3862005-02-14 17:21:22 +0000540/*
541 * Decode the XER (XML) data.
542 */
Lev Walkin8d01b4c2004-10-23 14:57:50 +0000543asn_dec_rval_t
544CHOICE_decode_xer(asn_codec_ctx_t *opt_codec_ctx, asn_TYPE_descriptor_t *td,
545 void **struct_ptr, const char *opt_mname,
Lev Walkin8c3b8542005-03-10 18:52:02 +0000546 const void *buf_ptr, size_t size) {
Lev Walkin8d01b4c2004-10-23 14:57:50 +0000547 /*
548 * Bring closer parts of structure description.
549 */
550 asn_CHOICE_specifics_t *specs = (asn_CHOICE_specifics_t *)td->specifics;
551 const char *xml_tag = opt_mname ? opt_mname : td->xml_tag;
552
553 /*
554 * Parts of the structure being constructed.
555 */
556 void *st = *struct_ptr; /* Target structure. */
557 asn_struct_ctx_t *ctx; /* Decoder context */
558
Lev Walkinc61f3862005-02-14 17:21:22 +0000559 asn_dec_rval_t rval; /* Return value of a decoder */
Lev Walkin8d01b4c2004-10-23 14:57:50 +0000560 ssize_t consumed_myself = 0; /* Consumed bytes from ptr */
Lev Walkin8d01b4c2004-10-23 14:57:50 +0000561 int edx; /* Element index */
562
563 /*
564 * Create the target structure if it is not present already.
565 */
566 if(st == 0) {
567 st = *struct_ptr = CALLOC(1, specs->struct_size);
568 if(st == 0) RETURN(RC_FAIL);
569 }
570
571 /*
572 * Restore parsing context.
573 */
574 ctx = (asn_struct_ctx_t *)((char *)st + specs->ctx_offset);
575
576
577 /*
578 * Phases of XER/XML processing:
579 * Phase 0: Check that the opening tag matches our expectations.
580 * Phase 1: Processing body and reacting on closing tag.
581 * Phase 2: Processing inner type.
Lev Walkinc34dc462005-02-18 16:23:48 +0000582 * Phase 3: Only waiting for closing tag.
583 * Phase 4: Skipping unknown extensions.
584 * Phase 5: PHASED OUT
Lev Walkin8d01b4c2004-10-23 14:57:50 +0000585 */
Lev Walkinc34dc462005-02-18 16:23:48 +0000586 for(edx = ctx->step; ctx->phase <= 4;) {
Lev Walkin8d01b4c2004-10-23 14:57:50 +0000587 pxer_chunk_type_e ch_type; /* XER chunk type */
588 ssize_t ch_size; /* Chunk size */
589 xer_check_tag_e tcv; /* Tag check value */
590 asn_TYPE_member_t *elm;
591
592 /*
593 * Go inside the member.
594 */
595 if(ctx->phase == 2) {
596 asn_dec_rval_t tmprval;
Lev Walkin8d01b4c2004-10-23 14:57:50 +0000597 void *memb_ptr; /* Pointer to the member */
598 void **memb_ptr2; /* Pointer to that pointer */
599
Lev Walkinabf68892004-10-26 10:12:14 +0000600 elm = &td->elements[edx];
601
Lev Walkin8d01b4c2004-10-23 14:57:50 +0000602 if(elm->flags & ATF_POINTER) {
603 /* Member is a pointer to another structure */
604 memb_ptr2 = (void **)((char *)st
605 + elm->memb_offset);
606 } else {
607 memb_ptr = (char *)st + elm->memb_offset;
608 memb_ptr2 = &memb_ptr;
609 }
610
Lev Walkinc61f3862005-02-14 17:21:22 +0000611 /* Start/Continue decoding the inner member */
Lev Walkin8d01b4c2004-10-23 14:57:50 +0000612 tmprval = elm->type->xer_decoder(opt_codec_ctx,
613 elm->type, memb_ptr2, elm->name,
614 buf_ptr, size);
615 XER_ADVANCE(tmprval.consumed);
Lev Walkin2eeeedc2005-02-18 16:10:40 +0000616 ASN_DEBUG("XER/CHOICE: itdf: code=%d", tmprval.code);
Lev Walkin8d01b4c2004-10-23 14:57:50 +0000617 if(tmprval.code != RC_OK)
618 RETURN(tmprval.code);
Lev Walkinc61f3862005-02-14 17:21:22 +0000619 assert(_fetch_present_idx(st,
620 specs->pres_offset, specs->pres_size) == 0);
621 /* Record what we've got */
622 _set_present_idx(st,
623 specs->pres_offset, specs->pres_size, edx + 1);
Lev Walkin8d01b4c2004-10-23 14:57:50 +0000624 ctx->phase = 3;
625 /* Fall through */
626 }
627
628 /*
629 * Get the next part of the XML stream.
630 */
Lev Walkin1e443962005-02-18 18:06:36 +0000631 ch_size = xer_next_token(&ctx->context, buf_ptr, size, &ch_type);
Lev Walkin8d01b4c2004-10-23 14:57:50 +0000632 switch(ch_size) {
633 case -1: RETURN(RC_FAIL);
Lev Walkin2eeeedc2005-02-18 16:10:40 +0000634 case 0: RETURN(RC_WMORE);
Lev Walkin8d01b4c2004-10-23 14:57:50 +0000635 default:
636 switch(ch_type) {
637 case PXER_COMMENT: /* Got XML comment */
638 case PXER_TEXT: /* Ignore free-standing text */
639 XER_ADVANCE(ch_size); /* Skip silently */
640 continue;
641 case PXER_TAG:
642 break; /* Check the rest down there */
643 }
644 }
645
Lev Walkinc61f3862005-02-14 17:21:22 +0000646 tcv = xer_check_tag(buf_ptr, ch_size, xml_tag);
Lev Walkinc34dc462005-02-18 16:23:48 +0000647
648 /* Skip the extensions section */
649 if(ctx->phase == 4) {
650 ASN_DEBUG("skip_unknown(%d, %ld)",
651 tcv, (long)ctx->left);
652 switch(xer_skip_unknown(tcv, &ctx->left)) {
653 case -1:
654 ctx->phase = 5;
655 RETURN(RC_FAIL);
656 continue;
657 case 1:
658 ctx->phase = 3;
Lev Walkin1e443962005-02-18 18:06:36 +0000659 /* Fall through */
Lev Walkinc34dc462005-02-18 16:23:48 +0000660 case 0:
661 XER_ADVANCE(ch_size);
662 continue;
663 case 2:
664 ctx->phase = 3;
665 break;
666 }
667 }
668
Lev Walkin8d01b4c2004-10-23 14:57:50 +0000669 switch(tcv) {
670 case XCT_BOTH:
Lev Walkinc61f3862005-02-14 17:21:22 +0000671 break; /* No CHOICE? */
Lev Walkin8d01b4c2004-10-23 14:57:50 +0000672 case XCT_CLOSING:
Lev Walkinc61f3862005-02-14 17:21:22 +0000673 if(ctx->phase != 3)
Lev Walkin8d01b4c2004-10-23 14:57:50 +0000674 break;
675 XER_ADVANCE(ch_size);
Lev Walkinc34dc462005-02-18 16:23:48 +0000676 ctx->phase = 5; /* Phase out */
Lev Walkin8d01b4c2004-10-23 14:57:50 +0000677 RETURN(RC_OK);
678 case XCT_OPENING:
679 if(ctx->phase == 0) {
680 XER_ADVANCE(ch_size);
681 ctx->phase = 1; /* Processing body phase */
682 continue;
Lev Walkin8d01b4c2004-10-23 14:57:50 +0000683 }
684 /* Fall through */
Lev Walkin904e65b2005-02-18 14:23:48 +0000685 case XCT_UNKNOWN_OP:
686 case XCT_UNKNOWN_BO:
Lev Walkin8d01b4c2004-10-23 14:57:50 +0000687
688 if(ctx->phase != 1)
689 break; /* Really unexpected */
690
691 /*
Lev Walkinc61f3862005-02-14 17:21:22 +0000692 * Search which inner member corresponds to this tag.
Lev Walkin8d01b4c2004-10-23 14:57:50 +0000693 */
694 for(edx = 0; edx < td->elements_count; edx++) {
695 elm = &td->elements[edx];
Lev Walkinc61f3862005-02-14 17:21:22 +0000696 tcv = xer_check_tag(buf_ptr,ch_size,elm->name);
Lev Walkin8d01b4c2004-10-23 14:57:50 +0000697 switch(tcv) {
698 case XCT_BOTH:
699 case XCT_OPENING:
700 /*
701 * Process this member.
702 */
703 ctx->step = edx;
704 ctx->phase = 2;
705 break;
Lev Walkin904e65b2005-02-18 14:23:48 +0000706 case XCT_UNKNOWN_OP:
707 case XCT_UNKNOWN_BO:
Lev Walkin6c0df202005-02-14 19:03:17 +0000708 continue;
Lev Walkin8d01b4c2004-10-23 14:57:50 +0000709 default:
710 edx = td->elements_count;
711 break; /* Phase out */
712 }
713 break;
714 }
Lev Walkin6c0df202005-02-14 19:03:17 +0000715 if(edx != td->elements_count)
716 continue;
Lev Walkin904e65b2005-02-18 14:23:48 +0000717
718 /* It is expected extension */
719 if(specs->extensible) {
Lev Walkinc34dc462005-02-18 16:23:48 +0000720 ASN_DEBUG("Got anticipated extension");
Lev Walkin904e65b2005-02-18 14:23:48 +0000721 /*
Lev Walkinc34dc462005-02-18 16:23:48 +0000722 * Check for (XCT_BOTH or XCT_UNKNOWN_BO)
723 * By using a mask. Only record a pure
724 * <opening> tags.
Lev Walkin904e65b2005-02-18 14:23:48 +0000725 */
Lev Walkinc34dc462005-02-18 16:23:48 +0000726 if(tcv & XCT_CLOSING) {
727 /* Found </extension> without body */
728 ctx->phase = 3; /* Terminating */
729 } else {
730 ctx->left = 1;
731 ctx->phase = 4; /* Skip ...'s */
732 }
733 XER_ADVANCE(ch_size);
734 continue;
Lev Walkin904e65b2005-02-18 14:23:48 +0000735 }
736
Lev Walkin6c0df202005-02-14 19:03:17 +0000737 /* Fall through */
Lev Walkin8d01b4c2004-10-23 14:57:50 +0000738 default:
739 break;
740 }
741
Lev Walkinc61f3862005-02-14 17:21:22 +0000742 ASN_DEBUG("Unexpected XML tag in CHOICE");
Lev Walkin8d01b4c2004-10-23 14:57:50 +0000743 break;
744 }
745
Lev Walkinc34dc462005-02-18 16:23:48 +0000746 ctx->phase = 5; /* Phase out, just in case */
Lev Walkin8d01b4c2004-10-23 14:57:50 +0000747 RETURN(RC_FAIL);
748}
749
750
Lev Walkina9cc46e2004-09-22 16:06:28 +0000751asn_enc_rval_t
Lev Walkin5e033762004-09-29 13:26:15 +0000752CHOICE_encode_xer(asn_TYPE_descriptor_t *td, void *sptr,
Lev Walkina9cc46e2004-09-22 16:06:28 +0000753 int ilevel, enum xer_encoder_flags_e flags,
754 asn_app_consume_bytes_f *cb, void *app_key) {
Lev Walkin5e033762004-09-29 13:26:15 +0000755 asn_CHOICE_specifics_t *specs=(asn_CHOICE_specifics_t *)td->specifics;
Lev Walkina9cc46e2004-09-22 16:06:28 +0000756 asn_enc_rval_t er;
757 int present;
758
759 if(!sptr)
760 _ASN_ENCODE_FAILED;
761
762 /*
763 * Figure out which CHOICE element is encoded.
764 */
765 present = _fetch_present_idx(sptr, specs->pres_offset,specs->pres_size);
766
767 if(present <= 0 || present > td->elements_count) {
768 _ASN_ENCODE_FAILED;
769 } else {
770 asn_enc_rval_t tmper;
Lev Walkin5e033762004-09-29 13:26:15 +0000771 asn_TYPE_member_t *elm = &td->elements[present-1];
Lev Walkina9cc46e2004-09-22 16:06:28 +0000772 void *memb_ptr;
773 const char *mname = elm->name;
774 unsigned int mlen = strlen(mname);
775
776 if(elm->flags & ATF_POINTER) {
777 memb_ptr = *(void **)((char *)sptr + elm->memb_offset);
778 if(!memb_ptr) _ASN_ENCODE_FAILED;
779 } else {
780 memb_ptr = (void *)((char *)sptr + elm->memb_offset);
781 }
782
783 er.encoded = 0;
784
785 if(!(flags & XER_F_CANONICAL)) _i_ASN_TEXT_INDENT(1, ilevel);
786 _ASN_CALLBACK3("<", 1, mname, mlen, ">", 1);
787
788 tmper = elm->type->xer_encoder(elm->type, memb_ptr,
789 ilevel + 1, flags, cb, app_key);
790 if(tmper.encoded == -1) return tmper;
791
792 _ASN_CALLBACK3("</", 2, mname, mlen, ">", 1);
793
794 er.encoded += 5 + (2 * mlen) + tmper.encoded;
795 }
796
797 if(!(flags & XER_F_CANONICAL)) _i_ASN_TEXT_INDENT(1, ilevel - 1);
798
799 return er;
Lev Walkin942fd082004-10-03 09:13:02 +0000800cb_failed:
801 _ASN_ENCODE_FAILED;
Lev Walkina9cc46e2004-09-22 16:06:28 +0000802}
803
Lev Walkinf15320b2004-06-03 03:38:44 +0000804int
Lev Walkin5e033762004-09-29 13:26:15 +0000805CHOICE_print(asn_TYPE_descriptor_t *td, const void *sptr, int ilevel,
Lev Walkinf15320b2004-06-03 03:38:44 +0000806 asn_app_consume_bytes_f *cb, void *app_key) {
Lev Walkin5e033762004-09-29 13:26:15 +0000807 asn_CHOICE_specifics_t *specs = (asn_CHOICE_specifics_t *)td->specifics;
Lev Walkinf15320b2004-06-03 03:38:44 +0000808 int present;
809
Lev Walkin8e8078a2004-09-26 13:10:40 +0000810 if(!sptr) return (cb("<absent>", 8, app_key) < 0) ? -1 : 0;
Lev Walkinf15320b2004-06-03 03:38:44 +0000811
812 /*
813 * Figure out which CHOICE element is encoded.
814 */
815 present = _fetch_present_idx(sptr, specs->pres_offset,specs->pres_size);
816
817 /*
Lev Walkina9cc46e2004-09-22 16:06:28 +0000818 * Print that element.
Lev Walkinf15320b2004-06-03 03:38:44 +0000819 */
Lev Walkin449f8322004-08-20 13:23:42 +0000820 if(present > 0 && present <= td->elements_count) {
Lev Walkin5e033762004-09-29 13:26:15 +0000821 asn_TYPE_member_t *elm = &td->elements[present-1];
Lev Walkinf15320b2004-06-03 03:38:44 +0000822 const void *memb_ptr;
823
Lev Walkincc93b0f2004-09-10 09:18:20 +0000824 if(elm->flags & ATF_POINTER) {
Lev Walkinf15320b2004-06-03 03:38:44 +0000825 memb_ptr = *(const void * const *)((const char *)sptr + elm->memb_offset);
Lev Walkin8e8078a2004-09-26 13:10:40 +0000826 if(!memb_ptr) return (cb("<absent>", 8, app_key) < 0) ? -1 : 0;
Lev Walkinf15320b2004-06-03 03:38:44 +0000827 } else {
828 memb_ptr = (const void *)((const char *)sptr + elm->memb_offset);
829 }
830
831 /* Print member's name and stuff */
Lev Walkincc6a9102004-09-23 22:06:26 +0000832 if(0) {
Lev Walkin8e8078a2004-09-26 13:10:40 +0000833 if(cb(elm->name, strlen(elm->name), app_key) < 0
834 || cb(": ", 2, app_key) < 0)
Lev Walkincc6a9102004-09-23 22:06:26 +0000835 return -1;
836 }
Lev Walkinf15320b2004-06-03 03:38:44 +0000837
838 return elm->type->print_struct(elm->type, memb_ptr, ilevel,
839 cb, app_key);
840 } else {
Lev Walkin8e8078a2004-09-26 13:10:40 +0000841 return (cb("<absent>", 8, app_key) < 0) ? -1 : 0;
Lev Walkinf15320b2004-06-03 03:38:44 +0000842 }
843}
844
845void
Lev Walkin5e033762004-09-29 13:26:15 +0000846CHOICE_free(asn_TYPE_descriptor_t *td, void *ptr, int contents_only) {
847 asn_CHOICE_specifics_t *specs = (asn_CHOICE_specifics_t *)td->specifics;
Lev Walkinf15320b2004-06-03 03:38:44 +0000848 int present;
849
850 if(!td || !ptr)
851 return;
852
853 ASN_DEBUG("Freeing %s as CHOICE", td->name);
854
855 /*
856 * Figure out which CHOICE element is encoded.
857 */
858 present = _fetch_present_idx(ptr, specs->pres_offset, specs->pres_size);
859
860 /*
861 * Free that element.
862 */
Lev Walkin449f8322004-08-20 13:23:42 +0000863 if(present > 0 && present <= td->elements_count) {
Lev Walkin5e033762004-09-29 13:26:15 +0000864 asn_TYPE_member_t *elm = &td->elements[present-1];
Lev Walkinf15320b2004-06-03 03:38:44 +0000865 void *memb_ptr;
866
Lev Walkincc93b0f2004-09-10 09:18:20 +0000867 if(elm->flags & ATF_POINTER) {
Lev Walkinf15320b2004-06-03 03:38:44 +0000868 memb_ptr = *(void **)((char *)ptr + elm->memb_offset);
869 if(memb_ptr)
870 elm->type->free_struct(elm->type, memb_ptr, 0);
871 } else {
872 memb_ptr = (void *)((char *)ptr + elm->memb_offset);
873 elm->type->free_struct(elm->type, memb_ptr, 1);
874 }
875 }
876
877 if(!contents_only) {
878 FREEMEM(ptr);
879 }
880}
881
882
883/*
884 * The following functions functions offer protection against -fshort-enums,
885 * compatible with little- and big-endian machines.
886 * If assertion is triggered, either disable -fshort-enums, or add an entry
887 * here with the ->pres_size of your target stracture.
888 * Unless the target structure is packed, the ".present" member
889 * is guaranteed to be aligned properly. ASN.1 compiler itself does not
890 * produce packed code.
891 */
Lev Walkin91f5cd02004-08-11 09:10:59 +0000892static int
Lev Walkinf15320b2004-06-03 03:38:44 +0000893_fetch_present_idx(const void *struct_ptr, int pres_offset, int pres_size) {
894 const void *present_ptr;
895 int present;
896
897 present_ptr = ((const char *)struct_ptr) + pres_offset;
898
899 switch(pres_size) {
900 case sizeof(int): present = *(const int *)present_ptr; break;
901 case sizeof(short): present = *(const short *)present_ptr; break;
902 case sizeof(char): present = *(const char *)present_ptr; break;
903 default:
904 /* ANSI C mandates enum to be equivalent to integer */
905 assert(pres_size != sizeof(int));
906 return 0; /* If not aborted, pass back safe value */
907 }
908
909 return present;
910}
911
Lev Walkin91f5cd02004-08-11 09:10:59 +0000912static void
Lev Walkinf15320b2004-06-03 03:38:44 +0000913_set_present_idx(void *struct_ptr, int pres_offset, int pres_size, int present) {
914 void *present_ptr;
915 present_ptr = ((char *)struct_ptr) + pres_offset;
916
917 switch(pres_size) {
918 case sizeof(int): *(int *)present_ptr = present; break;
919 case sizeof(short): *(short *)present_ptr = present; break;
920 case sizeof(char): *(char *)present_ptr = present; break;
921 default:
922 /* ANSI C mandates enum to be equivalent to integer */
923 assert(pres_size != sizeof(int));
924 }
925}