blob: 82c084e2169b9c7422035d2a139782927a63b4f2 [file] [log] [blame]
Lev Walkindc06f6b2004-10-20 15:50:55 +00001
2#include <asn_application.h>
3#include <asn_internal.h>
4#include <xer_support.h> /* XER/XML parsing support */
5#include <assert.h>
6
7
8/*
9 * Decode the XER encoding of a given type.
10 */
11asn_dec_rval_t
12xer_decode(asn_codec_ctx_t *opt_codec_ctx, asn_TYPE_descriptor_t *td,
13 void **struct_ptr, void *buffer, size_t size) {
14 asn_codec_ctx_t s_codec_ctx;
15
16 /*
17 * Satisfy the requirement that the codec context
18 * must be allocated on the stack.
19 */
20 if(opt_codec_ctx && opt_codec_ctx->max_stack_size) {
21 s_codec_ctx = *opt_codec_ctx;
22 opt_codec_ctx = &s_codec_ctx;
23 }
24
25 /*
26 * Invoke type-specific decoder.
27 */
28 return td->xer_decoder(opt_codec_ctx, td, struct_ptr, 0, buffer, size);
29}
30
31
32
33struct xer__cb_arg {
34 pxml_chunk_type_e chunk_type;
35 size_t chunk_size;
36 void *chunk_buf;
37 int callback_not_invoked;
38};
39
40static int
41xer__token_cb(pxml_chunk_type_e type, void *_chunk_data, size_t _chunk_size, void *key) {
42 struct xer__cb_arg *arg = (struct xer__cb_arg *)key;
43 arg->chunk_type = type;
44 arg->chunk_size = _chunk_size;
45 arg->chunk_buf = _chunk_data;
46 arg->callback_not_invoked = 0;
47 return -1; /* Terminate the XML parsing */
48}
49
50/*
51 * Fetch the next token from the XER/XML stream.
52 */
53ssize_t
Lev Walkin1e443962005-02-18 18:06:36 +000054xer_next_token(int *stateContext, void *buffer, size_t size, pxer_chunk_type_e *ch_type) {
Lev Walkindc06f6b2004-10-20 15:50:55 +000055 struct xer__cb_arg arg;
Lev Walkin1e443962005-02-18 18:06:36 +000056 int new_stateContext = *stateContext;
Lev Walkindc06f6b2004-10-20 15:50:55 +000057 ssize_t ret;
58
59 arg.callback_not_invoked = 1;
Lev Walkin1e443962005-02-18 18:06:36 +000060 ret = pxml_parse(&new_stateContext, buffer, size, xer__token_cb, &arg);
Lev Walkindc06f6b2004-10-20 15:50:55 +000061 if(ret < 0) return -1;
62 if(arg.callback_not_invoked) {
63 assert(ret == 0); /* No data was consumed */
64 return 0; /* Try again with more data */
65 } else {
66 assert(arg.chunk_size);
67 assert(arg.chunk_buf == buffer);
68 }
69
70 /*
71 * Translate the XML chunk types into more convenient ones.
72 */
73 switch(arg.chunk_type) {
74 case PXML_TEXT:
75 *ch_type = PXER_TEXT;
76 break;
77 case PXML_TAG: return 0; /* Want more */
78 case PXML_TAG_END:
79 *ch_type = PXER_TAG;
80 break;
81 case PXML_COMMENT:
82 case PXML_COMMENT_END:
83 *ch_type = PXER_COMMENT;
84 break;
85 }
86
Lev Walkin1e443962005-02-18 18:06:36 +000087 *stateContext = new_stateContext;
Lev Walkindc06f6b2004-10-20 15:50:55 +000088 return arg.chunk_size;
89}
90
91#define CSLASH 0x2f /* '/' */
92#define LANGLE 0x3c /* '<' */
93#define RANGLE 0x3e /* '>' */
94
95xer_check_tag_e
96xer_check_tag(const void *buf_ptr, int size, const char *need_tag) {
97 const char *buf = (const char *)buf_ptr;
98 const char *end;
99 xer_check_tag_e ct = XCT_OPENING;
100
101 if(size < 2 || buf[0] != LANGLE || buf[size-1] != RANGLE) {
Lev Walkinc61f3862005-02-14 17:21:22 +0000102 if(size >= 2)
103 ASN_DEBUG("Broken XML tag: \"%c...%c\"", buf[0], buf[size - 1]);
Lev Walkindc06f6b2004-10-20 15:50:55 +0000104 return XCT_BROKEN;
105 }
106
107 /*
108 * Determine the tag class.
109 */
110 if(buf[1] == CSLASH) {
111 buf += 2; /* advance past "</" */
112 size -= 3; /* strip "</" and ">" */
113 ct = XCT_CLOSING;
114 if(size > 0 && buf[size-1] == CSLASH)
115 return XCT_BROKEN; /* </abc/> */
116 } else {
117 buf++; /* advance past "<" */
118 size -= 2; /* strip "<" and ">" */
119 if(size > 0 && buf[size-1] == CSLASH) {
120 ct = XCT_BOTH;
121 size--; /* One more, for "/" */
122 }
123 }
124
125 /*
126 * Determine the tag name.
127 */
128 for(end = buf + size; buf < end; buf++, need_tag++) {
129 int b = *buf, n = *need_tag;
130 if(b != n) {
131 if(n == 0) {
132 switch(b) {
133 case 0x09: case 0x0a: case 0x0c: case 0x0d:
134 case 0x20:
135 /* "<abc def/>": whitespace is normal */
136 return ct;
137 }
138 }
Lev Walkin1e443962005-02-18 18:06:36 +0000139 return (xer_check_tag_e)(XCT__UNK__MASK | ct);
Lev Walkindc06f6b2004-10-20 15:50:55 +0000140 }
141 if(b == 0)
142 return XCT_BROKEN; /* Embedded 0 in buf?! */
143 }
Lev Walkin904e65b2005-02-18 14:23:48 +0000144 if(*need_tag)
Lev Walkin1e443962005-02-18 18:06:36 +0000145 return (xer_check_tag_e)(XCT__UNK__MASK | ct);
Lev Walkindc06f6b2004-10-20 15:50:55 +0000146
147 return ct;
148}
149
150
151#undef ADVANCE
152#define ADVANCE(num_bytes) do { \
153 size_t num = (num_bytes); \
154 buf_ptr = ((char *)buf_ptr) + num; \
155 size -= num; \
156 consumed_myself += num; \
157 } while(0)
158
159#undef RETURN
160#define RETURN(_code) do { \
161 rval.code = _code; \
162 rval.consumed = consumed_myself; \
163 return rval; \
164 } while(0)
165
Lev Walkin9357ec12005-02-18 12:26:20 +0000166#define XER_GOT_BODY(chunk_buf, chunk_size, size) do { \
Lev Walkindc06f6b2004-10-20 15:50:55 +0000167 ssize_t converted_size = body_receiver \
Lev Walkin3256d6f2004-10-21 11:22:12 +0000168 (struct_key, chunk_buf, chunk_size, \
Lev Walkindc06f6b2004-10-20 15:50:55 +0000169 (size_t)chunk_size < size); \
170 if(converted_size == -1) RETURN(RC_FAIL); \
Lev Walkin1e443962005-02-18 18:06:36 +0000171 if(converted_size == 0 \
172 && size == (size_t)chunk_size) \
Lev Walkin9357ec12005-02-18 12:26:20 +0000173 RETURN(RC_WMORE); \
Lev Walkindc06f6b2004-10-20 15:50:55 +0000174 chunk_size = converted_size; \
175 } while(0)
176#define XER_GOT_EMPTY() do { \
Lev Walkin9357ec12005-02-18 12:26:20 +0000177 if(body_receiver(struct_key, 0, 0, size > 0) == -1) \
178 RETURN(RC_FAIL); \
Lev Walkindc06f6b2004-10-20 15:50:55 +0000179 } while(0)
180
181/*
182 * Generalized function for decoding the primitive values.
183 */
184asn_dec_rval_t
185xer_decode_general(asn_codec_ctx_t *opt_codec_ctx,
186 asn_struct_ctx_t *ctx, /* Type decoder context */
Lev Walkin3256d6f2004-10-21 11:22:12 +0000187 void *struct_key,
Lev Walkindc06f6b2004-10-20 15:50:55 +0000188 const char *xml_tag, /* Expected XML tag */
189 void *buf_ptr, size_t size,
190 int (*opt_unexpected_tag_decoder)
Lev Walkin3256d6f2004-10-21 11:22:12 +0000191 (void *struct_key, void *chunk_buf, size_t chunk_size),
Lev Walkindc06f6b2004-10-20 15:50:55 +0000192 ssize_t (*body_receiver)
Lev Walkin3256d6f2004-10-21 11:22:12 +0000193 (void *struct_key, void *chunk_buf, size_t chunk_size,
Lev Walkindc06f6b2004-10-20 15:50:55 +0000194 int have_more)
195 ) {
196
197 asn_dec_rval_t rval;
198 ssize_t consumed_myself = 0;
Lev Walkindc06f6b2004-10-20 15:50:55 +0000199
200 (void)opt_codec_ctx;
201
202 /*
203 * Phases of XER/XML processing:
204 * Phase 0: Check that the opening tag matches our expectations.
205 * Phase 1: Processing body and reacting on closing tag.
206 */
207 if(ctx->phase > 1) RETURN(RC_FAIL);
Lev Walkin2eeeedc2005-02-18 16:10:40 +0000208 for(;;) {
Lev Walkind2de48a2004-10-23 13:27:03 +0000209 pxer_chunk_type_e ch_type; /* XER chunk type */
210 ssize_t ch_size; /* Chunk size */
211 xer_check_tag_e tcv; /* Tag check value */
Lev Walkindc06f6b2004-10-20 15:50:55 +0000212
213 /*
214 * Get the next part of the XML stream.
215 */
Lev Walkin1e443962005-02-18 18:06:36 +0000216 ch_size = xer_next_token(&ctx->context, buf_ptr, size,
217 &ch_type);
Lev Walkindc06f6b2004-10-20 15:50:55 +0000218 switch(ch_size) {
219 case -1: RETURN(RC_FAIL);
220 case 0:
Lev Walkindc06f6b2004-10-20 15:50:55 +0000221 RETURN(RC_WMORE);
222 default:
223 switch(ch_type) {
224 case PXER_COMMENT: /* Got XML comment */
225 ADVANCE(ch_size); /* Skip silently */
226 continue;
227 case PXER_TEXT:
228 if(ctx->phase == 0) {
Lev Walkincfeecfb2004-10-21 05:44:11 +0000229 /*
230 * We have to ignore whitespace here,
231 * but in order to be forward compatible
232 * with EXTENDED-XER (EMBED-VALUES, #25)
233 * any text is just ignored here.
234 */
235 } else {
Lev Walkin9357ec12005-02-18 12:26:20 +0000236 XER_GOT_BODY(buf_ptr, ch_size, size);
Lev Walkindc06f6b2004-10-20 15:50:55 +0000237 }
Lev Walkindc06f6b2004-10-20 15:50:55 +0000238 ADVANCE(ch_size);
239 continue;
240 case PXER_TAG:
241 break; /* Check the rest down there */
242 }
243 }
244
245 assert(ch_type == PXER_TAG && size);
246
247 tcv = xer_check_tag(buf_ptr, ch_size, xml_tag);
Lev Walkind2de48a2004-10-23 13:27:03 +0000248 /*
249 * Phase 0:
250 * Expecting the opening tag
251 * for the type being processed.
252 * Phase 1:
253 * Waiting for the closing XML tag.
254 */
255 switch(tcv) {
256 case XCT_BOTH:
257 if(ctx->phase) break;
258 /* Finished decoding of an empty element */
259 XER_GOT_EMPTY();
260 ADVANCE(ch_size);
261 ctx->phase = 2; /* Phase out */
262 RETURN(RC_OK);
263 case XCT_OPENING:
264 if(ctx->phase) break;
265 ADVANCE(ch_size);
266 ctx->phase = 1; /* Processing body phase */
267 continue;
268 case XCT_CLOSING:
269 if(!ctx->phase) break;
270 ADVANCE(ch_size);
271 ctx->phase = 2; /* Phase out */
272 RETURN(RC_OK);
Lev Walkin904e65b2005-02-18 14:23:48 +0000273 case XCT_UNKNOWN_BO:
Lev Walkind2de48a2004-10-23 13:27:03 +0000274 if(!ctx->phase) break;
Lev Walkindc06f6b2004-10-20 15:50:55 +0000275 /*
Lev Walkind2de48a2004-10-23 13:27:03 +0000276 * Certain tags in the body may be expected.
Lev Walkindc06f6b2004-10-20 15:50:55 +0000277 */
Lev Walkind2de48a2004-10-23 13:27:03 +0000278 if(opt_unexpected_tag_decoder
279 && opt_unexpected_tag_decoder(struct_key,
280 buf_ptr, ch_size) == 0) {
281 /* Tag's processed fine */
Lev Walkindc06f6b2004-10-20 15:50:55 +0000282 ADVANCE(ch_size);
Lev Walkindc06f6b2004-10-20 15:50:55 +0000283 continue;
Lev Walkindc06f6b2004-10-20 15:50:55 +0000284 }
Lev Walkind2de48a2004-10-23 13:27:03 +0000285 /* Fall through */
286 default:
287 break; /* Unexpected tag */
Lev Walkindc06f6b2004-10-20 15:50:55 +0000288 }
Lev Walkind2de48a2004-10-23 13:27:03 +0000289
Lev Walkin642962a2005-02-24 22:37:07 +0000290 ASN_DEBUG("Unexpected XML tag (expected \"%s\")", xml_tag);
Lev Walkindc06f6b2004-10-20 15:50:55 +0000291 break; /* Dark and mysterious things have just happened */
292 }
293
294 RETURN(RC_FAIL);
295}
296
Lev Walkindde25b32004-10-22 08:17:16 +0000297
298int
299xer_is_whitespace(void *chunk_buf, size_t chunk_size) {
300 char *p = (char *)chunk_buf;
301 char *pend = p + chunk_size;
302
303 for(; p < pend; p++) {
304 switch(*p) {
305 /* X.693, #8.1.4
306 * HORISONTAL TAB (9)
307 * LINE FEED (10)
308 * CARRIAGE RETURN (13)
309 * SPACE (32)
310 */
311 case 0x09: case 0x0a: case 0x0d: case 0x20:
312 break;
313 default:
314 return 0;
315 }
316 }
317 return 1; /* All whitespace */
318}
319
Lev Walkin2eeeedc2005-02-18 16:10:40 +0000320/*
321 * This is a vastly simplified, non-validating XML tree skipper.
322 */
323int
324xer_skip_unknown(xer_check_tag_e tcv, ber_tlv_len_t *depth) {
325 assert(*depth > 0);
326 switch(tcv) {
327 case XCT_BOTH:
328 case XCT_UNKNOWN_BO:
329 /* These negate each other. */
330 return 0;
331 case XCT_OPENING:
332 case XCT_UNKNOWN_OP:
333 ++(*depth);
334 return 0;
335 case XCT_CLOSING:
336 case XCT_UNKNOWN_CL:
337 if(--(*depth) == 0)
338 return (tcv == XCT_CLOSING) ? 2 : 1;
339 return 0;
340 default:
341 return -1;
342 }
343}
344
345