source: libyaml/trunk/src/scanner.c @ 264

Revision 264, 96.7 KB checked in by xi, 7 years ago (diff)

Another round of API update.

Line 
1
2/*
3 * Introduction
4 * ************
5 *
6 * The following notes assume that you are familiar with the YAML specification
7 * (http://yaml.org/spec/cvs/current.html).  We mostly follow it, although in
8 * some cases we are less restrictive that it requires.
9 *
10 * The process of transforming a YAML stream into a sequence of events is
11 * divided on two steps: Scanning and Parsing.
12 *
13 * The Scanner transforms the input stream into a sequence of tokens, while the
14 * parser transform the sequence of tokens produced by the Scanner into a
15 * sequence of parsing events.
16 *
17 * The Scanner is rather clever and complicated. The Parser, on the contrary,
18 * is a straightforward implementation of a recursive-descendant parser (or,
19 * LL(1) parser, as it is usually called).
20 *
21 * Actually there are two issues of Scanning that might be called "clever", the
22 * rest is quite straightforward.  The issues are "block collection start" and
23 * "simple keys".  Both issues are explained below in details.
24 *
25 * Here the Scanning step is explained and implemented.  We start with the list
26 * of all the tokens produced by the Scanner together with short descriptions.
27 *
28 * Now, tokens:
29 *
30 *      STREAM-START(encoding)          # The stream start.
31 *      STREAM-END                      # The stream end.
32 *      VERSION-DIRECTIVE(major,minor)  # The '%YAML' directive.
33 *      TAG-DIRECTIVE(handle,prefix)    # The '%TAG' directive.
34 *      DOCUMENT-START                  # '---'
35 *      DOCUMENT-END                    # '...'
36 *      BLOCK-SEQUENCE-START            # Indentation increase denoting a block
37 *      BLOCK-MAPPING-START             # sequence or a block mapping.
38 *      BLOCK-END                       # Indentation decrease.
39 *      FLOW-SEQUENCE-START             # '['
40 *      FLOW-SEQUENCE-END               # ']'
41 *      BLOCK-SEQUENCE-START            # '{'
42 *      BLOCK-SEQUENCE-END              # '}'
43 *      BLOCK-ENTRY                     # '-'
44 *      FLOW-ENTRY                      # ','
45 *      KEY                             # '?' or nothing (simple keys).
46 *      VALUE                           # ':'
47 *      ALIAS(anchor)                   # '*anchor'
48 *      ANCHOR(anchor)                  # '&anchor'
49 *      TAG(handle,suffix)              # '!handle!suffix'
50 *      SCALAR(value,style)             # A scalar.
51 *
52 * The following two tokens are "virtual" tokens denoting the beginning and the
53 * end of the stream:
54 *
55 *      STREAM-START(encoding)
56 *      STREAM-END
57 *
58 * We pass the information about the input stream encoding with the
59 * STREAM-START token.
60 *
61 * The next two tokens are responsible for tags:
62 *
63 *      VERSION-DIRECTIVE(major,minor)
64 *      TAG-DIRECTIVE(handle,prefix)
65 *
66 * Example:
67 *
68 *      %YAML   1.1
69 *      %TAG    !   !foo
70 *      %TAG    !yaml!  tag:yaml.org,2002:
71 *      ---
72 *
73 * The correspoding sequence of tokens:
74 *
75 *      STREAM-START(utf-8)
76 *      VERSION-DIRECTIVE(1,1)
77 *      TAG-DIRECTIVE("!","!foo")
78 *      TAG-DIRECTIVE("!yaml","tag:yaml.org,2002:")
79 *      DOCUMENT-START
80 *      STREAM-END
81 *
82 * Note that the VERSION-DIRECTIVE and TAG-DIRECTIVE tokens occupy a whole
83 * line.
84 *
85 * The document start and end indicators are represented by:
86 *
87 *      DOCUMENT-START
88 *      DOCUMENT-END
89 *
90 * Note that if a YAML stream contains an implicit document (without '---'
91 * and '...' indicators), no DOCUMENT-START and DOCUMENT-END tokens will be
92 * produced.
93 *
94 * In the following examples, we present whole documents together with the
95 * produced tokens.
96 *
97 *      1. An implicit document:
98 *
99 *          'a scalar'
100 *
101 *      Tokens:
102 *
103 *          STREAM-START(utf-8)
104 *          SCALAR("a scalar",single-quoted)
105 *          STREAM-END
106 *
107 *      2. An explicit document:
108 *
109 *          ---
110 *          'a scalar'
111 *          ...
112 *
113 *      Tokens:
114 *
115 *          STREAM-START(utf-8)
116 *          DOCUMENT-START
117 *          SCALAR("a scalar",single-quoted)
118 *          DOCUMENT-END
119 *          STREAM-END
120 *
121 *      3. Several documents in a stream:
122 *
123 *          'a scalar'
124 *          ---
125 *          'another scalar'
126 *          ---
127 *          'yet another scalar'
128 *
129 *      Tokens:
130 *
131 *          STREAM-START(utf-8)
132 *          SCALAR("a scalar",single-quoted)
133 *          DOCUMENT-START
134 *          SCALAR("another scalar",single-quoted)
135 *          DOCUMENT-START
136 *          SCALAR("yet another scalar",single-quoted)
137 *          STREAM-END
138 *
139 * We have already introduced the SCALAR token above.  The following tokens are
140 * used to describe aliases, anchors, tag, and scalars:
141 *
142 *      ALIAS(anchor)
143 *      ANCHOR(anchor)
144 *      TAG(handle,suffix)
145 *      SCALAR(value,style)
146 *
147 * The following series of examples illustrate the usage of these tokens:
148 *
149 *      1. A recursive sequence:
150 *
151 *          &A [ *A ]
152 *
153 *      Tokens:
154 *
155 *          STREAM-START(utf-8)
156 *          ANCHOR("A")
157 *          FLOW-SEQUENCE-START
158 *          ALIAS("A")
159 *          FLOW-SEQUENCE-END
160 *          STREAM-END
161 *
162 *      2. A tagged scalar:
163 *
164 *          !!float "3.14"  # A good approximation.
165 *
166 *      Tokens:
167 *
168 *          STREAM-START(utf-8)
169 *          TAG("!!","float")
170 *          SCALAR("3.14",double-quoted)
171 *          STREAM-END
172 *
173 *      3. Various scalar styles:
174 *
175 *          --- # Implicit empty plain scalars do not produce tokens.
176 *          --- a plain scalar
177 *          --- 'a single-quoted scalar'
178 *          --- "a double-quoted scalar"
179 *          --- |-
180 *            a literal scalar
181 *          --- >-
182 *            a folded
183 *            scalar
184 *
185 *      Tokens:
186 *
187 *          STREAM-START(utf-8)
188 *          DOCUMENT-START
189 *          DOCUMENT-START
190 *          SCALAR("a plain scalar",plain)
191 *          DOCUMENT-START
192 *          SCALAR("a single-quoted scalar",single-quoted)
193 *          DOCUMENT-START
194 *          SCALAR("a double-quoted scalar",double-quoted)
195 *          DOCUMENT-START
196 *          SCALAR("a literal scalar",literal)
197 *          DOCUMENT-START
198 *          SCALAR("a folded scalar",folded)
199 *          STREAM-END
200 *
201 * Now it's time to review collection-related tokens. We will start with
202 * flow collections:
203 *
204 *      FLOW-SEQUENCE-START
205 *      FLOW-SEQUENCE-END
206 *      FLOW-MAPPING-START
207 *      FLOW-MAPPING-END
208 *      FLOW-ENTRY
209 *      KEY
210 *      VALUE
211 *
212 * The tokens FLOW-SEQUENCE-START, FLOW-SEQUENCE-END, FLOW-MAPPING-START, and
213 * FLOW-MAPPING-END represent the indicators '[', ']', '{', and '}'
214 * correspondingly.  FLOW-ENTRY represent the ',' indicator.  Finally the
215 * indicators '?' and ':', which are used for denoting mapping keys and values,
216 * are represented by the KEY and VALUE tokens.
217 *
218 * The following examples show flow collections:
219 *
220 *      1. A flow sequence:
221 *
222 *          [item 1, item 2, item 3]
223 *
224 *      Tokens:
225 *
226 *          STREAM-START(utf-8)
227 *          FLOW-SEQUENCE-START
228 *          SCALAR("item 1",plain)
229 *          FLOW-ENTRY
230 *          SCALAR("item 2",plain)
231 *          FLOW-ENTRY
232 *          SCALAR("item 3",plain)
233 *          FLOW-SEQUENCE-END
234 *          STREAM-END
235 *
236 *      2. A flow mapping:
237 *
238 *          {
239 *              a simple key: a value,  # Note that the KEY token is produced.
240 *              ? a complex key: another value,
241 *          }
242 *
243 *      Tokens:
244 *
245 *          STREAM-START(utf-8)
246 *          FLOW-MAPPING-START
247 *          KEY
248 *          SCALAR("a simple key",plain)
249 *          VALUE
250 *          SCALAR("a value",plain)
251 *          FLOW-ENTRY
252 *          KEY
253 *          SCALAR("a complex key",plain)
254 *          VALUE
255 *          SCALAR("another value",plain)
256 *          FLOW-ENTRY
257 *          FLOW-MAPPING-END
258 *          STREAM-END
259 *
260 * A simple key is a key which is not denoted by the '?' indicator.  Note that
261 * the Scanner still produce the KEY token whenever it encounters a simple key.
262 *
263 * For scanning block collections, the following tokens are used (note that we
264 * repeat KEY and VALUE here):
265 *
266 *      BLOCK-SEQUENCE-START
267 *      BLOCK-MAPPING-START
268 *      BLOCK-END
269 *      BLOCK-ENTRY
270 *      KEY
271 *      VALUE
272 *
273 * The tokens BLOCK-SEQUENCE-START and BLOCK-MAPPING-START denote indentation
274 * increase that precedes a block collection (cf. the INDENT token in Python).
275 * The token BLOCK-END denote indentation decrease that ends a block collection
276 * (cf. the DEDENT token in Python).  However YAML has some syntax pecularities
277 * that makes detections of these tokens more complex.
278 *
279 * The tokens BLOCK-ENTRY, KEY, and VALUE are used to represent the indicators
280 * '-', '?', and ':' correspondingly.
281 *
282 * The following examples show how the tokens BLOCK-SEQUENCE-START,
283 * BLOCK-MAPPING-START, and BLOCK-END are emitted by the Scanner:
284 *
285 *      1. Block sequences:
286 *
287 *          - item 1
288 *          - item 2
289 *          -
290 *            - item 3.1
291 *            - item 3.2
292 *          -
293 *            key 1: value 1
294 *            key 2: value 2
295 *
296 *      Tokens:
297 *
298 *          STREAM-START(utf-8)
299 *          BLOCK-SEQUENCE-START
300 *          BLOCK-ENTRY
301 *          SCALAR("item 1",plain)
302 *          BLOCK-ENTRY
303 *          SCALAR("item 2",plain)
304 *          BLOCK-ENTRY
305 *          BLOCK-SEQUENCE-START
306 *          BLOCK-ENTRY
307 *          SCALAR("item 3.1",plain)
308 *          BLOCK-ENTRY
309 *          SCALAR("item 3.2",plain)
310 *          BLOCK-END
311 *          BLOCK-ENTRY
312 *          BLOCK-MAPPING-START
313 *          KEY
314 *          SCALAR("key 1",plain)
315 *          VALUE
316 *          SCALAR("value 1",plain)
317 *          KEY
318 *          SCALAR("key 2",plain)
319 *          VALUE
320 *          SCALAR("value 2",plain)
321 *          BLOCK-END
322 *          BLOCK-END
323 *          STREAM-END
324 *
325 *      2. Block mappings:
326 *
327 *          a simple key: a value   # The KEY token is produced here.
328 *          ? a complex key
329 *          : another value
330 *          a mapping:
331 *            key 1: value 1
332 *            key 2: value 2
333 *          a sequence:
334 *            - item 1
335 *            - item 2
336 *
337 *      Tokens:
338 *
339 *          STREAM-START(utf-8)
340 *          BLOCK-MAPPING-START
341 *          KEY
342 *          SCALAR("a simple key",plain)
343 *          VALUE
344 *          SCALAR("a value",plain)
345 *          KEY
346 *          SCALAR("a complex key",plain)
347 *          VALUE
348 *          SCALAR("another value",plain)
349 *          KEY
350 *          SCALAR("a mapping",plain)
351 *          BLOCK-MAPPING-START
352 *          KEY
353 *          SCALAR("key 1",plain)
354 *          VALUE
355 *          SCALAR("value 1",plain)
356 *          KEY
357 *          SCALAR("key 2",plain)
358 *          VALUE
359 *          SCALAR("value 2",plain)
360 *          BLOCK-END
361 *          KEY
362 *          SCALAR("a sequence",plain)
363 *          VALUE
364 *          BLOCK-SEQUENCE-START
365 *          BLOCK-ENTRY
366 *          SCALAR("item 1",plain)
367 *          BLOCK-ENTRY
368 *          SCALAR("item 2",plain)
369 *          BLOCK-END
370 *          BLOCK-END
371 *          STREAM-END
372 *
373 * YAML does not always require to start a new block collection from a new
374 * line.  If the current line contains only '-', '?', and ':' indicators, a new
375 * block collection may start at the current line.  The following examples
376 * illustrate this case:
377 *
378 *      1. Collections in a sequence:
379 *
380 *          - - item 1
381 *            - item 2
382 *          - key 1: value 1
383 *            key 2: value 2
384 *          - ? complex key
385 *            : complex value
386 *
387 *      Tokens:
388 *
389 *          STREAM-START(utf-8)
390 *          BLOCK-SEQUENCE-START
391 *          BLOCK-ENTRY
392 *          BLOCK-SEQUENCE-START
393 *          BLOCK-ENTRY
394 *          SCALAR("item 1",plain)
395 *          BLOCK-ENTRY
396 *          SCALAR("item 2",plain)
397 *          BLOCK-END
398 *          BLOCK-ENTRY
399 *          BLOCK-MAPPING-START
400 *          KEY
401 *          SCALAR("key 1",plain)
402 *          VALUE
403 *          SCALAR("value 1",plain)
404 *          KEY
405 *          SCALAR("key 2",plain)
406 *          VALUE
407 *          SCALAR("value 2",plain)
408 *          BLOCK-END
409 *          BLOCK-ENTRY
410 *          BLOCK-MAPPING-START
411 *          KEY
412 *          SCALAR("complex key")
413 *          VALUE
414 *          SCALAR("complex value")
415 *          BLOCK-END
416 *          BLOCK-END
417 *          STREAM-END
418 *
419 *      2. Collections in a mapping:
420 *
421 *          ? a sequence
422 *          : - item 1
423 *            - item 2
424 *          ? a mapping
425 *          : key 1: value 1
426 *            key 2: value 2
427 *
428 *      Tokens:
429 *
430 *          STREAM-START(utf-8)
431 *          BLOCK-MAPPING-START
432 *          KEY
433 *          SCALAR("a sequence",plain)
434 *          VALUE
435 *          BLOCK-SEQUENCE-START
436 *          BLOCK-ENTRY
437 *          SCALAR("item 1",plain)
438 *          BLOCK-ENTRY
439 *          SCALAR("item 2",plain)
440 *          BLOCK-END
441 *          KEY
442 *          SCALAR("a mapping",plain)
443 *          VALUE
444 *          BLOCK-MAPPING-START
445 *          KEY
446 *          SCALAR("key 1",plain)
447 *          VALUE
448 *          SCALAR("value 1",plain)
449 *          KEY
450 *          SCALAR("key 2",plain)
451 *          VALUE
452 *          SCALAR("value 2",plain)
453 *          BLOCK-END
454 *          BLOCK-END
455 *          STREAM-END
456 *
457 * YAML also permits non-indented sequences if they are included into a block
458 * mapping.  In this case, the token BLOCK-SEQUENCE-START is not produced:
459 *
460 *      key:
461 *      - item 1    # BLOCK-SEQUENCE-START is NOT produced here.
462 *      - item 2
463 *
464 * Tokens:
465 *
466 *      STREAM-START(utf-8)
467 *      BLOCK-MAPPING-START
468 *      KEY
469 *      SCALAR("key",plain)
470 *      VALUE
471 *      BLOCK-ENTRY
472 *      SCALAR("item 1",plain)
473 *      BLOCK-ENTRY
474 *      SCALAR("item 2",plain)
475 *      BLOCK-END
476 */
477
478#include "yaml_private.h"
479
480/*
481 * Ensure that the buffer contains the required number of characters.
482 * Return 1 on success, 0 on failure (reader error or memory error).
483 */
484
485#define CACHE(parser,length)                                                    \
486    (parser->unread >= (length)                                                 \
487        ? 1                                                                     \
488        : yaml_parser_update_buffer(parser, (length)))
489
490/*
491 * Advance the buffer pointer.
492 */
493
494#define SKIP(parser)                                                            \
495     (parser->mark.index ++,                                                    \
496      parser->mark.column ++,                                                   \
497      parser->unread --,                                                        \
498      parser->input.pointer += WIDTH(parser->input))
499
500#define SKIP_LINE(parser)                                                       \
501     (IS_CRLF(parser->input) ?                                                  \
502      (parser->mark.index += 2,                                                 \
503       parser->mark.column = 0,                                                 \
504       parser->mark.line ++,                                                    \
505       parser->unread -= 2,                                                     \
506       parser->input.pointer += 2) :                                            \
507      IS_BREAK(parser->input) ?                                                 \
508      (parser->mark.index ++,                                                   \
509       parser->mark.column = 0,                                                 \
510       parser->mark.line ++,                                                    \
511       parser->unread --,                                                       \
512       parser->input.pointer += WIDTH(parser->input)) : 0)
513
514/*
515 * Copy a character to a string buffer and advance pointers.
516 */
517
518#define READ(parser, string)                                                    \
519     (OSTRING_EXTEND(parser, string) ?                                          \
520         (COPY(string, parser->input),                                          \
521          parser->mark.index ++,                                                \
522          parser->mark.column ++,                                               \
523          parser->unread --,                                                    \
524          1) : 0)
525
526/*
527 * Copy a line break character to a string buffer and advance pointers.
528 */
529
530#define READ_LINE(parser, string)                                               \
531    (OSTRING_EXTEND(parser, string) ?                                           \
532    (((CHECK_AT(parser->input, '\r', 0)                                         \
533       && CHECK_AT(parser->input, '\n', 1)) ?       /* CR LF -> LF */           \
534     (JOIN_OCTET(string, (yaml_char_t) '\n'),                                   \
535      parser->input.pointer += 2,                                               \
536      parser->mark.index += 2,                                                  \
537      parser->mark.column = 0,                                                  \
538      parser->mark.line ++,                                                     \
539      parser->unread -= 2) :                                                    \
540     (CHECK_AT(parser->input, '\r', 0)                                          \
541      || CHECK_AT(parser->input, '\n', 0)) ?        /* CR|LF -> LF */           \
542     (JOIN_OCTET(string, (yaml_char_t) '\n'),                                   \
543      parser->input.pointer ++,                                                 \
544      parser->mark.index ++,                                                    \
545      parser->mark.column = 0,                                                  \
546      parser->mark.line ++,                                                     \
547      parser->unread --) :                                                      \
548     (CHECK_AT(parser->input, '\xC2', 0)                                        \
549      && CHECK_AT(parser->input, '\x85', 1)) ?      /* NEL -> LF */             \
550     (JOIN_OCTET(string, (yaml_char_t) '\n'),                                   \
551      parser->input.pointer += 2,                                               \
552      parser->mark.index ++,                                                    \
553      parser->mark.column = 0,                                                  \
554      parser->mark.line ++,                                                     \
555      parser->unread --) :                                                      \
556     (CHECK_AT(parser->input, '\xE2', 0) &&                                     \
557      CHECK_AT(parser->input, '\x80', 1) &&                                     \
558      (CHECK_AT(parser->input, '\xA8', 2) ||                                    \
559       CHECK_AT(parser->input, '\xA9', 2))) ?       /* LS|PS -> LS|PS */        \
560     (COPY_OCTET(string, parser->input),                                        \
561      COPY_OCTET(string, parser->input),                                        \
562      COPY_OCTET(string, parser->input),                                        \
563      parser->mark.index ++,                                                    \
564      parser->mark.column = 0,                                                  \
565      parser->mark.line ++,                                                     \
566      parser->unread --) : 0),                                                  \
567    1) : 0)
568
569/*
570 * Public API declarations.
571 */
572
573YAML_DECLARE(int)
574yaml_parser_parse_token(yaml_parser_t *parser, yaml_token_t *token);
575
576/*
577 * High-level token API.
578 */
579
580YAML_DECLARE(int)
581yaml_parser_fetch_more_tokens(yaml_parser_t *parser);
582
583static int
584yaml_parser_fetch_next_token(yaml_parser_t *parser);
585
586/*
587 * Potential simple keys.
588 */
589
590static int
591yaml_parser_stale_simple_keys(yaml_parser_t *parser);
592
593static int
594yaml_parser_save_simple_key(yaml_parser_t *parser);
595
596static int
597yaml_parser_remove_simple_key(yaml_parser_t *parser);
598
599static int
600yaml_parser_increase_flow_level(yaml_parser_t *parser);
601
602static int
603yaml_parser_decrease_flow_level(yaml_parser_t *parser);
604
605/*
606 * Indentation treatment.
607 */
608
609static int
610yaml_parser_roll_indent(yaml_parser_t *parser, int column,
611        int number, yaml_token_type_t type, yaml_mark_t mark);
612
613static int
614yaml_parser_unroll_indent(yaml_parser_t *parser, int column);
615
616/*
617 * Token fetchers.
618 */
619
620static int
621yaml_parser_fetch_stream_start(yaml_parser_t *parser);
622
623static int
624yaml_parser_fetch_stream_end(yaml_parser_t *parser);
625
626static int
627yaml_parser_fetch_directive(yaml_parser_t *parser);
628
629static int
630yaml_parser_fetch_document_indicator(yaml_parser_t *parser,
631        yaml_token_type_t type);
632
633static int
634yaml_parser_fetch_flow_collection_start(yaml_parser_t *parser,
635        yaml_token_type_t type);
636
637static int
638yaml_parser_fetch_flow_collection_end(yaml_parser_t *parser,
639        yaml_token_type_t type);
640
641static int
642yaml_parser_fetch_flow_entry(yaml_parser_t *parser);
643
644static int
645yaml_parser_fetch_block_entry(yaml_parser_t *parser);
646
647static int
648yaml_parser_fetch_key(yaml_parser_t *parser);
649
650static int
651yaml_parser_fetch_value(yaml_parser_t *parser);
652
653static int
654yaml_parser_fetch_anchor(yaml_parser_t *parser, yaml_token_type_t type);
655
656static int
657yaml_parser_fetch_tag(yaml_parser_t *parser);
658
659static int
660yaml_parser_fetch_block_scalar(yaml_parser_t *parser, int literal);
661
662static int
663yaml_parser_fetch_flow_scalar(yaml_parser_t *parser, int single);
664
665static int
666yaml_parser_fetch_plain_scalar(yaml_parser_t *parser);
667
668/*
669 * Token scanners.
670 */
671
672static int
673yaml_parser_scan_to_next_token(yaml_parser_t *parser);
674
675static int
676yaml_parser_scan_directive(yaml_parser_t *parser, yaml_token_t *token);
677
678static int
679yaml_parser_scan_directive_name(yaml_parser_t *parser,
680        yaml_mark_t start_mark, yaml_char_t **name);
681
682static int
683yaml_parser_scan_version_directive_value(yaml_parser_t *parser,
684        yaml_mark_t start_mark, int *major, int *minor);
685
686static int
687yaml_parser_scan_version_directive_number(yaml_parser_t *parser,
688        yaml_mark_t start_mark, int *number);
689
690static int
691yaml_parser_scan_tag_directive_value(yaml_parser_t *parser,
692        yaml_mark_t mark, yaml_char_t **handle, yaml_char_t **prefix);
693
694static int
695yaml_parser_scan_anchor(yaml_parser_t *parser, yaml_token_t *token,
696        yaml_token_type_t type);
697
698static int
699yaml_parser_scan_tag(yaml_parser_t *parser, yaml_token_t *token);
700
701static int
702yaml_parser_scan_tag_handle(yaml_parser_t *parser, int directive,
703        yaml_mark_t start_mark, yaml_char_t **handle);
704
705static int
706yaml_parser_scan_tag_uri(yaml_parser_t *parser, int directive,
707        yaml_char_t *head, yaml_mark_t start_mark, yaml_char_t **uri);
708
709static int
710yaml_parser_scan_uri_escapes(yaml_parser_t *parser, int directive,
711        yaml_mark_t start_mark, yaml_ostring_t *string);
712
713static int
714yaml_parser_scan_block_scalar(yaml_parser_t *parser, yaml_token_t *token,
715        int literal);
716
717static int
718yaml_parser_scan_block_scalar_breaks(yaml_parser_t *parser,
719        int *indent, yaml_ostring_t *breaks,
720        yaml_mark_t start_mark, yaml_mark_t *end_mark);
721
722static int
723yaml_parser_scan_flow_scalar(yaml_parser_t *parser, yaml_token_t *token,
724        int single);
725
726static int
727yaml_parser_scan_plain_scalar(yaml_parser_t *parser, yaml_token_t *token);
728
729/*
730 * Get the next token.
731 */
732
733YAML_DECLARE(int)
734yaml_parser_parse_token(yaml_parser_t *parser, yaml_token_t *token)
735{
736    assert(parser); /* Non-NULL parser object is expected. */
737    assert(token);  /* Non-NULL token object is expected. */
738
739    /* Erase the token object. */
740
741    memset(token, 0, sizeof(yaml_token_t));
742
743    /* No tokens after STREAM-END or error. */
744
745    if (parser->is_stream_end_produced || parser->error.type) {
746        return 1;
747    }
748
749    /* Ensure that the tokens queue contains enough tokens. */
750
751    if (!parser->is_token_available) {
752        if (!yaml_parser_fetch_more_tokens(parser))
753            return 0;
754    }
755
756    /* Fetch the next token from the queue. */
757   
758    *token = DEQUEUE(parser, parser->tokens);
759    parser->is_token_available = 0;
760    parser->tokens_parsed ++;
761
762    if (token->type == YAML_STREAM_END_TOKEN) {
763        parser->is_stream_end_produced = 1;
764    }
765
766    return 1;
767}
768
769/*
770 * Ensure that the tokens queue contains at least one token which can be
771 * returned to the Parser.
772 */
773
774YAML_DECLARE(int)
775yaml_parser_fetch_more_tokens(yaml_parser_t *parser)
776{
777    int need_more_tokens;
778
779    /* While we need more tokens to fetch, do it. */
780
781    while (1)
782    {
783        /*
784         * Check if we really need to fetch more tokens.
785         */
786
787        need_more_tokens = 0;
788
789        if (parser->tokens.head == parser->tokens.tail)
790        {
791            /* Queue is empty. */
792
793            need_more_tokens = 1;
794        }
795        else
796        {
797            size_t idx;
798
799            /* Check if any potential simple key may occupy the head position. */
800
801            if (!yaml_parser_stale_simple_keys(parser))
802                return 0;
803
804            for (idx = 0; idx < parser->simple_keys.length; idx++) {
805                yaml_simple_key_t *simple_key  = parser->simple_keys.list + idx;
806                if (simple_key->is_possible
807                        && simple_key->token_number == parser->tokens_parsed) {
808                    need_more_tokens = 1;
809                    break;
810                }
811            }
812        }
813
814        /* We are finished. */
815
816        if (!need_more_tokens)
817            break;
818
819        /* Fetch the next token. */
820
821        if (!yaml_parser_fetch_next_token(parser))
822            return 0;
823    }
824
825    parser->is_token_available = 1;
826
827    return 1;
828}
829
830/*
831 * The dispatcher for token fetchers.
832 */
833
834static int
835yaml_parser_fetch_next_token(yaml_parser_t *parser)
836{
837    yaml_mark_t start_mark = parser->mark;
838
839    /* Ensure that the buffer is initialized. */
840
841    if (!CACHE(parser, 1))
842        return 0;
843
844    /* Check if we just started scanning.  Fetch STREAM-START then. */
845
846    if (!parser->is_stream_start_produced)
847        return yaml_parser_fetch_stream_start(parser);
848
849    /* Eat whitespaces and comments until we reach the next token. */
850
851    if (!yaml_parser_scan_to_next_token(parser))
852        return 0;
853
854    /* Remove obsolete potential simple keys. */
855
856    if (!yaml_parser_stale_simple_keys(parser))
857        return 0;
858
859    /* Check the indentation level against the current column. */
860
861    if (!yaml_parser_unroll_indent(parser, parser->mark.column))
862        return 0;
863
864    /*
865     * Ensure that the buffer contains at least 4 characters.  4 is the length
866     * of the longest indicators ('--- ' and '... ').
867     */
868
869    if (!CACHE(parser, 4))
870        return 0;
871
872    /* Is it the end of the stream? */
873
874    if (IS_Z(parser->input))
875        return yaml_parser_fetch_stream_end(parser);
876
877    /* Is it a directive? */
878
879    if (parser->mark.column == 0 && CHECK(parser->input, '%'))
880        return yaml_parser_fetch_directive(parser);
881
882    /* Is it the document start indicator? */
883
884    if (parser->mark.column == 0
885            && CHECK_AT(parser->input, '-', 0)
886            && CHECK_AT(parser->input, '-', 1)
887            && CHECK_AT(parser->input, '-', 2)
888            && IS_BLANKZ_AT(parser->input, 3))
889        return yaml_parser_fetch_document_indicator(parser,
890                YAML_DOCUMENT_START_TOKEN);
891
892    /* Is it the document end indicator? */
893
894    if (parser->mark.column == 0
895            && CHECK_AT(parser->input, '.', 0)
896            && CHECK_AT(parser->input, '.', 1)
897            && CHECK_AT(parser->input, '.', 2)
898            && IS_BLANKZ_AT(parser->input, 3))
899        return yaml_parser_fetch_document_indicator(parser,
900                YAML_DOCUMENT_END_TOKEN);
901
902    /* Is it the flow sequence start indicator? */
903
904    if (CHECK(parser->input, '['))
905        return yaml_parser_fetch_flow_collection_start(parser,
906                YAML_FLOW_SEQUENCE_START_TOKEN);
907
908    /* Is it the flow mapping start indicator? */
909
910    if (CHECK(parser->input, '{'))
911        return yaml_parser_fetch_flow_collection_start(parser,
912                YAML_FLOW_MAPPING_START_TOKEN);
913
914    /* Is it the flow sequence end indicator? */
915
916    if (CHECK(parser->input, ']'))
917        return yaml_parser_fetch_flow_collection_end(parser,
918                YAML_FLOW_SEQUENCE_END_TOKEN);
919
920    /* Is it the flow mapping end indicator? */
921
922    if (CHECK(parser->input, '}'))
923        return yaml_parser_fetch_flow_collection_end(parser,
924                YAML_FLOW_MAPPING_END_TOKEN);
925
926    /* Is it the flow entry indicator? */
927
928    if (CHECK(parser->input, ','))
929        return yaml_parser_fetch_flow_entry(parser);
930
931    /* Is it the block entry indicator? */
932
933    if (CHECK(parser->input, '-') && IS_BLANKZ_AT(parser->input, 1))
934        return yaml_parser_fetch_block_entry(parser);
935
936    /* Is it the key indicator? */
937
938    if (CHECK(parser->input, '?')
939            && (parser->flow_level || IS_BLANKZ_AT(parser->input, 1)))
940        return yaml_parser_fetch_key(parser);
941
942    /* Is it the value indicator? */
943
944    if (CHECK(parser->input, ':')
945            && (parser->flow_level || IS_BLANKZ_AT(parser->input, 1)))
946        return yaml_parser_fetch_value(parser);
947
948    /* Is it an alias? */
949
950    if (CHECK(parser->input, '*'))
951        return yaml_parser_fetch_anchor(parser, YAML_ALIAS_TOKEN);
952
953    /* Is it an anchor? */
954
955    if (CHECK(parser->input, '&'))
956        return yaml_parser_fetch_anchor(parser, YAML_ANCHOR_TOKEN);
957
958    /* Is it a tag? */
959
960    if (CHECK(parser->input, '!'))
961        return yaml_parser_fetch_tag(parser);
962
963    /* Is it a literal scalar? */
964
965    if (CHECK(parser->input, '|') && !parser->flow_level)
966        return yaml_parser_fetch_block_scalar(parser, 1);
967
968    /* Is it a folded scalar? */
969
970    if (CHECK(parser->input, '>') && !parser->flow_level)
971        return yaml_parser_fetch_block_scalar(parser, 0);
972
973    /* Is it a single-quoted scalar? */
974
975    if (CHECK(parser->input, '\''))
976        return yaml_parser_fetch_flow_scalar(parser, 1);
977
978    /* Is it a double-quoted scalar? */
979
980    if (CHECK(parser->input, '"'))
981        return yaml_parser_fetch_flow_scalar(parser, 0);
982
983    /*
984     * Is it a plain scalar?
985     *
986     * A plain scalar may start with any non-blank characters except
987     *
988     *      '-', '?', ':', ',', '[', ']', '{', '}',
989     *      '#', '&', '*', '!', '|', '>', '\'', '\"',
990     *      '%', '@', '`'.
991     *
992     * In the block context (and, for the '-' indicator, in the flow context
993     * too), it may also start with the characters
994     *
995     *      '-', '?', ':'
996     *
997     * if it is followed by a non-space character.
998     *
999     * The last rule is more restrictive than the specification requires.
1000     */
1001
1002    if (!(IS_BLANKZ(parser->input) || CHECK(parser->input, '-')
1003                || CHECK(parser->input, '?') || CHECK(parser->input, ':')
1004                || CHECK(parser->input, ',') || CHECK(parser->input, '[')
1005                || CHECK(parser->input, ']') || CHECK(parser->input, '{')
1006                || CHECK(parser->input, '}') || CHECK(parser->input, '#')
1007                || CHECK(parser->input, '&') || CHECK(parser->input, '*')
1008                || CHECK(parser->input, '!') || CHECK(parser->input, '|')
1009                || CHECK(parser->input, '>') || CHECK(parser->input, '\'')
1010                || CHECK(parser->input, '"') || CHECK(parser->input, '%')
1011                || CHECK(parser->input, '@') || CHECK(parser->input, '`')) ||
1012            (CHECK(parser->input, '-') && !IS_BLANK_AT(parser->input, 1)) ||
1013            (!parser->flow_level &&
1014             (CHECK(parser->input, '?') || CHECK(parser->input, ':'))
1015             && !IS_BLANKZ_AT(parser->input, 1)))
1016        return yaml_parser_fetch_plain_scalar(parser);
1017
1018    /*
1019     * If we don't determine the token type so far, it is an error.
1020     */
1021
1022    return SCANNER_ERROR_WITH_CONTEXT_INIT(parser,
1023            "while scanning for the next token", start_mark,
1024            "found character that cannot start any token", parser->mark);
1025}
1026
1027/*
1028 * Check the list of potential simple keys and remove the positions that
1029 * cannot contain simple keys anymore.
1030 */
1031
1032static int
1033yaml_parser_stale_simple_keys(yaml_parser_t *parser)
1034{
1035    size_t idx;
1036
1037    /* Check for a potential simple key for each flow level. */
1038
1039    for (idx = 0; idx < parser->simple_keys.length; idx ++)
1040    {
1041        yaml_simple_key_t *simple_key = parser->simple_keys.list + idx;
1042
1043        /*
1044         * The specification requires that a simple key
1045         *
1046         *  - is limited to a single line,
1047         *  - is shorter than 1024 characters.
1048         */
1049
1050        if (simple_key->is_possible
1051                && (simple_key->mark.line < parser->mark.line
1052                    || simple_key->mark.index+1024 < parser->mark.index)) {
1053
1054            /* Check if the potential simple key to be removed is required. */
1055
1056            if (simple_key->is_required) {
1057                return SCANNER_ERROR_WITH_CONTEXT_INIT(parser,
1058                        "while scanning a simple key", simple_key->mark,
1059                        "could not found expected ':'", parser->mark);
1060            }
1061
1062            simple_key->is_possible = 0;
1063        }
1064    }
1065
1066    return 1;
1067}
1068
1069/*
1070 * Check if a simple key may start at the current position and add it if
1071 * needed.
1072 */
1073
1074static int
1075yaml_parser_save_simple_key(yaml_parser_t *parser)
1076{
1077    /*
1078     * A simple key is required at the current position if the scanner is in
1079     * the block context and the current column coincides with the indentation
1080     * level.
1081     */
1082
1083    int is_required = (!parser->flow_level
1084            && parser->indent == (int)parser->mark.column);
1085
1086    /*
1087     * A simple key is required only when it is the first token in the current
1088     * line.  Therefore it is always allowed.  But we add a check anyway.
1089     */
1090
1091    assert(parser->is_simple_key_allowed || !is_required);  /* Impossible. */
1092
1093    /*
1094     * If the current position may start a simple key, save it.
1095     */
1096
1097    if (parser->is_simple_key_allowed)
1098    {
1099        yaml_simple_key_t simple_key = { 1, is_required,
1100            parser->tokens_parsed + parser->tokens.tail - parser->tokens.head,
1101            { 0, 0, 0 } };
1102        simple_key.mark = parser->mark;
1103
1104        if (!yaml_parser_remove_simple_key(parser)) return 0;
1105
1106        parser->simple_keys.list[parser->simple_keys.length-1] = simple_key;
1107    }
1108
1109    return 1;
1110}
1111
1112/*
1113 * Remove a potential simple key at the current flow level.
1114 */
1115
1116static int
1117yaml_parser_remove_simple_key(yaml_parser_t *parser)
1118{
1119    yaml_simple_key_t *simple_key =
1120        parser->simple_keys.list + parser->simple_keys.length - 1;
1121
1122    if (simple_key->is_possible)
1123    {
1124        /* If the key is required, it is an error. */
1125
1126        if (simple_key->is_required) {
1127            return SCANNER_ERROR_WITH_CONTEXT_INIT(parser,
1128                    "while scanning a simple key", simple_key->mark,
1129                    "could not found expected ':'", parser->mark);
1130        }
1131    }
1132
1133    /* Remove the key from the stack. */
1134
1135    simple_key->is_possible = 0;
1136
1137    return 1;
1138}
1139
1140/*
1141 * Increase the flow level and resize the simple key list if needed.
1142 */
1143
1144static int
1145yaml_parser_increase_flow_level(yaml_parser_t *parser)
1146{
1147    yaml_simple_key_t empty_simple_key = { 0, 0, 0, { 0, 0, 0 } };
1148
1149    /* Reset the simple key on the next level. */
1150
1151    if (!PUSH(parser, parser->simple_keys, empty_simple_key))
1152        return 0;
1153
1154    /* Increase the flow level. */
1155
1156    parser->flow_level++;
1157
1158    return 1;
1159}
1160
1161/*
1162 * Decrease the flow level.
1163 */
1164
1165static int
1166yaml_parser_decrease_flow_level(yaml_parser_t *parser)
1167{
1168    yaml_simple_key_t dummy_key;    /* Used to eliminate a compiler warning. */
1169
1170    if (parser->flow_level) {
1171        parser->flow_level --;
1172        dummy_key = POP(parser, parser->simple_keys);
1173    }
1174
1175    return 1;
1176}
1177
1178/*
1179 * Push the current indentation level to the stack and set the new level
1180 * the current column is greater than the indentation level.  In this case,
1181 * append or insert the specified token into the token queue.
1182 *
1183 */
1184
1185static int
1186yaml_parser_roll_indent(yaml_parser_t *parser, int column,
1187        int number, yaml_token_type_t type, yaml_mark_t mark)
1188{
1189    yaml_token_t token;
1190
1191    /* In the flow context, do nothing. */
1192
1193    if (parser->flow_level)
1194        return 1;
1195
1196    if (parser->indent < column)
1197    {
1198        /*
1199         * Push the current indentation level to the stack and set the new
1200         * indentation level.
1201         */
1202
1203        if (!PUSH(parser, parser->indents, parser->indent))
1204            return 0;
1205
1206        parser->indent = column;
1207
1208        /* Create a token and insert it into the queue. */
1209
1210        TOKEN_INIT(token, type, mark, mark);
1211
1212        if (number == -1) {
1213            if (!ENQUEUE(parser, parser->tokens, token))
1214                return 0;
1215        }
1216        else {
1217            if (!QUEUE_INSERT(parser,
1218                        parser->tokens, number - parser->tokens_parsed, token))
1219                return 0;
1220        }
1221    }
1222
1223    return 1;
1224}
1225
1226/*
1227 * Pop indentation levels from the indents stack until the current level
1228 * becomes less or equal to the column.  For each intendation level, append
1229 * the BLOCK-END token.
1230 */
1231
1232
1233static int
1234yaml_parser_unroll_indent(yaml_parser_t *parser, int column)
1235{
1236    yaml_token_t token;
1237
1238    /* In the flow context, do nothing. */
1239
1240    if (parser->flow_level)
1241        return 1;
1242
1243    /* Loop through the intendation levels in the stack. */
1244
1245    while (parser->indent > column)
1246    {
1247        /* Create a token and append it to the queue. */
1248
1249        TOKEN_INIT(token, YAML_BLOCK_END_TOKEN, parser->mark, parser->mark);
1250
1251        if (!ENQUEUE(parser, parser->tokens, token))
1252            return 0;
1253
1254        /* Pop the indentation level. */
1255
1256        parser->indent = POP(parser, parser->indents);
1257    }
1258
1259    return 1;
1260}
1261
1262/*
1263 * Initialize the scanner and produce the STREAM-START token.
1264 */
1265
1266static int
1267yaml_parser_fetch_stream_start(yaml_parser_t *parser)
1268{
1269    yaml_simple_key_t simple_key = { 0, 0, 0, { 0, 0, 0 } };
1270    yaml_token_t token;
1271
1272    /* Set the initial indentation. */
1273
1274    parser->indent = -1;
1275
1276    /* Initialize the simple key stack. */
1277
1278    if (!PUSH(parser, parser->simple_keys, simple_key))
1279        return 0;
1280
1281    /* A simple key is allowed at the beginning of the stream. */
1282
1283    parser->is_simple_key_allowed = 1;
1284
1285    /* We have started. */
1286
1287    parser->is_stream_start_produced = 1;
1288
1289    /* Create the STREAM-START token and append it to the queue. */
1290
1291    STREAM_START_TOKEN_INIT(token, parser->encoding,
1292            parser->mark, parser->mark);
1293
1294    if (!ENQUEUE(parser, parser->tokens, token))
1295        return 0;
1296
1297    return 1;
1298}
1299
1300/*
1301 * Produce the STREAM-END token and shut down the scanner.
1302 */
1303
1304static int
1305yaml_parser_fetch_stream_end(yaml_parser_t *parser)
1306{
1307    yaml_token_t token;
1308
1309    /* Force new line. */
1310
1311    if (parser->mark.column != 0) {
1312        parser->mark.column = 0;
1313        parser->mark.line ++;
1314    }
1315
1316    /* Reset the indentation level. */
1317
1318    if (!yaml_parser_unroll_indent(parser, -1))
1319        return 0;
1320
1321    /* Reset simple keys. */
1322
1323    if (!yaml_parser_remove_simple_key(parser))
1324        return 0;
1325
1326    parser->is_simple_key_allowed = 0;
1327
1328    /* Create the STREAM-END token and append it to the queue. */
1329
1330    STREAM_END_TOKEN_INIT(token, parser->mark, parser->mark);
1331
1332    if (!ENQUEUE(parser, parser->tokens, token))
1333        return 0;
1334
1335    return 1;
1336}
1337
1338/*
1339 * Produce a VERSION-DIRECTIVE or TAG-DIRECTIVE token.
1340 */
1341
1342static int
1343yaml_parser_fetch_directive(yaml_parser_t *parser)
1344{
1345    yaml_token_t token;
1346
1347    /* Reset the indentation level. */
1348
1349    if (!yaml_parser_unroll_indent(parser, -1))
1350        return 0;
1351
1352    /* Reset simple keys. */
1353
1354    if (!yaml_parser_remove_simple_key(parser))
1355        return 0;
1356
1357    parser->is_simple_key_allowed = 0;
1358
1359    /* Create the YAML-DIRECTIVE or TAG-DIRECTIVE token. */
1360
1361    if (!yaml_parser_scan_directive(parser, &token))
1362        return 0;
1363
1364    /* Append the token to the queue. */
1365
1366    if (!ENQUEUE(parser, parser->tokens, token)) {
1367        yaml_token_delete(&token);
1368        return 0;
1369    }
1370
1371    return 1;
1372}
1373
1374/*
1375 * Produce the DOCUMENT-START or DOCUMENT-END token.
1376 */
1377
1378static int
1379yaml_parser_fetch_document_indicator(yaml_parser_t *parser,
1380        yaml_token_type_t type)
1381{
1382    yaml_mark_t start_mark, end_mark;
1383    yaml_token_t token;
1384
1385    /* Reset the indentation level. */
1386
1387    if (!yaml_parser_unroll_indent(parser, -1))
1388        return 0;
1389
1390    /* Reset simple keys. */
1391
1392    if (!yaml_parser_remove_simple_key(parser))
1393        return 0;
1394
1395    parser->is_simple_key_allowed = 0;
1396
1397    /* Consume the token. */
1398
1399    start_mark = parser->mark;
1400
1401    SKIP(parser);
1402    SKIP(parser);
1403    SKIP(parser);
1404
1405    end_mark = parser->mark;
1406
1407    /* Create the DOCUMENT-START or DOCUMENT-END token. */
1408
1409    TOKEN_INIT(token, type, start_mark, end_mark);
1410
1411    /* Append the token to the queue. */
1412
1413    if (!ENQUEUE(parser, parser->tokens, token))
1414        return 0;
1415
1416    return 1;
1417}
1418
1419/*
1420 * Produce the FLOW-SEQUENCE-START or FLOW-MAPPING-START token.
1421 */
1422
1423static int
1424yaml_parser_fetch_flow_collection_start(yaml_parser_t *parser,
1425        yaml_token_type_t type)
1426{
1427    yaml_mark_t start_mark, end_mark;
1428    yaml_token_t token;
1429
1430    /* The indicators '[' and '{' may start a simple key. */
1431
1432    if (!yaml_parser_save_simple_key(parser))
1433        return 0;
1434
1435    /* Increase the flow level. */
1436
1437    if (!yaml_parser_increase_flow_level(parser))
1438        return 0;
1439
1440    /* A simple key may follow the indicators '[' and '{'. */
1441
1442    parser->is_simple_key_allowed = 1;
1443
1444    /* Consume the token. */
1445
1446    start_mark = parser->mark;
1447    SKIP(parser);
1448    end_mark = parser->mark;
1449
1450    /* Create the FLOW-SEQUENCE-START of FLOW-MAPPING-START token. */
1451
1452    TOKEN_INIT(token, type, start_mark, end_mark);
1453
1454    /* Append the token to the queue. */
1455
1456    if (!ENQUEUE(parser, parser->tokens, token))
1457        return 0;
1458
1459    return 1;
1460}
1461
1462/*
1463 * Produce the FLOW-SEQUENCE-END or FLOW-MAPPING-END token.
1464 */
1465
1466static int
1467yaml_parser_fetch_flow_collection_end(yaml_parser_t *parser,
1468        yaml_token_type_t type)
1469{
1470    yaml_mark_t start_mark, end_mark;
1471    yaml_token_t token;
1472
1473    /* Reset any potential simple key on the current flow level. */
1474
1475    if (!yaml_parser_remove_simple_key(parser))
1476        return 0;
1477
1478    /* Decrease the flow level. */
1479
1480    if (!yaml_parser_decrease_flow_level(parser))
1481        return 0;
1482
1483    /* No simple keys after the indicators ']' and '}'. */
1484
1485    parser->is_simple_key_allowed = 0;
1486
1487    /* Consume the token. */
1488
1489    start_mark = parser->mark;
1490    SKIP(parser);
1491    end_mark = parser->mark;
1492
1493    /* Create the FLOW-SEQUENCE-END of FLOW-MAPPING-END token. */
1494
1495    TOKEN_INIT(token, type, start_mark, end_mark);
1496
1497    /* Append the token to the queue. */
1498
1499    if (!ENQUEUE(parser, parser->tokens, token))
1500        return 0;
1501
1502    return 1;
1503}
1504
1505/*
1506 * Produce the FLOW-ENTRY token.
1507 */
1508
1509static int
1510yaml_parser_fetch_flow_entry(yaml_parser_t *parser)
1511{
1512    yaml_mark_t start_mark, end_mark;
1513    yaml_token_t token;
1514
1515    /* Reset any potential simple keys on the current flow level. */
1516
1517    if (!yaml_parser_remove_simple_key(parser))
1518        return 0;
1519
1520    /* Simple keys are allowed after ','. */
1521
1522    parser->is_simple_key_allowed = 1;
1523
1524    /* Consume the token. */
1525
1526    start_mark = parser->mark;
1527    SKIP(parser);
1528    end_mark = parser->mark;
1529
1530    /* Create the FLOW-ENTRY token and append it to the queue. */
1531
1532    TOKEN_INIT(token, YAML_FLOW_ENTRY_TOKEN, start_mark, end_mark);
1533
1534    if (!ENQUEUE(parser, parser->tokens, token))
1535        return 0;
1536
1537    return 1;
1538}
1539
1540/*
1541 * Produce the BLOCK-ENTRY token.
1542 */
1543
1544static int
1545yaml_parser_fetch_block_entry(yaml_parser_t *parser)
1546{
1547    yaml_mark_t start_mark, end_mark;
1548    yaml_token_t token;
1549
1550    /* Check if the scanner is in the block context. */
1551
1552    if (!parser->flow_level)
1553    {
1554        /* Check if we are allowed to start a new entry. */
1555
1556        if (!parser->is_simple_key_allowed) {
1557            return SCANNER_ERROR_INIT(parser,
1558                    "block sequence entries are not allowed in this context",
1559                    parser->mark);
1560        }
1561
1562        /* Add the BLOCK-SEQUENCE-START token if needed. */
1563
1564        if (!yaml_parser_roll_indent(parser, parser->mark.column, -1,
1565                    YAML_BLOCK_SEQUENCE_START_TOKEN, parser->mark))
1566            return 0;
1567    }
1568    else
1569    {
1570        /*
1571         * It is an error for the '-' indicator to occur in the flow context,
1572         * but we let the Parser detect and report about it because the Parser
1573         * is able to point to the context.
1574         */
1575    }
1576
1577    /* Reset any potential simple keys on the current flow level. */
1578
1579    if (!yaml_parser_remove_simple_key(parser))
1580        return 0;
1581
1582    /* Simple keys are allowed after '-'. */
1583
1584    parser->is_simple_key_allowed = 1;
1585
1586    /* Consume the token. */
1587
1588    start_mark = parser->mark;
1589    SKIP(parser);
1590    end_mark = parser->mark;
1591
1592    /* Create the BLOCK-ENTRY token and append it to the queue. */
1593
1594    TOKEN_INIT(token, YAML_BLOCK_ENTRY_TOKEN, start_mark, end_mark);
1595
1596    if (!ENQUEUE(parser, parser->tokens, token))
1597        return 0;
1598
1599    return 1;
1600}
1601
1602/*
1603 * Produce the KEY token.
1604 */
1605
1606static int
1607yaml_parser_fetch_key(yaml_parser_t *parser)
1608{
1609    yaml_mark_t start_mark, end_mark;
1610    yaml_token_t token;
1611
1612    /* In the block context, additional checks are required. */
1613
1614    if (!parser->flow_level)
1615    {
1616        /* Check if we are allowed to start a new key (not nessesary simple). */
1617
1618        if (!parser->is_simple_key_allowed) {
1619            return SCANNER_ERROR_INIT(parser,
1620                    "mapping keys are not allowed in this context", parser->mark);
1621        }
1622
1623        /* Add the BLOCK-MAPPING-START token if needed. */
1624
1625        if (!yaml_parser_roll_indent(parser, parser->mark.column, -1,
1626                    YAML_BLOCK_MAPPING_START_TOKEN, parser->mark))
1627            return 0;
1628    }
1629
1630    /* Reset any potential simple keys on the current flow level. */
1631
1632    if (!yaml_parser_remove_simple_key(parser))
1633        return 0;
1634
1635    /* Simple keys are allowed after '?' in the block context. */
1636
1637    parser->is_simple_key_allowed = (!parser->flow_level);
1638
1639    /* Consume the token. */
1640
1641    start_mark = parser->mark;
1642    SKIP(parser);
1643    end_mark = parser->mark;
1644
1645    /* Create the KEY token and append it to the queue. */
1646
1647    TOKEN_INIT(token, YAML_KEY_TOKEN, start_mark, end_mark);
1648
1649    if (!ENQUEUE(parser, parser->tokens, token))
1650        return 0;
1651
1652    return 1;
1653}
1654
1655/*
1656 * Produce the VALUE token.
1657 */
1658
1659static int
1660yaml_parser_fetch_value(yaml_parser_t *parser)
1661{
1662    yaml_mark_t start_mark, end_mark;
1663    yaml_token_t token;
1664    yaml_simple_key_t *simple_key =
1665        parser->simple_keys.list + parser->simple_keys.length - 1;
1666
1667    /* Have we found a simple key? */
1668
1669    if (simple_key->is_possible)
1670    {
1671
1672        /* Create the KEY token and insert it into the queue. */
1673
1674        TOKEN_INIT(token, YAML_KEY_TOKEN, simple_key->mark, simple_key->mark);
1675
1676        if (!QUEUE_INSERT(parser, parser->tokens,
1677                    simple_key->token_number - parser->tokens_parsed, token))
1678            return 0;
1679
1680        /* In the block context, we may need to add the BLOCK-MAPPING-START token. */
1681
1682        if (!yaml_parser_roll_indent(parser, simple_key->mark.column,
1683                    simple_key->token_number,
1684                    YAML_BLOCK_MAPPING_START_TOKEN, simple_key->mark))
1685            return 0;
1686
1687        /* Remove the simple key. */
1688
1689        simple_key->is_possible = 0;
1690
1691        /* A simple key cannot follow another simple key. */
1692
1693        parser->is_simple_key_allowed = 0;
1694    }
1695    else
1696    {
1697        /* The ':' indicator follows a complex key. */
1698
1699        /* In the block context, extra checks are required. */
1700
1701        if (!parser->flow_level)
1702        {
1703            /* Check if we are allowed to start a complex value. */
1704
1705            if (!parser->is_simple_key_allowed) {
1706                return SCANNER_ERROR_INIT(parser,
1707                        "mapping values are not allowed in this context",
1708                        parser->mark);
1709            }
1710
1711            /* Add the BLOCK-MAPPING-START token if needed. */
1712
1713            if (!yaml_parser_roll_indent(parser, parser->mark.column, -1,
1714                        YAML_BLOCK_MAPPING_START_TOKEN, parser->mark))
1715                return 0;
1716        }
1717
1718        /* Simple keys after ':' are allowed in the block context. */
1719
1720        parser->is_simple_key_allowed = (!parser->flow_level);
1721    }
1722
1723    /* Consume the token. */
1724
1725    start_mark = parser->mark;
1726    SKIP(parser);
1727    end_mark = parser->mark;
1728
1729    /* Create the VALUE token and append it to the queue. */
1730
1731    TOKEN_INIT(token, YAML_VALUE_TOKEN, start_mark, end_mark);
1732
1733    if (!ENQUEUE(parser, parser->tokens, token))
1734        return 0;
1735
1736    return 1;
1737}
1738
1739/*
1740 * Produce the ALIAS or ANCHOR token.
1741 */
1742
1743static int
1744yaml_parser_fetch_anchor(yaml_parser_t *parser, yaml_token_type_t type)
1745{
1746    yaml_token_t token;
1747
1748    /* An anchor or an alias could be a simple key. */
1749
1750    if (!yaml_parser_save_simple_key(parser))
1751        return 0;
1752
1753    /* A simple key cannot follow an anchor or an alias. */
1754
1755    parser->is_simple_key_allowed = 0;
1756
1757    /* Create the ALIAS or ANCHOR token and append it to the queue. */
1758
1759    if (!yaml_parser_scan_anchor(parser, &token, type))
1760        return 0;
1761
1762    if (!ENQUEUE(parser, parser->tokens, token)) {
1763        yaml_token_delete(&token);
1764        return 0;
1765    }
1766    return 1;
1767}
1768
1769/*
1770 * Produce the TAG token.
1771 */
1772
1773static int
1774yaml_parser_fetch_tag(yaml_parser_t *parser)
1775{
1776    yaml_token_t token;
1777
1778    /* A tag could be a simple key. */
1779
1780    if (!yaml_parser_save_simple_key(parser))
1781        return 0;
1782
1783    /* A simple key cannot follow a tag. */
1784
1785    parser->is_simple_key_allowed = 0;
1786
1787    /* Create the TAG token and append it to the queue. */
1788
1789    if (!yaml_parser_scan_tag(parser, &token))
1790        return 0;
1791
1792    if (!ENQUEUE(parser, parser->tokens, token)) {
1793        yaml_token_delete(&token);
1794        return 0;
1795    }
1796
1797    return 1;
1798}
1799
1800/*
1801 * Produce the SCALAR(...,literal) or SCALAR(...,folded) tokens.
1802 */
1803
1804static int
1805yaml_parser_fetch_block_scalar(yaml_parser_t *parser, int literal)
1806{
1807    yaml_token_t token;
1808
1809    /* Remove any potential simple keys. */
1810
1811    if (!yaml_parser_remove_simple_key(parser))
1812        return 0;
1813
1814    /* A simple key may follow a block scalar. */
1815
1816    parser->is_simple_key_allowed = 1;
1817
1818    /* Create the SCALAR token and append it to the queue. */
1819
1820    if (!yaml_parser_scan_block_scalar(parser, &token, literal))
1821        return 0;
1822
1823    if (!ENQUEUE(parser, parser->tokens, token)) {
1824        yaml_token_delete(&token);
1825        return 0;
1826    }
1827
1828    return 1;
1829}
1830
1831/*
1832 * Produce the SCALAR(...,single-quoted) or SCALAR(...,double-quoted) tokens.
1833 */
1834
1835static int
1836yaml_parser_fetch_flow_scalar(yaml_parser_t *parser, int single)
1837{
1838    yaml_token_t token;
1839
1840    /* A plain scalar could be a simple key. */
1841
1842    if (!yaml_parser_save_simple_key(parser))
1843        return 0;
1844
1845    /* A simple key cannot follow a flow scalar. */
1846
1847    parser->is_simple_key_allowed = 0;
1848
1849    /* Create the SCALAR token and append it to the queue. */
1850
1851    if (!yaml_parser_scan_flow_scalar(parser, &token, single))
1852        return 0;
1853
1854    if (!ENQUEUE(parser, parser->tokens, token)) {
1855        yaml_token_delete(&token);
1856        return 0;
1857    }
1858
1859    return 1;
1860}
1861
1862/*
1863 * Produce the SCALAR(...,plain) token.
1864 */
1865
1866static int
1867yaml_parser_fetch_plain_scalar(yaml_parser_t *parser)
1868{
1869    yaml_token_t token;
1870
1871    /* A plain scalar could be a simple key. */
1872
1873    if (!yaml_parser_save_simple_key(parser))
1874        return 0;
1875
1876    /* A simple key cannot follow a flow scalar. */
1877
1878    parser->is_simple_key_allowed = 0;
1879
1880    /* Create the SCALAR token and append it to the queue. */
1881
1882    if (!yaml_parser_scan_plain_scalar(parser, &token))
1883        return 0;
1884
1885    if (!ENQUEUE(parser, parser->tokens, token)) {
1886        yaml_token_delete(&token);
1887        return 0;
1888    }
1889
1890    return 1;
1891}
1892
1893/*
1894 * Eat whitespaces and comments until the next token is found.
1895 */
1896
1897static int
1898yaml_parser_scan_to_next_token(yaml_parser_t *parser)
1899{
1900    /* Until the next token is not found. */
1901
1902    while (1)
1903    {
1904        /* Allow the BOM mark to start a line. */
1905
1906        if (!CACHE(parser, 1)) return 0;
1907
1908        if (parser->mark.column == 0 && IS_BOM(parser->input))
1909            SKIP(parser);
1910
1911        /*
1912         * Eat whitespaces.
1913         *
1914         * Tabs are allowed:
1915         *
1916         *  - in the flow context;
1917         *  - in the block context, but not at the beginning of the line or
1918         *  after '-', '?', or ':' (complex value). 
1919         */
1920
1921        if (!CACHE(parser, 1)) return 0;
1922
1923        while (CHECK(parser->input,' ') ||
1924                ((parser->flow_level || !parser->is_simple_key_allowed) &&
1925                 CHECK(parser->input, '\t'))) {
1926            SKIP(parser);
1927            if (!CACHE(parser, 1)) return 0;
1928        }
1929
1930        /* Eat a comment until a line break. */
1931
1932        if (CHECK(parser->input, '#')) {
1933            while (!IS_BREAKZ(parser->input)) {
1934                SKIP(parser);
1935                if (!CACHE(parser, 1)) return 0;
1936            }
1937        }
1938
1939        /* If it is a line break, eat it. */
1940
1941        if (IS_BREAK(parser->input))
1942        {
1943            if (!CACHE(parser, 2)) return 0;
1944            SKIP_LINE(parser);
1945
1946            /* In the block context, a new line may start a simple key. */
1947
1948            if (!parser->flow_level) {
1949                parser->is_simple_key_allowed = 1;
1950            }
1951        }
1952        else
1953        {
1954            /* We have found a token. */
1955
1956            break;
1957        }
1958    }
1959
1960    return 1;
1961}
1962
1963/*
1964 * Scan a YAML-DIRECTIVE or TAG-DIRECTIVE token.
1965 *
1966 * Scope:
1967 *      %YAML    1.1    # a comment \n
1968 *      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
1969 *      %TAG    !yaml!  tag:yaml.org,2002:  \n
1970 *      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
1971 */
1972
1973int
1974yaml_parser_scan_directive(yaml_parser_t *parser, yaml_token_t *token)
1975{
1976    yaml_mark_t start_mark, end_mark;
1977    yaml_char_t *name = NULL;
1978    int major, minor;
1979    yaml_char_t *handle = NULL, *prefix = NULL;
1980
1981    /* Eat '%'. */
1982
1983    start_mark = parser->mark;
1984
1985    SKIP(parser);
1986
1987    /* Scan the directive name. */
1988
1989    if (!yaml_parser_scan_directive_name(parser, start_mark, &name))
1990        goto error;
1991
1992    /* Is it a YAML directive? */
1993
1994    if (strcmp((char *)name, "YAML") == 0)
1995    {
1996        /* Scan the VERSION directive value. */
1997
1998        if (!yaml_parser_scan_version_directive_value(parser, start_mark,
1999                    &major, &minor))
2000            goto error;
2001
2002        end_mark = parser->mark;
2003
2004        /* Create a VERSION-DIRECTIVE token. */
2005
2006        VERSION_DIRECTIVE_TOKEN_INIT(*token, major, minor,
2007                start_mark, end_mark);
2008    }
2009
2010    /* Is it a TAG directive? */
2011
2012    else if (strcmp((char *)name, "TAG") == 0)
2013    {
2014        /* Scan the TAG directive value. */
2015
2016        if (!yaml_parser_scan_tag_directive_value(parser, start_mark,
2017                    &handle, &prefix))
2018            goto error;
2019
2020        end_mark = parser->mark;
2021
2022        /* Create a TAG-DIRECTIVE token. */
2023
2024        TAG_DIRECTIVE_TOKEN_INIT(*token, handle, prefix,
2025                start_mark, end_mark);
2026    }
2027
2028    /* Unknown directive. */
2029
2030    else
2031    {
2032        SCANNER_ERROR_WITH_CONTEXT_INIT(parser,
2033                "while scanning a directive", start_mark,
2034                "found uknown directive name", parser->mark);
2035        goto error;
2036    }
2037
2038    /* Eat the rest of the line including any comments. */
2039
2040    if (!CACHE(parser, 1)) goto error;
2041
2042    while (IS_BLANK(parser->input)) {
2043        SKIP(parser);
2044        if (!CACHE(parser, 1)) goto error;
2045    }
2046
2047    if (CHECK(parser->input, '#')) {
2048        while (!IS_BREAKZ(parser->input)) {
2049            SKIP(parser);
2050            if (!CACHE(parser, 1)) goto error;
2051        }
2052    }
2053
2054    /* Check if we are at the end of the line. */
2055
2056    if (!IS_BREAKZ(parser->input)) {
2057        SCANNER_ERROR_WITH_CONTEXT_INIT(parser,
2058                "while scanning a directive", start_mark,
2059                "did not found expected comment or line break", parser->mark);
2060        goto error;
2061    }
2062
2063    /* Eat a line break. */
2064
2065    if (IS_BREAK(parser->input)) {
2066        if (!CACHE(parser, 2)) goto error;
2067        SKIP_LINE(parser);
2068    }
2069
2070    yaml_free(name);
2071
2072    return 1;
2073
2074error:
2075    yaml_free(prefix);
2076    yaml_free(handle);
2077    yaml_free(name);
2078    return 0;
2079}
2080
2081/*
2082 * Scan the directive name.
2083 *
2084 * Scope:
2085 *      %YAML   1.1     # a comment \n
2086 *       ^^^^
2087 *      %TAG    !yaml!  tag:yaml.org,2002:  \n
2088 *       ^^^
2089 */
2090
2091static int
2092yaml_parser_scan_directive_name(yaml_parser_t *parser,
2093        yaml_mark_t start_mark, yaml_char_t **name)
2094{
2095    yaml_ostring_t string = NULL_OSTRING;
2096
2097    if (!OSTRING_INIT(parser, string, INITIAL_STRING_CAPACITY))
2098        goto error;
2099
2100    /* Consume the directive name. */
2101
2102    if (!CACHE(parser, 1)) goto error;
2103
2104    while (IS_ALPHA(parser->input))
2105    {
2106        if (!READ(parser, string)) goto error;
2107        if (!CACHE(parser, 1)) goto error;
2108    }
2109
2110    /* Check if the name is empty. */
2111
2112    if (!string.pointer) {
2113        SCANNER_ERROR_WITH_CONTEXT_INIT(parser,
2114                "while scanning a directive", start_mark,
2115                "cannot found expected directive name", parser->mark);
2116        goto error;
2117    }
2118
2119    /* Check for an blank character after the name. */
2120
2121    if (!IS_BLANKZ(parser->input)) {
2122        SCANNER_ERROR_WITH_CONTEXT_INIT(parser,
2123                "while scanning a directive", start_mark,
2124                "found unexpected non-alphabetical character", parser->mark);
2125        goto error;
2126    }
2127
2128    *name = string.buffer;
2129
2130    return 1;
2131
2132error:
2133    OSTRING_DEL(parser, string);
2134    return 0;
2135}
2136
2137/*
2138 * Scan the value of VERSION-DIRECTIVE.
2139 *
2140 * Scope:
2141 *      %YAML   1.1     # a comment \n
2142 *           ^^^^^^
2143 */
2144
2145static int
2146yaml_parser_scan_version_directive_value(yaml_parser_t *parser,
2147        yaml_mark_t start_mark, int *major, int *minor)
2148{
2149    /* Eat whitespaces. */
2150
2151    if (!CACHE(parser, 1)) return 0;
2152
2153    while (IS_BLANK(parser->input)) {
2154        SKIP(parser);
2155        if (!CACHE(parser, 1)) return 0;
2156    }
2157
2158    /* Consume the major version number. */
2159
2160    if (!yaml_parser_scan_version_directive_number(parser, start_mark, major))
2161        return 0;
2162
2163    /* Eat '.'. */
2164
2165    if (!CHECK(parser->input, '.')) {
2166        return SCANNER_ERROR_WITH_CONTEXT_INIT(parser,
2167                "while scanning a %YAML directive", start_mark,
2168                "did not find expected digit or '.' character", parser->mark);
2169    }
2170
2171    SKIP(parser);
2172
2173    /* Consume the minor version number. */
2174
2175    if (!yaml_parser_scan_version_directive_number(parser, start_mark, minor))
2176        return 0;
2177
2178    return 1;
2179}
2180
2181#define MAX_NUMBER_LENGTH   9
2182
2183/*
2184 * Scan the version number of VERSION-DIRECTIVE.
2185 *
2186 * Scope:
2187 *      %YAML   1.1     # a comment \n
2188 *              ^
2189 *      %YAML   1.1     # a comment \n
2190 *                ^
2191 */
2192
2193static int
2194yaml_parser_scan_version_directive_number(yaml_parser_t *parser,
2195        yaml_mark_t start_mark, int *number)
2196{
2197    int value = 0;
2198    size_t length = 0;
2199
2200    /* Repeat while the next character is digit. */
2201
2202    if (!CACHE(parser, 1)) return 0;
2203
2204    while (IS_DIGIT(parser->input))
2205    {
2206        /* Check if the number is too long. */
2207
2208        if (++length > MAX_NUMBER_LENGTH) {
2209            return SCANNER_ERROR_WITH_CONTEXT_INIT(parser,
2210                    "while scanning a %YAML directive", start_mark,
2211                    "found extremely long version number", parser->mark);
2212        }
2213
2214        value = value*10 + AS_DIGIT(parser->input);
2215
2216        SKIP(parser);
2217
2218        if (!CACHE(parser, 1)) return 0;
2219    }
2220
2221    /* Check if the number was present. */
2222
2223    if (!length) {
2224        return SCANNER_ERROR_WITH_CONTEXT_INIT(parser,
2225                "while scanning a %YAML directive", start_mark,
2226                "did not find expected version number", parser->mark);
2227    }
2228
2229    *number = value;
2230
2231    return 1;
2232}
2233
2234/*
2235 * Scan the value of a TAG-DIRECTIVE token.
2236 *
2237 * Scope:
2238 *      %TAG    !yaml!  tag:yaml.org,2002:  \n
2239 *          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
2240 */
2241
2242static int
2243yaml_parser_scan_tag_directive_value(yaml_parser_t *parser,
2244        yaml_mark_t start_mark, yaml_char_t **handle, yaml_char_t **prefix)
2245{
2246    yaml_char_t *handle_value = NULL;
2247    yaml_char_t *prefix_value = NULL;
2248
2249    /* Eat whitespaces. */
2250
2251    if (!CACHE(parser, 1)) goto error;
2252
2253    while (IS_BLANK(parser->input)) {
2254        SKIP(parser);
2255        if (!CACHE(parser, 1)) goto error;
2256    }
2257
2258    /* Scan a handle. */
2259
2260    if (!yaml_parser_scan_tag_handle(parser, 1, start_mark, &handle_value))
2261        goto error;
2262
2263    /* Expect a whitespace. */
2264
2265    if (!CACHE(parser, 1)) goto error;
2266
2267    if (!IS_BLANK(parser->input)) {
2268        SCANNER_ERROR_WITH_CONTEXT_INIT(parser,
2269                "while scanning a %TAG directive", start_mark,
2270                "did not find expected whitespace", parser->mark);
2271        goto error;
2272    }
2273
2274    /* Eat whitespaces. */
2275
2276    while (IS_BLANK(parser->input)) {
2277        SKIP(parser);
2278        if (!CACHE(parser, 1)) goto error;
2279    }
2280
2281    /* Scan a prefix. */
2282
2283    if (!yaml_parser_scan_tag_uri(parser, 1, NULL, start_mark, &prefix_value))
2284        goto error;
2285
2286    /* Expect a whitespace or line break. */
2287
2288    if (!CACHE(parser, 1)) goto error;
2289
2290    if (!IS_BLANKZ(parser->input)) {
2291        SCANNER_ERROR_WITH_CONTEXT_INIT(parser,
2292                "while scanning a %TAG directive", start_mark,
2293                "did not find expected whitespace or line break", parser->mark);
2294        goto error;
2295    }
2296
2297    *handle = handle_value;
2298    *prefix = prefix_value;
2299
2300    return 1;
2301
2302error:
2303    yaml_free(handle_value);
2304    yaml_free(prefix_value);
2305    return 0;
2306}
2307
2308static int
2309yaml_parser_scan_anchor(yaml_parser_t *parser, yaml_token_t *token,
2310        yaml_token_type_t type)
2311{
2312    int length = 0;
2313    yaml_mark_t start_mark, end_mark;
2314    yaml_ostring_t string = NULL_OSTRING;
2315
2316    if (!OSTRING_INIT(parser, string, INITIAL_STRING_CAPACITY))
2317        goto error;
2318
2319    /* Eat the indicator character. */
2320
2321    start_mark = parser->mark;
2322
2323    SKIP(parser);
2324
2325    /* Consume the value. */
2326
2327    if (!CACHE(parser, 1)) goto error;
2328
2329    while (IS_ALPHA(parser->input)) {
2330        if (!READ(parser, string)) goto error;
2331        if (!CACHE(parser, 1)) goto error;
2332        length ++;
2333    }
2334
2335    end_mark = parser->mark;
2336
2337    /*
2338     * Check if length of the anchor is greater than 0 and it is followed by
2339     * a whitespace character or one of the indicators:
2340     *
2341     *      '?', ':', ',', ']', '}', '%', '@', '`'.
2342     */
2343
2344    if (!length || !(IS_BLANKZ(parser->input) || CHECK(parser->input, '?')
2345                || CHECK(parser->input, ':') || CHECK(parser->input, ',')
2346                || CHECK(parser->input, ']') || CHECK(parser->input, '}')
2347                || CHECK(parser->input, '%') || CHECK(parser->input, '@')
2348                || CHECK(parser->input, '`'))) {
2349        SCANNER_ERROR_WITH_CONTEXT_INIT(parser, type == YAML_ANCHOR_TOKEN ?
2350                "while scanning an anchor" : "while scanning an alias",
2351                start_mark,
2352                "did not find expected alphabetic or numeric character",
2353                parser->mark);
2354        goto error;
2355    }
2356
2357    /* Create a token. */
2358
2359    if (type == YAML_ANCHOR_TOKEN) {
2360        ANCHOR_TOKEN_INIT(*token, string.buffer, start_mark, end_mark);
2361    }
2362    else {
2363        ALIAS_TOKEN_INIT(*token, string.buffer, start_mark, end_mark);
2364    }
2365
2366    return 1;
2367
2368error:
2369    OSTRING_DEL(parser, string);
2370    return 0;
2371}
2372
2373/*
2374 * Scan a TAG token.
2375 */
2376
2377static int
2378yaml_parser_scan_tag(yaml_parser_t *parser, yaml_token_t *token)
2379{
2380    yaml_char_t *handle = NULL;
2381    yaml_char_t *suffix = NULL;
2382    yaml_mark_t start_mark, end_mark;
2383
2384    start_mark = parser->mark;
2385
2386    /* Check if the tag is in the canonical form. */
2387
2388    if (!CACHE(parser, 2)) goto error;
2389
2390    if (CHECK_AT(parser->input, '<', 1))
2391    {
2392        /* Set the handle to '' */
2393
2394        handle = yaml_malloc(1);
2395        if (!handle) goto error;
2396        handle[0] = '\0';
2397
2398        /* Eat '!<' */
2399
2400        SKIP(parser);
2401        SKIP(parser);
2402
2403        /* Consume the tag value. */
2404
2405        if (!yaml_parser_scan_tag_uri(parser, 0, NULL, start_mark, &suffix))
2406            goto error;
2407
2408        /* Check for '>' and eat it. */
2409
2410        if (!CHECK(parser->input, '>')) {
2411            SCANNER_ERROR_WITH_CONTEXT_INIT(parser,
2412                    "while scanning a tag", start_mark,
2413                    "did not find the expected '>'", parser->mark);
2414            goto error;
2415        }
2416
2417        SKIP(parser);
2418    }
2419    else
2420    {
2421        /* The tag has either the '!suffix' or the '!handle!suffix' form. */
2422
2423        /* First, try to scan a handle. */
2424
2425        if (!yaml_parser_scan_tag_handle(parser, 0, start_mark, &handle))
2426            goto error;
2427
2428        /* Check if it is, indeed, handle. */
2429
2430        if (handle[0] == '!' && handle[1] != '\0' && handle[strlen((char *)handle)-1] == '!')
2431        {
2432            /* Scan the suffix now. */
2433
2434            if (!yaml_parser_scan_tag_uri(parser, 0, NULL, start_mark, &suffix))
2435                goto error;
2436        }
2437        else
2438        {
2439            /* It wasn't a handle after all.  Scan the rest of the tag. */
2440
2441            if (!yaml_parser_scan_tag_uri(parser, 0, handle, start_mark, &suffix))
2442                goto error;
2443
2444            /* Set the handle to '!'. */
2445
2446            yaml_free(handle);
2447            handle = yaml_malloc(2);
2448            if (!handle) goto error;
2449            handle[0] = '!';
2450            handle[1] = '\0';
2451
2452            /*
2453             * A special case: the '!' tag.  Set the handle to '' and the
2454             * suffix to '!'.
2455             */
2456
2457            if (suffix[0] == '\0') {
2458                yaml_char_t *tmp = handle;
2459                handle = suffix;
2460                suffix = tmp;
2461            }
2462        }
2463    }
2464
2465    /* Check the character which ends the tag. */
2466
2467    if (!CACHE(parser, 1)) goto error;
2468
2469    if (!IS_BLANKZ(parser->input)) {
2470        SCANNER_ERROR_WITH_CONTEXT_INIT(parser,
2471                "while scanning a tag", start_mark,
2472                "did not found expected whitespace or line break", parser->mark);
2473        goto error;
2474    }
2475
2476    end_mark = parser->mark;
2477
2478    /* Create a token. */
2479
2480    TAG_TOKEN_INIT(*token, handle, suffix, start_mark, end_mark);
2481
2482    return 1;
2483
2484error:
2485    yaml_free(handle);
2486    yaml_free(suffix);
2487    return 0;
2488}
2489
2490/*
2491 * Scan a tag handle.
2492 */
2493
2494static int
2495yaml_parser_scan_tag_handle(yaml_parser_t *parser, int directive,
2496        yaml_mark_t start_mark, yaml_char_t **handle)
2497{
2498    yaml_ostring_t string = NULL_OSTRING;
2499
2500    if (!OSTRING_INIT(parser, string, INITIAL_STRING_CAPACITY))
2501        goto error;
2502
2503    /* Check the initial '!' character. */
2504
2505    if (!CACHE(parser, 1)) goto error;
2506
2507    if (!CHECK(parser->input, '!')) {
2508        SCANNER_ERROR_WITH_CONTEXT_INIT(parser, directive ?
2509                "while scanning a tag directive" : "while scanning a tag",
2510                start_mark, "did not find expected '!'", parser->mark);
2511        goto error;
2512    }
2513
2514    /* Copy the '!' character. */
2515
2516    if (!READ(parser, string)) goto error;
2517
2518    /* Copy all subsequent alphabetical and numerical characters. */
2519
2520    if (!CACHE(parser, 1)) goto error;
2521
2522    while (IS_ALPHA(parser->input))
2523    {
2524        if (!READ(parser, string)) goto error;
2525        if (!CACHE(parser, 1)) goto error;
2526    }
2527
2528    /* Check if the trailing character is '!' and copy it. */
2529
2530    if (CHECK(parser->input, '!'))
2531    {
2532        if (!READ(parser, string)) goto error;
2533    }
2534    else
2535    {
2536        /*
2537         * It's either the '!' tag or not really a tag handle.  If it's a %TAG
2538         * directive, it's an error.  If it's a tag token, it must be a part of
2539         * URI.
2540         */
2541
2542        if (directive &&
2543                !(string.buffer[0] == '!' && string.buffer[1] == '\0')) {
2544            SCANNER_ERROR_WITH_CONTEXT_INIT(parser,
2545                    "while parsing a tag directive", start_mark,
2546                    "did not find expected '!'", parser->mark);
2547            goto error;
2548        }
2549    }
2550
2551    *handle = string.buffer;
2552
2553    return 1;
2554
2555error:
2556    OSTRING_DEL(parser, string);
2557    return 0;
2558}
2559
2560/*
2561 * Scan a tag.
2562 */
2563
2564static int
2565yaml_parser_scan_tag_uri(yaml_parser_t *parser, int directive,
2566        yaml_char_t *head, yaml_mark_t start_mark, yaml_char_t **uri)
2567{
2568    size_t length = head ? strlen((char *)head) : 0;
2569    yaml_ostring_t string = NULL_OSTRING;
2570
2571    if (!OSTRING_INIT(parser, string, INITIAL_STRING_CAPACITY))
2572        goto error;
2573
2574    /* Resize the string to include the head. */
2575
2576    while (string.capacity <= length) {
2577        if (!yaml_ostring_extend(&string.buffer, &string.capacity)) {
2578            MEMORY_ERROR_INIT(parser);
2579            goto error;
2580        }
2581    }
2582
2583    /*
2584     * Copy the head if needed.
2585     *
2586     * Note that we don't copy the leading '!' character.
2587     */
2588
2589    if (length > 1) {
2590        memcpy(string.buffer, head+1, length-1);
2591        string.pointer += length-1;
2592    }
2593
2594    /* Scan the tag. */
2595
2596    if (!CACHE(parser, 1)) goto error;
2597
2598    /*
2599     * The set of characters that may appear in URI is as follows:
2600     *
2601     *      '0'-'9', 'A'-'Z', 'a'-'z', '_', '-', ';', '/', '?', ':', '@', '&',
2602     *      '=', '+', '$', ',', '.', '!', '~', '*', '\'', '(', ')', '[', ']',
2603     *      '%'.
2604     */
2605
2606    while (IS_ALPHA(parser->input) || CHECK(parser->input, ';')
2607            || CHECK(parser->input, '/') || CHECK(parser->input, '?')
2608            || CHECK(parser->input, ':') || CHECK(parser->input, '@')
2609            || CHECK(parser->input, '&') || CHECK(parser->input, '=')
2610            || CHECK(parser->input, '+') || CHECK(parser->input, '$')
2611            || CHECK(parser->input, ',') || CHECK(parser->input, '.')
2612            || CHECK(parser->input, '!') || CHECK(parser->input, '~')
2613            || CHECK(parser->input, '*') || CHECK(parser->input, '\'')
2614            || CHECK(parser->input, '(') || CHECK(parser->input, ')')
2615            || CHECK(parser->input, '[') || CHECK(parser->input, ']')
2616            || CHECK(parser->input, '%'))
2617    {
2618        /* Check if it is a URI-escape sequence. */
2619
2620        if (CHECK(parser->input, '%')) {
2621            if (!yaml_parser_scan_uri_escapes(parser,
2622                        directive, start_mark, &string)) goto error;
2623        }
2624        else {
2625            if (!READ(parser, string)) goto error;
2626        }
2627
2628        length ++;
2629        if (!CACHE(parser, 1)) goto error;
2630    }
2631
2632    /* Check if the tag is non-empty. */
2633
2634    if (!length) {
2635        if (!OSTRING_EXTEND(parser, string))
2636            goto error;
2637
2638        SCANNER_ERROR_WITH_CONTEXT_INIT(parser, directive ?
2639                "while parsing a %TAG directive" : "while parsing a tag",
2640                start_mark, "did not find expected tag URI", parser->mark);
2641        goto error;
2642    }
2643
2644    *uri = string.buffer;
2645
2646    return 1;
2647
2648error:
2649    OSTRING_DEL(parser, string);
2650    return 0;
2651}
2652
2653/*
2654 * Decode an URI-escape sequence corresponding to a single UTF-8 character.
2655 */
2656
2657static int
2658yaml_parser_scan_uri_escapes(yaml_parser_t *parser, int directive,
2659        yaml_mark_t start_mark, yaml_ostring_t *string)
2660{
2661    int width = 0;
2662
2663    /* Decode the required number of characters. */
2664
2665    do {
2666        unsigned char octet = 0;
2667
2668        /* Check for a URI-escaped octet. */
2669
2670        if (!CACHE(parser, 3)) return 0;
2671
2672        if (!(CHECK(parser->input, '%')
2673                    && IS_HEX_AT(parser->input, 1)
2674                    && IS_HEX_AT(parser->input, 2))) {
2675            return SCANNER_ERROR_WITH_CONTEXT_INIT(parser, directive ?
2676                    "while parsing a %TAG directive" : "while parsing a tag",
2677                    start_mark, "did not find URI escaped octet", parser->mark);
2678        }
2679
2680        /* Get the octet. */
2681
2682        octet = (AS_HEX_AT(parser->input, 1) << 4) + AS_HEX_AT(parser->input, 2);
2683
2684        /* If it is the leading octet, determine the length of the UTF-8 sequence. */
2685
2686        if (!width)
2687        {
2688            width = (octet & 0x80) == 0x00 ? 1 :
2689                    (octet & 0xE0) == 0xC0 ? 2 :
2690                    (octet & 0xF0) == 0xE0 ? 3 :
2691                    (octet & 0xF8) == 0xF0 ? 4 : 0;
2692            if (!width) {
2693                return SCANNER_ERROR_WITH_CONTEXT_INIT(parser, directive ?
2694                        "while parsing a %TAG directive" : "while parsing a tag",
2695                        start_mark, "found an incorrect leading UTF-8 octet",
2696                        parser->mark);
2697            }
2698        }
2699        else
2700        {
2701            /* Check if the trailing octet is correct. */
2702
2703            if ((octet & 0xC0) != 0x80) {
2704                return SCANNER_ERROR_WITH_CONTEXT_INIT(parser, directive ?
2705                        "while parsing a %TAG directive" : "while parsing a tag",
2706                        start_mark, "found an incorrect trailing UTF-8 octet",
2707                        parser->mark);
2708            }
2709        }
2710
2711        /* Copy the octet and move the pointers. */
2712
2713        JOIN_OCTET(*string, octet);
2714        SKIP(parser);
2715        SKIP(parser);
2716        SKIP(parser);
2717
2718    } while (--width);
2719
2720    return 1;
2721}
2722
2723/*
2724 * Scan a block scalar.
2725 */
2726
2727static int
2728yaml_parser_scan_block_scalar(yaml_parser_t *parser, yaml_token_t *token,
2729        int literal)
2730{
2731    yaml_mark_t start_mark;
2732    yaml_mark_t end_mark;
2733    yaml_ostring_t string = NULL_OSTRING;
2734    yaml_ostring_t leading_break = NULL_OSTRING;
2735    yaml_ostring_t trailing_breaks = NULL_OSTRING;
2736    int chomping = 0;
2737    int increment = 0;
2738    int indent = 0;
2739    int leading_blank = 0;
2740    int trailing_blank = 0;
2741
2742    if (!OSTRING_INIT(parser, string, INITIAL_STRING_CAPACITY))
2743        goto error;
2744    if (!OSTRING_INIT(parser, leading_break, INITIAL_STRING_CAPACITY))
2745        goto error;
2746    if (!OSTRING_INIT(parser, trailing_breaks, INITIAL_STRING_CAPACITY))
2747        goto error;
2748
2749    /* Eat the indicator '|' or '>'. */
2750
2751    start_mark = parser->mark;
2752
2753    SKIP(parser);
2754
2755    /* Scan the additional block scalar indicators. */
2756
2757    if (!CACHE(parser, 1)) goto error;
2758
2759    /* Check for a chomping indicator. */
2760
2761    if (CHECK(parser->input, '+') || CHECK(parser->input, '-'))
2762    {
2763        /* Set the chomping method and eat the indicator. */
2764
2765        chomping = CHECK(parser->input, '+') ? +1 : -1;
2766
2767        SKIP(parser);
2768
2769        /* Check for an indentation indicator. */
2770
2771        if (!CACHE(parser, 1)) goto error;
2772
2773        if (IS_DIGIT(parser->input))
2774        {
2775            /* Check that the intendation is greater than 0. */
2776
2777            if (CHECK(parser->input, '0')) {
2778                SCANNER_ERROR_WITH_CONTEXT_INIT(parser,
2779                        "while scanning a block scalar", start_mark,
2780                        "found an intendation indicator equal to 0", parser->mark);
2781                goto error;
2782            }
2783
2784            /* Get the intendation level and eat the indicator. */
2785
2786            increment = AS_DIGIT(parser->input);
2787
2788            SKIP(parser);
2789        }
2790    }
2791
2792    /* Do the same as above, but in the opposite order. */
2793
2794    else if (IS_DIGIT(parser->input))
2795    {
2796        if (CHECK(parser->input, '0')) {
2797            SCANNER_ERROR_WITH_CONTEXT_INIT(parser,
2798                    "while scanning a block scalar", start_mark,
2799                    "found an intendation indicator equal to 0", parser->mark);
2800            goto error;
2801        }
2802
2803        increment = AS_DIGIT(parser->input);
2804
2805        SKIP(parser);
2806
2807        if (!CACHE(parser, 1)) goto error;
2808
2809        if (CHECK(parser->input, '+') || CHECK(parser->input, '-')) {
2810            chomping = CHECK(parser->input, '+') ? +1 : -1;
2811
2812            SKIP(parser);
2813        }
2814    }
2815
2816    /* Eat whitespaces and comments to the end of the line. */
2817
2818    if (!CACHE(parser, 1)) goto error;
2819
2820    while (IS_BLANK(parser->input)) {
2821        SKIP(parser);
2822        if (!CACHE(parser, 1)) goto error;
2823    }
2824
2825    if (CHECK(parser->input, '#')) {
2826        while (!IS_BREAKZ(parser->input)) {
2827            SKIP(parser);
2828            if (!CACHE(parser, 1)) goto error;
2829        }
2830    }
2831
2832    /* Check if we are at the end of the line. */
2833
2834    if (!IS_BREAKZ(parser->input)) {
2835        SCANNER_ERROR_WITH_CONTEXT_INIT(parser,
2836                "while scanning a block scalar", start_mark,
2837                "did not found expected comment or line break", parser->mark);
2838        goto error;
2839    }
2840
2841    /* Eat a line break. */
2842
2843    if (IS_BREAK(parser->input)) {
2844        if (!CACHE(parser, 2)) goto error;
2845        SKIP_LINE(parser);
2846    }
2847
2848    end_mark = parser->mark;
2849
2850    /* Set the intendation level if it was specified. */
2851
2852    if (increment) {
2853        indent = parser->indent >= 0 ? parser->indent+increment : increment;
2854    }
2855
2856    /* Scan the leading line breaks and determine the indentation level if needed. */
2857
2858    if (!yaml_parser_scan_block_scalar_breaks(parser, &indent, &trailing_breaks,
2859                start_mark, &end_mark)) goto error;
2860
2861    /* Scan the block scalar content. */
2862
2863    if (!CACHE(parser, 1)) goto error;
2864
2865    while ((int)parser->mark.column == indent && !IS_Z(parser->input))
2866    {
2867        /*
2868         * We are at the beginning of a non-empty line.
2869         */
2870
2871        /* Is it a trailing whitespace? */
2872
2873        trailing_blank = IS_BLANK(parser->input);
2874
2875        /* Check if we need to fold the leading line break. */
2876
2877        if (!literal && (*leading_break.buffer == '\n')
2878                && !leading_blank && !trailing_blank)
2879        {
2880            /* Do we need to join the lines by space? */
2881
2882            if (*trailing_breaks.buffer == '\0') {
2883                if (!OSTRING_EXTEND(parser, string)) goto error;
2884                JOIN_OCTET(string, ' ');
2885            }
2886
2887            CLEAR(parser, leading_break);
2888        }
2889        else {
2890            if (!JOIN(parser, string, leading_break)) goto error;
2891            CLEAR(parser, leading_break);
2892        }
2893
2894        /* Append the remaining line breaks. */
2895
2896        if (!JOIN(parser, string, trailing_breaks)) goto error;
2897        CLEAR(parser, trailing_breaks);
2898
2899        /* Is it a leading whitespace? */
2900
2901        leading_blank = IS_BLANK(parser->input);
2902
2903        /* Consume the current line. */
2904
2905        while (!IS_BREAKZ(parser->input)) {
2906            if (!READ(parser, string)) goto error;
2907            if (!CACHE(parser, 1)) goto error;
2908        }
2909
2910        /* Consume the line break. */
2911
2912        if (!CACHE(parser, 2)) goto error;
2913
2914        if (!READ_LINE(parser, leading_break)) goto error;
2915
2916        /* Eat the following intendation spaces and line breaks. */
2917
2918        if (!yaml_parser_scan_block_scalar_breaks(parser,
2919                    &indent, &trailing_breaks, start_mark, &end_mark)) goto error;
2920    }
2921
2922    /* Chomp the tail. */
2923
2924    if (chomping != -1) {
2925        if (!JOIN(parser, string, leading_break)) goto error;
2926    }
2927    if (chomping == 1) {
2928        if (!JOIN(parser, string, trailing_breaks)) goto error;
2929    }
2930
2931    /* Create a token. */
2932
2933    SCALAR_TOKEN_INIT(*token, string.buffer, string.pointer,
2934            literal ? YAML_LITERAL_SCALAR_STYLE : YAML_FOLDED_SCALAR_STYLE,
2935            start_mark, end_mark);
2936
2937    OSTRING_DEL(parser, leading_break);
2938    OSTRING_DEL(parser, trailing_breaks);
2939
2940    return 1;
2941
2942error:
2943    OSTRING_DEL(parser, string);
2944    OSTRING_DEL(parser, leading_break);
2945    OSTRING_DEL(parser, trailing_breaks);
2946
2947    return 0;
2948}
2949
2950/*
2951 * Scan intendation spaces and line breaks for a block scalar.  Determine the
2952 * intendation level if needed.
2953 */
2954
2955static int
2956yaml_parser_scan_block_scalar_breaks(yaml_parser_t *parser,
2957        int *indent, yaml_ostring_t *breaks,
2958        yaml_mark_t start_mark, yaml_mark_t *end_mark)
2959{
2960    int max_indent = 0;
2961
2962    *end_mark = parser->mark;
2963
2964    /* Eat the intendation spaces and line breaks. */
2965
2966    while (1)
2967    {
2968        /* Eat the intendation spaces. */
2969
2970        if (!CACHE(parser, 1)) return 0;
2971
2972        while ((!*indent || (int)parser->mark.column < *indent)
2973                && IS_SPACE(parser->input)) {
2974            SKIP(parser);
2975            if (!CACHE(parser, 1)) return 0;
2976        }
2977
2978        if ((int)parser->mark.column > max_indent)
2979            max_indent = (int)parser->mark.column;
2980
2981        /* Check for a tab character messing the intendation. */
2982
2983        if ((!*indent || (int)parser->mark.column < *indent)
2984                && IS_TAB(parser->input)) {
2985            return SCANNER_ERROR_WITH_CONTEXT_INIT(parser,
2986                    "while scanning a block scalar", start_mark,
2987                    "found a tab character where an intendation space is expected",
2988                    parser->mark);
2989        }
2990
2991        /* Have we found a non-empty line? */
2992
2993        if (!IS_BREAK(parser->input)) break;
2994
2995        /* Consume the line break. */
2996
2997        if (!CACHE(parser, 2)) return 0;
2998        if (!READ_LINE(parser, *breaks)) return 0;
2999        *end_mark = parser->mark;
3000    }
3001
3002    /* Determine the indentation level if needed. */
3003
3004    if (!*indent) {
3005        *indent = max_indent;
3006        if (*indent < parser->indent + 1)
3007            *indent = parser->indent + 1;
3008        if (*indent < 1)
3009            *indent = 1;
3010    }
3011
3012   return 1; 
3013}
3014
3015/*
3016 * Scan a quoted scalar.
3017 */
3018
3019static int
3020yaml_parser_scan_flow_scalar(yaml_parser_t *parser, yaml_token_t *token,
3021        int single)
3022{
3023    yaml_mark_t start_mark;
3024    yaml_mark_t end_mark;
3025    yaml_ostring_t string = NULL_OSTRING;
3026    yaml_ostring_t leading_break = NULL_OSTRING;
3027    yaml_ostring_t trailing_breaks = NULL_OSTRING;
3028    yaml_ostring_t whitespaces = NULL_OSTRING;
3029    int leading_blanks;
3030
3031    if (!OSTRING_INIT(parser, string, INITIAL_STRING_CAPACITY))
3032        goto error;
3033    if (!OSTRING_INIT(parser, leading_break, INITIAL_STRING_CAPACITY))
3034        goto error;
3035    if (!OSTRING_INIT(parser, trailing_breaks, INITIAL_STRING_CAPACITY))
3036        goto error;
3037    if (!OSTRING_INIT(parser, whitespaces, INITIAL_STRING_CAPACITY))
3038        goto error;
3039
3040    /* Eat the left quote. */
3041
3042    start_mark = parser->mark;
3043
3044    SKIP(parser);
3045
3046    /* Consume the content of the quoted scalar. */
3047
3048    while (1)
3049    {
3050        /* Check that there are no document indicators at the beginning of the line. */
3051
3052        if (!CACHE(parser, 4)) goto error;
3053
3054        if (parser->mark.column == 0 &&
3055            ((CHECK_AT(parser->input, '-', 0) &&
3056              CHECK_AT(parser->input, '-', 1) &&
3057              CHECK_AT(parser->input, '-', 2)) ||
3058             (CHECK_AT(parser->input, '.', 0) &&
3059              CHECK_AT(parser->input, '.', 1) &&
3060              CHECK_AT(parser->input, '.', 2))) &&
3061            IS_BLANKZ_AT(parser->input, 3))
3062        {
3063            SCANNER_ERROR_WITH_CONTEXT_INIT(parser,
3064                    "while scanning a quoted scalar", start_mark,
3065                    "found unexpected document indicator", parser->mark);
3066            goto error;
3067        }
3068
3069        /* Check for EOF. */
3070
3071        if (IS_Z(parser->input)) {
3072            SCANNER_ERROR_WITH_CONTEXT_INIT(parser,
3073                    "while scanning a quoted scalar", start_mark,
3074                    "found unexpected end of stream", parser->mark);
3075            goto error;
3076        }
3077
3078        /* Consume non-blank characters. */
3079
3080        if (!CACHE(parser, 2)) goto error;
3081
3082        leading_blanks = 0;
3083
3084        while (!IS_BLANKZ(parser->input))
3085        {
3086            /* Check for an escaped single quote. */
3087
3088            if (single && CHECK_AT(parser->input, '\'', 0)
3089                    && CHECK_AT(parser->input, '\'', 1))
3090            {
3091                if (!OSTRING_EXTEND(parser, string)) goto error;
3092                JOIN_OCTET(string, '\'');
3093                SKIP(parser);
3094                SKIP(parser);
3095            }
3096
3097            /* Check for the right quote. */
3098
3099            else if (CHECK(parser->input, single ? '\'' : '"'))
3100            {
3101                break;
3102            }
3103
3104            /* Check for an escaped line break. */
3105
3106            else if (!single && CHECK(parser->input, '\\')
3107                    && IS_BREAK_AT(parser->input, 1))
3108            {
3109                if (!CACHE(parser, 3)) goto error;
3110                SKIP(parser);
3111                SKIP_LINE(parser);
3112                leading_blanks = 1;
3113                break;
3114            }
3115
3116            /* Check for an escape sequence. */
3117
3118            else if (!single && CHECK(parser->input, '\\'))
3119            {
3120                size_t code_length = 0;
3121
3122                if (!OSTRING_EXTEND(parser, string)) goto error;
3123
3124                /* Check the escape character. */
3125
3126                switch (OCTET_AT(parser->input, 1))
3127                {
3128                    case '0':
3129                        JOIN_OCTET(string, '\0');
3130                        break;
3131
3132                    case 'a':
3133                        JOIN_OCTET(string, '\x07');
3134                        break;
3135
3136                    case 'b':
3137                        JOIN_OCTET(string, '\x08');
3138                        break;
3139
3140                    case 't':
3141                    case '\t':
3142                        JOIN_OCTET(string, '\x09');
3143                        break;
3144
3145                    case 'n':
3146                        JOIN_OCTET(string, '\x0A');
3147                        break;
3148
3149                    case 'v':
3150                        JOIN_OCTET(string, '\x0B');
3151                        break;
3152
3153                    case 'f':
3154                        JOIN_OCTET(string, '\x0C');
3155                        break;
3156
3157                    case 'r':
3158                        JOIN_OCTET(string, '\x0D');
3159                        break;
3160
3161                    case 'e':
3162                        JOIN_OCTET(string, '\x1B');
3163                        break;
3164
3165                    case ' ':
3166                        JOIN_OCTET(string, '\x20');
3167                        break;
3168
3169                    case '"':
3170                        JOIN_OCTET(string, '"');
3171                        break;
3172
3173                    case '\'':
3174                        JOIN_OCTET(string, '\'');
3175                        break;
3176
3177                    case '\\':
3178                        JOIN_OCTET(string, '\\');
3179                        break;
3180
3181                    case 'N':   /* NEL (#x85) */
3182                        JOIN_OCTET(string, '\xC2');
3183                        JOIN_OCTET(string, '\x85');
3184                        break;
3185
3186                    case '_':   /* #xA0 */
3187                        JOIN_OCTET(string, '\xC2');
3188                        JOIN_OCTET(string, '\xA0');
3189                        break;
3190
3191                    case 'L':   /* LS (#x2028) */
3192                        JOIN_OCTET(string, '\xE2');
3193                        JOIN_OCTET(string, '\x80');
3194                        JOIN_OCTET(string, '\xA8');
3195                        break;
3196
3197                    case 'P':   /* PS (#x2029) */
3198                        JOIN_OCTET(string, '\xE2');
3199                        JOIN_OCTET(string, '\x80');
3200                        JOIN_OCTET(string, '\xA9');
3201                        break;
3202
3203                    case 'x':
3204                        code_length = 2;
3205                        break;
3206
3207                    case 'u':
3208                        code_length = 4;
3209                        break;
3210
3211                    case 'U':
3212                        code_length = 8;
3213                        break;
3214
3215                    default:
3216                        SCANNER_ERROR_WITH_CONTEXT_INIT(parser,
3217                                "while parsing a quoted scalar", start_mark,
3218                                "found unknown escape character", parser->mark);
3219                        goto error;
3220                }
3221
3222                SKIP(parser);
3223                SKIP(parser);
3224
3225                /* Consume an arbitrary escape code. */
3226
3227                if (code_length)
3228                {
3229                    unsigned int value = 0;
3230                    size_t idx;
3231
3232                    /* Scan the character value. */
3233
3234                    if (!CACHE(parser, code_length)) goto error;
3235
3236                    for (idx = 0; idx < code_length; idx ++) {
3237                        if (!IS_HEX_AT(parser->input, idx)) {
3238                            SCANNER_ERROR_WITH_CONTEXT_INIT(parser,
3239                                    "while parsing a quoted scalar", start_mark,
3240                                    "did not find expected hexdecimal number",
3241                                    parser->mark);
3242                            goto error;
3243                        }
3244                        value = (value << 4) + AS_HEX_AT(parser->input, idx);
3245                    }
3246
3247                    /* Check the value and write the character. */
3248
3249                    if ((value >= 0xD800 && value <= 0xDFFF) || value > 0x10FFFF) {
3250                        SCANNER_ERROR_WITH_CONTEXT_INIT(parser,
3251                                "while parsing a quoted scalar", start_mark,
3252                                "found invalid Unicode character escape code",
3253                                parser->mark);
3254                        goto error;
3255                    }
3256
3257                    if (value <= 0x7F) {
3258                        JOIN_OCTET(string, value);
3259                    }
3260                    else if (value <= 0x7FF) {
3261                        JOIN_OCTET(string, 0xC0 + (value >> 6));
3262                        JOIN_OCTET(string, 0x80 + (value & 0x3F));
3263                    }
3264                    else if (value <= 0xFFFF) {
3265                        JOIN_OCTET(string, 0xE0 + (value >> 12));
3266                        JOIN_OCTET(string, 0x80 + ((value >> 6) & 0x3F));
3267                        JOIN_OCTET(string, 0x80 + (value & 0x3F));
3268                    }
3269                    else {
3270                        JOIN_OCTET(string, 0xF0 + (value >> 18));
3271                        JOIN_OCTET(string, 0x80 + ((value >> 12) & 0x3F));
3272                        JOIN_OCTET(string, 0x80 + ((value >> 6) & 0x3F));
3273                        JOIN_OCTET(string, 0x80 + (value & 0x3F));
3274                    }
3275
3276                    /* Advance the pointer. */
3277
3278                    for (idx = 0; idx < code_length; idx ++) {
3279                        SKIP(parser);
3280                    }
3281                }
3282            }
3283
3284            else
3285            {
3286                /* It is a non-escaped non-blank character. */
3287
3288                if (!READ(parser, string)) goto error;
3289            }
3290
3291            if (!CACHE(parser, 2)) goto error;
3292        }
3293
3294        /* Check if we are at the end of the scalar. */
3295
3296        if (CHECK(parser->input, single ? '\'' : '"'))
3297            break;
3298
3299        /* Consume blank characters. */
3300
3301        if (!CACHE(parser, 1)) goto error;
3302
3303        while (IS_BLANK(parser->input) || IS_BREAK(parser->input))
3304        {
3305            if (IS_BLANK(parser->input))
3306            {
3307                /* Consume a space or a tab character. */
3308
3309                if (!leading_blanks) {
3310                    if (!READ(parser, whitespaces)) goto error;
3311                }
3312                else {
3313                    SKIP(parser);
3314                }
3315            }
3316            else
3317            {
3318                if (!CACHE(parser, 2)) goto error;
3319
3320                /* Check if it is a first line break. */
3321
3322                if (!leading_blanks)
3323                {
3324                    CLEAR(parser, whitespaces);
3325                    if (!READ_LINE(parser, leading_break)) goto error;
3326                    leading_blanks = 1;
3327                }
3328                else
3329                {
3330                    if (!READ_LINE(parser, trailing_breaks)) goto error;
3331                }
3332            }
3333            if (!CACHE(parser, 1)) goto error;
3334        }
3335
3336        /* Join the whitespaces or fold line breaks. */
3337
3338        if (leading_blanks)
3339        {
3340            /* Do we need to fold line breaks? */
3341
3342            if (leading_break.buffer[0] == '\n') {
3343                if (trailing_breaks.buffer[0] == '\0') {
3344                    if (!OSTRING_EXTEND(parser, string)) goto error;
3345                    JOIN_OCTET(string, ' ');
3346                }
3347                else {
3348                    if (!JOIN(parser, string, trailing_breaks)) goto error;
3349                    CLEAR(parser, trailing_breaks);
3350                }
3351                CLEAR(parser, leading_break);
3352            }
3353            else {
3354                if (!JOIN(parser, string, leading_break)) goto error;
3355                if (!JOIN(parser, string, trailing_breaks)) goto error;
3356                CLEAR(parser, leading_break);
3357                CLEAR(parser, trailing_breaks);
3358            }
3359        }
3360        else
3361        {
3362            if (!JOIN(parser, string, whitespaces)) goto error;
3363            CLEAR(parser, whitespaces);
3364        }
3365    }
3366
3367    /* Eat the right quote. */
3368
3369    SKIP(parser);
3370
3371    end_mark = parser->mark;
3372
3373    /* Create a token. */
3374
3375    SCALAR_TOKEN_INIT(*token, string.buffer, string.pointer,
3376            single ? YAML_SINGLE_QUOTED_SCALAR_STYLE : YAML_DOUBLE_QUOTED_SCALAR_STYLE,
3377            start_mark, end_mark);
3378
3379    OSTRING_DEL(parser, leading_break);
3380    OSTRING_DEL(parser, trailing_breaks);
3381    OSTRING_DEL(parser, whitespaces);
3382
3383    return 1;
3384
3385error:
3386    OSTRING_DEL(parser, string);
3387    OSTRING_DEL(parser, leading_break);
3388    OSTRING_DEL(parser, trailing_breaks);
3389    OSTRING_DEL(parser, whitespaces);
3390
3391    return 0;
3392}
3393
3394/*
3395 * Scan a plain scalar.
3396 */
3397
3398static int
3399yaml_parser_scan_plain_scalar(yaml_parser_t *parser, yaml_token_t *token)
3400{
3401    yaml_mark_t start_mark;
3402    yaml_mark_t end_mark;
3403    yaml_ostring_t string = NULL_OSTRING;
3404    yaml_ostring_t leading_break = NULL_OSTRING;
3405    yaml_ostring_t trailing_breaks = NULL_OSTRING;
3406    yaml_ostring_t whitespaces = NULL_OSTRING;
3407    int leading_blanks = 0;
3408    int indent = parser->indent+1;
3409
3410    if (!OSTRING_INIT(parser, string, INITIAL_STRING_CAPACITY))
3411        goto error;
3412    if (!OSTRING_INIT(parser, leading_break, INITIAL_STRING_CAPACITY))
3413        goto error;
3414    if (!OSTRING_INIT(parser, trailing_breaks, INITIAL_STRING_CAPACITY))
3415        goto error;
3416    if (!OSTRING_INIT(parser, whitespaces, INITIAL_STRING_CAPACITY))
3417        goto error;
3418
3419    start_mark = end_mark = parser->mark;
3420
3421    /* Consume the content of the plain scalar. */
3422
3423    while (1)
3424    {
3425        /* Check for a document indicator. */
3426
3427        if (!CACHE(parser, 4)) goto error;
3428
3429        if (parser->mark.column == 0 &&
3430            ((CHECK_AT(parser->input, '-', 0) &&
3431              CHECK_AT(parser->input, '-', 1) &&
3432              CHECK_AT(parser->input, '-', 2)) ||
3433             (CHECK_AT(parser->input, '.', 0) &&
3434              CHECK_AT(parser->input, '.', 1) &&
3435              CHECK_AT(parser->input, '.', 2))) &&
3436            IS_BLANKZ_AT(parser->input, 3)) break;
3437
3438        /* Check for a comment. */
3439
3440        if (CHECK(parser->input, '#'))
3441            break;
3442
3443        /* Consume non-blank characters. */
3444
3445        while (!IS_BLANKZ(parser->input))
3446        {
3447            /* Check for 'x:x' in the flow context. TODO: Fix the test "spec-08-13". */
3448
3449            if (parser->flow_level
3450                    && CHECK(parser->input, ':')
3451                    && !IS_BLANKZ_AT(parser->input, 1)) {
3452                SCANNER_ERROR_WITH_CONTEXT_INIT(parser,
3453                        "while scanning a plain scalar", start_mark,
3454                        "found unexpected ':'", parser->mark);
3455                goto error;
3456            }
3457
3458            /* Check for indicators that may end a plain scalar. */
3459
3460            if ((CHECK(parser->input, ':') && IS_BLANKZ_AT(parser->input, 1))
3461                    || (parser->flow_level &&
3462                        (CHECK(parser->input, ',') || CHECK(parser->input, ':')
3463                         || CHECK(parser->input, '?') || CHECK(parser->input, '[')
3464                         || CHECK(parser->input, ']') || CHECK(parser->input, '{')
3465                         || CHECK(parser->input, '}'))))
3466                break;
3467
3468            /* Check if we need to join whitespaces and breaks. */
3469
3470            if (leading_blanks || whitespaces.pointer > 0)
3471            {
3472                if (leading_blanks)
3473                {
3474                    /* Do we need to fold line breaks? */
3475
3476                    if (leading_break.buffer[0] == '\n') {
3477                        if (trailing_breaks.buffer[0] == '\0') {
3478                            if (!OSTRING_EXTEND(parser, string)) goto error;
3479                            JOIN_OCTET(string, ' ');
3480                        }
3481                        else {
3482                            if (!JOIN(parser, string, trailing_breaks)) goto error;
3483                            CLEAR(parser, trailing_breaks);
3484                        }
3485                        CLEAR(parser, leading_break);
3486                    }
3487                    else {
3488                        if (!JOIN(parser, string, leading_break)) goto error;
3489                        if (!JOIN(parser, string, trailing_breaks)) goto error;
3490                        CLEAR(parser, leading_break);
3491                        CLEAR(parser, trailing_breaks);
3492                    }
3493
3494                    leading_blanks = 0;
3495                }
3496                else
3497                {
3498                    if (!JOIN(parser, string, whitespaces)) goto error;
3499                    CLEAR(parser, whitespaces);
3500                }
3501            }
3502
3503            /* Copy the character. */
3504
3505            if (!READ(parser, string)) goto error;
3506
3507            end_mark = parser->mark;
3508
3509            if (!CACHE(parser, 2)) goto error;
3510        }
3511
3512        /* Is it the end? */
3513
3514        if (!(IS_BLANK(parser->input) || IS_BREAK(parser->input)))
3515            break;
3516
3517        /* Consume blank characters. */
3518
3519        if (!CACHE(parser, 1)) goto error;
3520
3521        while (IS_BLANK(parser->input) || IS_BREAK(parser->input))
3522        {
3523            if (IS_BLANK(parser->input))
3524            {
3525                /* Check for tab character that abuse intendation. */
3526
3527                if (leading_blanks && (int)parser->mark.column < indent
3528                        && IS_TAB(parser->input)) {
3529                    SCANNER_ERROR_WITH_CONTEXT_INIT(parser,
3530                            "while scanning a plain scalar", start_mark,
3531                            "found a tab character that violate intendation",
3532                            parser->mark);
3533                    goto error;
3534                }
3535
3536                /* Consume a space or a tab character. */
3537
3538                if (!leading_blanks) {
3539                    if (!READ(parser, whitespaces)) goto error;
3540                }
3541                else {
3542                    SKIP(parser);
3543                }
3544            }
3545            else
3546            {
3547                if (!CACHE(parser, 2)) goto error;
3548
3549                /* Check if it is a first line break. */
3550
3551                if (!leading_blanks)
3552                {
3553                    CLEAR(parser, whitespaces);
3554                    if (!READ_LINE(parser, leading_break)) goto error;
3555                    leading_blanks = 1;
3556                }
3557                else
3558                {
3559                    if (!READ_LINE(parser, trailing_breaks)) goto error;
3560                }
3561            }
3562            if (!CACHE(parser, 1)) goto error;
3563        }
3564
3565        /* Check intendation level. */
3566
3567        if (!parser->flow_level && (int)parser->mark.column < indent)
3568            break;
3569    }
3570
3571    /* Create a token. */
3572
3573    SCALAR_TOKEN_INIT(*token, string.buffer, string.pointer,
3574            YAML_PLAIN_SCALAR_STYLE, start_mark, end_mark);
3575
3576    /* Note that we change the 'is_simple_key_allowed' flag. */
3577
3578    if (leading_blanks) {
3579        parser->is_simple_key_allowed = 1;
3580    }
3581
3582    OSTRING_DEL(parser, leading_break);
3583    OSTRING_DEL(parser, trailing_breaks);
3584    OSTRING_DEL(parser, whitespaces);
3585
3586    return 1;
3587
3588error:
3589    OSTRING_DEL(parser, string);
3590    OSTRING_DEL(parser, leading_break);
3591    OSTRING_DEL(parser, trailing_breaks);
3592    OSTRING_DEL(parser, whitespaces);
3593
3594    return 0;
3595}
3596
Note: See TracBrowser for help on using the repository browser.