blob: ed1fff46baa4069f5853838e2c548855e22988aa [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 Walkin2eeeedc2005-02-18 16:10:40 +000054xer_next_token(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 Walkin2eeeedc2005-02-18 16:10:40 +000056 int stateContext = 0;
Lev Walkindc06f6b2004-10-20 15:50:55 +000057 ssize_t ret;
58
59 arg.callback_not_invoked = 1;
Lev Walkin2eeeedc2005-02-18 16:10:40 +000060 ret = pxml_parse(&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);
Lev Walkin2eeeedc2005-02-18 16:10:40 +000068 assert(stateContext == 0);
Lev Walkindc06f6b2004-10-20 15:50:55 +000069 }
70
71 /*
72 * Translate the XML chunk types into more convenient ones.
73 */
74 switch(arg.chunk_type) {
75 case PXML_TEXT:
76 *ch_type = PXER_TEXT;
77 break;
78 case PXML_TAG: return 0; /* Want more */
79 case PXML_TAG_END:
80 *ch_type = PXER_TAG;
81 break;
82 case PXML_COMMENT:
83 case PXML_COMMENT_END:
84 *ch_type = PXER_COMMENT;
85 break;
86 }
87
88 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 Walkin904e65b2005-02-18 14:23:48 +0000139 return (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)
145 return (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 Walkin2eeeedc2005-02-18 16:10:40 +0000171 if(converted_size == 0 && size == chunk_size) \
Lev Walkin9357ec12005-02-18 12:26:20 +0000172 RETURN(RC_WMORE); \
Lev Walkindc06f6b2004-10-20 15:50:55 +0000173 chunk_size = converted_size; \
174 } while(0)
175#define XER_GOT_EMPTY() do { \
Lev Walkin9357ec12005-02-18 12:26:20 +0000176 if(body_receiver(struct_key, 0, 0, size > 0) == -1) \
177 RETURN(RC_FAIL); \
Lev Walkindc06f6b2004-10-20 15:50:55 +0000178 } while(0)
179
180/*
181 * Generalized function for decoding the primitive values.
182 */
183asn_dec_rval_t
184xer_decode_general(asn_codec_ctx_t *opt_codec_ctx,
185 asn_struct_ctx_t *ctx, /* Type decoder context */
Lev Walkin3256d6f2004-10-21 11:22:12 +0000186 void *struct_key,
Lev Walkindc06f6b2004-10-20 15:50:55 +0000187 const char *xml_tag, /* Expected XML tag */
188 void *buf_ptr, size_t size,
189 int (*opt_unexpected_tag_decoder)
Lev Walkin3256d6f2004-10-21 11:22:12 +0000190 (void *struct_key, void *chunk_buf, size_t chunk_size),
Lev Walkindc06f6b2004-10-20 15:50:55 +0000191 ssize_t (*body_receiver)
Lev Walkin3256d6f2004-10-21 11:22:12 +0000192 (void *struct_key, void *chunk_buf, size_t chunk_size,
Lev Walkindc06f6b2004-10-20 15:50:55 +0000193 int have_more)
194 ) {
195
196 asn_dec_rval_t rval;
197 ssize_t consumed_myself = 0;
Lev Walkindc06f6b2004-10-20 15:50:55 +0000198
199 (void)opt_codec_ctx;
200
201 /*
202 * Phases of XER/XML processing:
203 * Phase 0: Check that the opening tag matches our expectations.
204 * Phase 1: Processing body and reacting on closing tag.
205 */
206 if(ctx->phase > 1) RETURN(RC_FAIL);
Lev Walkin2eeeedc2005-02-18 16:10:40 +0000207 for(;;) {
Lev Walkind2de48a2004-10-23 13:27:03 +0000208 pxer_chunk_type_e ch_type; /* XER chunk type */
209 ssize_t ch_size; /* Chunk size */
210 xer_check_tag_e tcv; /* Tag check value */
Lev Walkindc06f6b2004-10-20 15:50:55 +0000211
212 /*
213 * Get the next part of the XML stream.
214 */
Lev Walkin2eeeedc2005-02-18 16:10:40 +0000215 ch_size = xer_next_token(buf_ptr, size, &ch_type);
Lev Walkindc06f6b2004-10-20 15:50:55 +0000216 switch(ch_size) {
217 case -1: RETURN(RC_FAIL);
218 case 0:
Lev Walkindc06f6b2004-10-20 15:50:55 +0000219 RETURN(RC_WMORE);
220 default:
221 switch(ch_type) {
222 case PXER_COMMENT: /* Got XML comment */
223 ADVANCE(ch_size); /* Skip silently */
224 continue;
225 case PXER_TEXT:
226 if(ctx->phase == 0) {
Lev Walkincfeecfb2004-10-21 05:44:11 +0000227 /*
228 * We have to ignore whitespace here,
229 * but in order to be forward compatible
230 * with EXTENDED-XER (EMBED-VALUES, #25)
231 * any text is just ignored here.
232 */
233 } else {
Lev Walkin9357ec12005-02-18 12:26:20 +0000234 XER_GOT_BODY(buf_ptr, ch_size, size);
Lev Walkindc06f6b2004-10-20 15:50:55 +0000235 }
Lev Walkindc06f6b2004-10-20 15:50:55 +0000236 ADVANCE(ch_size);
237 continue;
238 case PXER_TAG:
239 break; /* Check the rest down there */
240 }
241 }
242
243 assert(ch_type == PXER_TAG && size);
244
245 tcv = xer_check_tag(buf_ptr, ch_size, xml_tag);
Lev Walkind2de48a2004-10-23 13:27:03 +0000246 /*
247 * Phase 0:
248 * Expecting the opening tag
249 * for the type being processed.
250 * Phase 1:
251 * Waiting for the closing XML tag.
252 */
253 switch(tcv) {
254 case XCT_BOTH:
255 if(ctx->phase) break;
256 /* Finished decoding of an empty element */
257 XER_GOT_EMPTY();
258 ADVANCE(ch_size);
259 ctx->phase = 2; /* Phase out */
260 RETURN(RC_OK);
261 case XCT_OPENING:
262 if(ctx->phase) break;
263 ADVANCE(ch_size);
264 ctx->phase = 1; /* Processing body phase */
265 continue;
266 case XCT_CLOSING:
267 if(!ctx->phase) break;
268 ADVANCE(ch_size);
269 ctx->phase = 2; /* Phase out */
270 RETURN(RC_OK);
Lev Walkin904e65b2005-02-18 14:23:48 +0000271 case XCT_UNKNOWN_BO:
Lev Walkind2de48a2004-10-23 13:27:03 +0000272 if(!ctx->phase) break;
Lev Walkindc06f6b2004-10-20 15:50:55 +0000273 /*
Lev Walkind2de48a2004-10-23 13:27:03 +0000274 * Certain tags in the body may be expected.
Lev Walkindc06f6b2004-10-20 15:50:55 +0000275 */
Lev Walkind2de48a2004-10-23 13:27:03 +0000276 if(opt_unexpected_tag_decoder
277 && opt_unexpected_tag_decoder(struct_key,
278 buf_ptr, ch_size) == 0) {
279 /* Tag's processed fine */
Lev Walkindc06f6b2004-10-20 15:50:55 +0000280 ADVANCE(ch_size);
Lev Walkindc06f6b2004-10-20 15:50:55 +0000281 continue;
Lev Walkindc06f6b2004-10-20 15:50:55 +0000282 }
Lev Walkind2de48a2004-10-23 13:27:03 +0000283 /* Fall through */
284 default:
285 break; /* Unexpected tag */
Lev Walkindc06f6b2004-10-20 15:50:55 +0000286 }
Lev Walkind2de48a2004-10-23 13:27:03 +0000287
288 ASN_DEBUG("Unexpected XML tag");
Lev Walkindc06f6b2004-10-20 15:50:55 +0000289 break; /* Dark and mysterious things have just happened */
290 }
291
292 RETURN(RC_FAIL);
293}
294
Lev Walkindde25b32004-10-22 08:17:16 +0000295
296int
297xer_is_whitespace(void *chunk_buf, size_t chunk_size) {
298 char *p = (char *)chunk_buf;
299 char *pend = p + chunk_size;
300
301 for(; p < pend; p++) {
302 switch(*p) {
303 /* X.693, #8.1.4
304 * HORISONTAL TAB (9)
305 * LINE FEED (10)
306 * CARRIAGE RETURN (13)
307 * SPACE (32)
308 */
309 case 0x09: case 0x0a: case 0x0d: case 0x20:
310 break;
311 default:
312 return 0;
313 }
314 }
315 return 1; /* All whitespace */
316}
317
Lev Walkin2eeeedc2005-02-18 16:10:40 +0000318/*
319 * This is a vastly simplified, non-validating XML tree skipper.
320 */
321int
322xer_skip_unknown(xer_check_tag_e tcv, ber_tlv_len_t *depth) {
323 assert(*depth > 0);
324 switch(tcv) {
325 case XCT_BOTH:
326 case XCT_UNKNOWN_BO:
327 /* These negate each other. */
328 return 0;
329 case XCT_OPENING:
330 case XCT_UNKNOWN_OP:
331 ++(*depth);
332 return 0;
333 case XCT_CLOSING:
334 case XCT_UNKNOWN_CL:
335 if(--(*depth) == 0)
336 return (tcv == XCT_CLOSING) ? 2 : 1;
337 return 0;
338 default:
339 return -1;
340 }
341}
342
343