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