@@ -0,0 +1,3589 @@
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+ * FLOW-MAPPING-START # '{'
42+ * FLOW-MAPPING-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 corresponding 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, ptrdiff_t column,
619+ ptrdiff_t number, yaml_token_type_t type, yaml_mark_t mark);
620+
621+static int
622+yaml_parser_unroll_indent(yaml_parser_t *parser, ptrdiff_t 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 == (ptrdiff_t)parser->mark.column);
1107+
1108+ /*
1109+ * If the current position may start a simple key, save it.
1110+ */
1111+
1112+ if (parser->simple_key_allowed)
1113+ {
1114+ yaml_simple_key_t simple_key;
1115+ simple_key.possible = 1;
1116+ simple_key.required = required;
1117+ simple_key.token_number =
1118+ parser->tokens_parsed + (parser->tokens.tail - parser->tokens.head);
1119+ simple_key.mark = parser->mark;
1120+
1121+ if (!yaml_parser_remove_simple_key(parser)) return 0;
1122+
1123+ *(parser->simple_keys.top-1) = simple_key;
1124+ }
1125+
1126+ return 1;
1127+}
1128+
1129+/*
1130+ * Remove a potential simple key at the current flow level.
1131+ */
1132+
1133+static int
1134+yaml_parser_remove_simple_key(yaml_parser_t *parser)
1135+{
1136+ yaml_simple_key_t *simple_key = parser->simple_keys.top-1;
1137+
1138+ if (simple_key->possible)
1139+ {
1140+ /* If the key is required, it is an error. */
1141+
1142+ if (simple_key->required) {
1143+ return yaml_parser_set_scanner_error(parser,
1144+ "while scanning a simple key", simple_key->mark,
1145+ "could not find expected ':'");
1146+ }
1147+ }
1148+
1149+ /* Remove the key from the stack. */
1150+
1151+ simple_key->possible = 0;
1152+
1153+ return 1;
1154+}
1155+
1156+/*
1157+ * Increase the flow level and resize the simple key list if needed.
1158+ */
1159+
1160+static int
1161+yaml_parser_increase_flow_level(yaml_parser_t *parser)
1162+{
1163+ yaml_simple_key_t empty_simple_key = { 0, 0, 0, { 0, 0, 0 } };
1164+
1165+ /* Reset the simple key on the next level. */
1166+
1167+ if (!PUSH(parser, parser->simple_keys, empty_simple_key))
1168+ return 0;
1169+
1170+ /* Increase the flow level. */
1171+
1172+ if (parser->flow_level == INT_MAX) {
1173+ parser->error = YAML_MEMORY_ERROR;
1174+ return 0;
1175+ }
1176+
1177+ parser->flow_level++;
1178+
1179+ return 1;
1180+}
1181+
1182+/*
1183+ * Decrease the flow level.
1184+ */
1185+
1186+static int
1187+yaml_parser_decrease_flow_level(yaml_parser_t *parser)
1188+{
1189+ if (parser->flow_level) {
1190+ parser->flow_level --;
1191+ (void)POP(parser, parser->simple_keys);
1192+ }
1193+
1194+ return 1;
1195+}
1196+
1197+/*
1198+ * Push the current indentation level to the stack and set the new level
1199+ * the current column is greater than the indentation level. In this case,
1200+ * append or insert the specified token into the token queue.
1201+ *
1202+ */
1203+
1204+static int
1205+yaml_parser_roll_indent(yaml_parser_t *parser, ptrdiff_t column,
1206+ ptrdiff_t number, yaml_token_type_t type, yaml_mark_t mark)
1207+{
1208+ yaml_token_t token;
1209+
1210+ /* In the flow context, do nothing. */
1211+
1212+ if (parser->flow_level)
1213+ return 1;
1214+
1215+ if (parser->indent < column)
1216+ {
1217+ /*
1218+ * Push the current indentation level to the stack and set the new
1219+ * indentation level.
1220+ */
1221+
1222+ if (!PUSH(parser, parser->indents, parser->indent))
1223+ return 0;
1224+
1225+ if (column > INT_MAX) {
1226+ parser->error = YAML_MEMORY_ERROR;
1227+ return 0;
1228+ }
1229+
1230+ parser->indent = column;
1231+
1232+ /* Create a token and insert it into the queue. */
1233+
1234+ TOKEN_INIT(token, type, mark, mark);
1235+
1236+ if (number == -1) {
1237+ if (!ENQUEUE(parser, parser->tokens, token))
1238+ return 0;
1239+ }
1240+ else {
1241+ if (!QUEUE_INSERT(parser,
1242+ parser->tokens, number - parser->tokens_parsed, token))
1243+ return 0;
1244+ }
1245+ }
1246+
1247+ return 1;
1248+}
1249+
1250+/*
1251+ * Pop indentation levels from the indents stack until the current level
1252+ * becomes less or equal to the column. For each indentation level, append
1253+ * the BLOCK-END token.
1254+ */
1255+
1256+
1257+static int
1258+yaml_parser_unroll_indent(yaml_parser_t *parser, ptrdiff_t column)
1259+{
1260+ yaml_token_t token;
1261+
1262+ /* In the flow context, do nothing. */
1263+
1264+ if (parser->flow_level)
1265+ return 1;
1266+
1267+ /* Loop through the indentation levels in the stack. */
1268+
1269+ while (parser->indent > column)
1270+ {
1271+ /* Create a token and append it to the queue. */
1272+
1273+ TOKEN_INIT(token, YAML_BLOCK_END_TOKEN, parser->mark, parser->mark);
1274+
1275+ if (!ENQUEUE(parser, parser->tokens, token))
1276+ return 0;
1277+
1278+ /* Pop the indentation level. */
1279+
1280+ parser->indent = POP(parser, parser->indents);
1281+ }
1282+
1283+ return 1;
1284+}
1285+
1286+/*
1287+ * Initialize the scanner and produce the STREAM-START token.
1288+ */
1289+
1290+static int
1291+yaml_parser_fetch_stream_start(yaml_parser_t *parser)
1292+{
1293+ yaml_simple_key_t simple_key = { 0, 0, 0, { 0, 0, 0 } };
1294+ yaml_token_t token;
1295+
1296+ /* Set the initial indentation. */
1297+
1298+ parser->indent = -1;
1299+
1300+ /* Initialize the simple key stack. */
1301+
1302+ if (!PUSH(parser, parser->simple_keys, simple_key))
1303+ return 0;
1304+
1305+ /* A simple key is allowed at the beginning of the stream. */
1306+
1307+ parser->simple_key_allowed = 1;
1308+
1309+ /* We have started. */
1310+
1311+ parser->stream_start_produced = 1;
1312+
1313+ /* Create the STREAM-START token and append it to the queue. */
1314+
1315+ STREAM_START_TOKEN_INIT(token, parser->encoding,
1316+ parser->mark, parser->mark);
1317+
1318+ if (!ENQUEUE(parser, parser->tokens, token))
1319+ return 0;
1320+
1321+ return 1;
1322+}
1323+
1324+/*
1325+ * Produce the STREAM-END token and shut down the scanner.
1326+ */
1327+
1328+static int
1329+yaml_parser_fetch_stream_end(yaml_parser_t *parser)
1330+{
1331+ yaml_token_t token;
1332+
1333+ /* Force new line. */
1334+
1335+ if (parser->mark.column != 0) {
1336+ parser->mark.column = 0;
1337+ parser->mark.line ++;
1338+ }
1339+
1340+ /* Reset the indentation level. */
1341+
1342+ if (!yaml_parser_unroll_indent(parser, -1))
1343+ return 0;
1344+
1345+ /* Reset simple keys. */
1346+
1347+ if (!yaml_parser_remove_simple_key(parser))
1348+ return 0;
1349+
1350+ parser->simple_key_allowed = 0;
1351+
1352+ /* Create the STREAM-END token and append it to the queue. */
1353+
1354+ STREAM_END_TOKEN_INIT(token, parser->mark, parser->mark);
1355+
1356+ if (!ENQUEUE(parser, parser->tokens, token))
1357+ return 0;
1358+
1359+ return 1;
1360+}
1361+
1362+/*
1363+ * Produce a VERSION-DIRECTIVE or TAG-DIRECTIVE token.
1364+ */
1365+
1366+static int
1367+yaml_parser_fetch_directive(yaml_parser_t *parser)
1368+{
1369+ yaml_token_t token;
1370+
1371+ /* Reset the indentation level. */
1372+
1373+ if (!yaml_parser_unroll_indent(parser, -1))
1374+ return 0;
1375+
1376+ /* Reset simple keys. */
1377+
1378+ if (!yaml_parser_remove_simple_key(parser))
1379+ return 0;
1380+
1381+ parser->simple_key_allowed = 0;
1382+
1383+ /* Create the YAML-DIRECTIVE or TAG-DIRECTIVE token. */
1384+
1385+ if (!yaml_parser_scan_directive(parser, &token))
1386+ return 0;
1387+
1388+ /* Append the token to the queue. */
1389+
1390+ if (!ENQUEUE(parser, parser->tokens, token)) {
1391+ yaml_token_delete(&token);
1392+ return 0;
1393+ }
1394+
1395+ return 1;
1396+}
1397+
1398+/*
1399+ * Produce the DOCUMENT-START or DOCUMENT-END token.
1400+ */
1401+
1402+static int
1403+yaml_parser_fetch_document_indicator(yaml_parser_t *parser,
1404+ yaml_token_type_t type)
1405+{
1406+ yaml_mark_t start_mark, end_mark;
1407+ yaml_token_t token;
1408+
1409+ /* Reset the indentation level. */
1410+
1411+ if (!yaml_parser_unroll_indent(parser, -1))
1412+ return 0;
1413+
1414+ /* Reset simple keys. */
1415+
1416+ if (!yaml_parser_remove_simple_key(parser))
1417+ return 0;
1418+
1419+ parser->simple_key_allowed = 0;
1420+
1421+ /* Consume the token. */
1422+
1423+ start_mark = parser->mark;
1424+
1425+ SKIP(parser);
1426+ SKIP(parser);
1427+ SKIP(parser);
1428+
1429+ end_mark = parser->mark;
1430+
1431+ /* Create the DOCUMENT-START or DOCUMENT-END token. */
1432+
1433+ TOKEN_INIT(token, type, start_mark, end_mark);
1434+
1435+ /* Append the token to the queue. */
1436+
1437+ if (!ENQUEUE(parser, parser->tokens, token))
1438+ return 0;
1439+
1440+ return 1;
1441+}
1442+
1443+/*
1444+ * Produce the FLOW-SEQUENCE-START or FLOW-MAPPING-START token.
1445+ */
1446+
1447+static int
1448+yaml_parser_fetch_flow_collection_start(yaml_parser_t *parser,
1449+ yaml_token_type_t type)
1450+{
1451+ yaml_mark_t start_mark, end_mark;
1452+ yaml_token_t token;
1453+
1454+ /* The indicators '[' and '{' may start a simple key. */
1455+
1456+ if (!yaml_parser_save_simple_key(parser))
1457+ return 0;
1458+
1459+ /* Increase the flow level. */
1460+
1461+ if (!yaml_parser_increase_flow_level(parser))
1462+ return 0;
1463+
1464+ /* A simple key may follow the indicators '[' and '{'. */
1465+
1466+ parser->simple_key_allowed = 1;
1467+
1468+ /* Consume the token. */
1469+
1470+ start_mark = parser->mark;
1471+ SKIP(parser);
1472+ end_mark = parser->mark;
1473+
1474+ /* Create the FLOW-SEQUENCE-START of FLOW-MAPPING-START token. */
1475+
1476+ TOKEN_INIT(token, type, start_mark, end_mark);
1477+
1478+ /* Append the token to the queue. */
1479+
1480+ if (!ENQUEUE(parser, parser->tokens, token))
1481+ return 0;
1482+
1483+ return 1;
1484+}
1485+
1486+/*
1487+ * Produce the FLOW-SEQUENCE-END or FLOW-MAPPING-END token.
1488+ */
1489+
1490+static int
1491+yaml_parser_fetch_flow_collection_end(yaml_parser_t *parser,
1492+ yaml_token_type_t type)
1493+{
1494+ yaml_mark_t start_mark, end_mark;
1495+ yaml_token_t token;
1496+
1497+ /* Reset any potential simple key on the current flow level. */
1498+
1499+ if (!yaml_parser_remove_simple_key(parser))
1500+ return 0;
1501+
1502+ /* Decrease the flow level. */
1503+
1504+ if (!yaml_parser_decrease_flow_level(parser))
1505+ return 0;
1506+
1507+ /* No simple keys after the indicators ']' and '}'. */
1508+
1509+ parser->simple_key_allowed = 0;
1510+
1511+ /* Consume the token. */
1512+
1513+ start_mark = parser->mark;
1514+ SKIP(parser);
1515+ end_mark = parser->mark;
1516+
1517+ /* Create the FLOW-SEQUENCE-END of FLOW-MAPPING-END token. */
1518+
1519+ TOKEN_INIT(token, type, start_mark, end_mark);
1520+
1521+ /* Append the token to the queue. */
1522+
1523+ if (!ENQUEUE(parser, parser->tokens, token))
1524+ return 0;
1525+
1526+ return 1;
1527+}
1528+
1529+/*
1530+ * Produce the FLOW-ENTRY token.
1531+ */
1532+
1533+static int
1534+yaml_parser_fetch_flow_entry(yaml_parser_t *parser)
1535+{
1536+ yaml_mark_t start_mark, end_mark;
1537+ yaml_token_t token;
1538+
1539+ /* Reset any potential simple keys on the current flow level. */
1540+
1541+ if (!yaml_parser_remove_simple_key(parser))
1542+ return 0;
1543+
1544+ /* Simple keys are allowed after ','. */
1545+
1546+ parser->simple_key_allowed = 1;
1547+
1548+ /* Consume the token. */
1549+
1550+ start_mark = parser->mark;
1551+ SKIP(parser);
1552+ end_mark = parser->mark;
1553+
1554+ /* Create the FLOW-ENTRY token and append it to the queue. */
1555+
1556+ TOKEN_INIT(token, YAML_FLOW_ENTRY_TOKEN, start_mark, end_mark);
1557+
1558+ if (!ENQUEUE(parser, parser->tokens, token))
1559+ return 0;
1560+
1561+ return 1;
1562+}
1563+
1564+/*
1565+ * Produce the BLOCK-ENTRY token.
1566+ */
1567+
1568+static int
1569+yaml_parser_fetch_block_entry(yaml_parser_t *parser)
1570+{
1571+ yaml_mark_t start_mark, end_mark;
1572+ yaml_token_t token;
1573+
1574+ /* Check if the scanner is in the block context. */
1575+
1576+ if (!parser->flow_level)
1577+ {
1578+ /* Check if we are allowed to start a new entry. */
1579+
1580+ if (!parser->simple_key_allowed) {
1581+ return yaml_parser_set_scanner_error(parser, NULL, parser->mark,
1582+ "block sequence entries are not allowed in this context");
1583+ }
1584+
1585+ /* Add the BLOCK-SEQUENCE-START token if needed. */
1586+
1587+ if (!yaml_parser_roll_indent(parser, parser->mark.column, -1,
1588+ YAML_BLOCK_SEQUENCE_START_TOKEN, parser->mark))
1589+ return 0;
1590+ }
1591+ else
1592+ {
1593+ /*
1594+ * It is an error for the '-' indicator to occur in the flow context,
1595+ * but we let the Parser detect and report about it because the Parser
1596+ * is able to point to the context.
1597+ */
1598+ }
1599+
1600+ /* Reset any potential simple keys on the current flow level. */
1601+
1602+ if (!yaml_parser_remove_simple_key(parser))
1603+ return 0;
1604+
1605+ /* Simple keys are allowed after '-'. */
1606+
1607+ parser->simple_key_allowed = 1;
1608+
1609+ /* Consume the token. */
1610+
1611+ start_mark = parser->mark;
1612+ SKIP(parser);
1613+ end_mark = parser->mark;
1614+
1615+ /* Create the BLOCK-ENTRY token and append it to the queue. */
1616+
1617+ TOKEN_INIT(token, YAML_BLOCK_ENTRY_TOKEN, start_mark, end_mark);
1618+
1619+ if (!ENQUEUE(parser, parser->tokens, token))
1620+ return 0;
1621+
1622+ return 1;
1623+}
1624+
1625+/*
1626+ * Produce the KEY token.
1627+ */
1628+
1629+static int
1630+yaml_parser_fetch_key(yaml_parser_t *parser)
1631+{
1632+ yaml_mark_t start_mark, end_mark;
1633+ yaml_token_t token;
1634+
1635+ /* In the block context, additional checks are required. */
1636+
1637+ if (!parser->flow_level)
1638+ {
1639+ /* Check if we are allowed to start a new key (not necessary simple). */
1640+
1641+ if (!parser->simple_key_allowed) {
1642+ return yaml_parser_set_scanner_error(parser, NULL, parser->mark,
1643+ "mapping keys are not allowed in this context");
1644+ }
1645+
1646+ /* Add the BLOCK-MAPPING-START token if needed. */
1647+
1648+ if (!yaml_parser_roll_indent(parser, parser->mark.column, -1,
1649+ YAML_BLOCK_MAPPING_START_TOKEN, parser->mark))
1650+ return 0;
1651+ }
1652+
1653+ /* Reset any potential simple keys on the current flow level. */
1654+
1655+ if (!yaml_parser_remove_simple_key(parser))
1656+ return 0;
1657+
1658+ /* Simple keys are allowed after '?' in the block context. */
1659+
1660+ parser->simple_key_allowed = (!parser->flow_level);
1661+
1662+ /* Consume the token. */
1663+
1664+ start_mark = parser->mark;
1665+ SKIP(parser);
1666+ end_mark = parser->mark;
1667+
1668+ /* Create the KEY token and append it to the queue. */
1669+
1670+ TOKEN_INIT(token, YAML_KEY_TOKEN, start_mark, end_mark);
1671+
1672+ if (!ENQUEUE(parser, parser->tokens, token))
1673+ return 0;
1674+
1675+ return 1;
1676+}
1677+
1678+/*
1679+ * Produce the VALUE token.
1680+ */
1681+
1682+static int
1683+yaml_parser_fetch_value(yaml_parser_t *parser)
1684+{
1685+ yaml_mark_t start_mark, end_mark;
1686+ yaml_token_t token;
1687+ yaml_simple_key_t *simple_key = parser->simple_keys.top-1;
1688+
1689+ /* Have we found a simple key? */
1690+
1691+ if (simple_key->possible)
1692+ {
1693+
1694+ /* Create the KEY token and insert it into the queue. */
1695+
1696+ TOKEN_INIT(token, YAML_KEY_TOKEN, simple_key->mark, simple_key->mark);
1697+
1698+ if (!QUEUE_INSERT(parser, parser->tokens,
1699+ simple_key->token_number - parser->tokens_parsed, token))
1700+ return 0;
1701+
1702+ /* In the block context, we may need to add the BLOCK-MAPPING-START token. */
1703+
1704+ if (!yaml_parser_roll_indent(parser, simple_key->mark.column,
1705+ simple_key->token_number,
1706+ YAML_BLOCK_MAPPING_START_TOKEN, simple_key->mark))
1707+ return 0;
1708+
1709+ /* Remove the simple key. */
1710+
1711+ simple_key->possible = 0;
1712+
1713+ /* A simple key cannot follow another simple key. */
1714+
1715+ parser->simple_key_allowed = 0;
1716+ }
1717+ else
1718+ {
1719+ /* The ':' indicator follows a complex key. */
1720+
1721+ /* In the block context, extra checks are required. */
1722+
1723+ if (!parser->flow_level)
1724+ {
1725+ /* Check if we are allowed to start a complex value. */
1726+
1727+ if (!parser->simple_key_allowed) {
1728+ return yaml_parser_set_scanner_error(parser, NULL, parser->mark,
1729+ "mapping values are not allowed in this context");
1730+ }
1731+
1732+ /* Add the BLOCK-MAPPING-START token if needed. */
1733+
1734+ if (!yaml_parser_roll_indent(parser, parser->mark.column, -1,
1735+ YAML_BLOCK_MAPPING_START_TOKEN, parser->mark))
1736+ return 0;
1737+ }
1738+
1739+ /* Simple keys after ':' are allowed in the block context. */
1740+
1741+ parser->simple_key_allowed = (!parser->flow_level);
1742+ }
1743+
1744+ /* Consume the token. */
1745+
1746+ start_mark = parser->mark;
1747+ SKIP(parser);
1748+ end_mark = parser->mark;
1749+
1750+ /* Create the VALUE token and append it to the queue. */
1751+
1752+ TOKEN_INIT(token, YAML_VALUE_TOKEN, start_mark, end_mark);
1753+
1754+ if (!ENQUEUE(parser, parser->tokens, token))
1755+ return 0;
1756+
1757+ return 1;
1758+}
1759+
1760+/*
1761+ * Produce the ALIAS or ANCHOR token.
1762+ */
1763+
1764+static int
1765+yaml_parser_fetch_anchor(yaml_parser_t *parser, yaml_token_type_t type)
1766+{
1767+ yaml_token_t token;
1768+
1769+ /* An anchor or an alias could be a simple key. */
1770+
1771+ if (!yaml_parser_save_simple_key(parser))
1772+ return 0;
1773+
1774+ /* A simple key cannot follow an anchor or an alias. */
1775+
1776+ parser->simple_key_allowed = 0;
1777+
1778+ /* Create the ALIAS or ANCHOR token and append it to the queue. */
1779+
1780+ if (!yaml_parser_scan_anchor(parser, &token, type))
1781+ return 0;
1782+
1783+ if (!ENQUEUE(parser, parser->tokens, token)) {
1784+ yaml_token_delete(&token);
1785+ return 0;
1786+ }
1787+ return 1;
1788+}
1789+
1790+/*
1791+ * Produce the TAG token.
1792+ */
1793+
1794+static int
1795+yaml_parser_fetch_tag(yaml_parser_t *parser)
1796+{
1797+ yaml_token_t token;
1798+
1799+ /* A tag could be a simple key. */
1800+
1801+ if (!yaml_parser_save_simple_key(parser))
1802+ return 0;
1803+
1804+ /* A simple key cannot follow a tag. */
1805+
1806+ parser->simple_key_allowed = 0;
1807+
1808+ /* Create the TAG token and append it to the queue. */
1809+
1810+ if (!yaml_parser_scan_tag(parser, &token))
1811+ return 0;
1812+
1813+ if (!ENQUEUE(parser, parser->tokens, token)) {
1814+ yaml_token_delete(&token);
1815+ return 0;
1816+ }
1817+
1818+ return 1;
1819+}
1820+
1821+/*
1822+ * Produce the SCALAR(...,literal) or SCALAR(...,folded) tokens.
1823+ */
1824+
1825+static int
1826+yaml_parser_fetch_block_scalar(yaml_parser_t *parser, int literal)
1827+{
1828+ yaml_token_t token;
1829+
1830+ /* Remove any potential simple keys. */
1831+
1832+ if (!yaml_parser_remove_simple_key(parser))
1833+ return 0;
1834+
1835+ /* A simple key may follow a block scalar. */
1836+
1837+ parser->simple_key_allowed = 1;
1838+
1839+ /* Create the SCALAR token and append it to the queue. */
1840+
1841+ if (!yaml_parser_scan_block_scalar(parser, &token, literal))
1842+ return 0;
1843+
1844+ if (!ENQUEUE(parser, parser->tokens, token)) {
1845+ yaml_token_delete(&token);
1846+ return 0;
1847+ }
1848+
1849+ return 1;
1850+}
1851+
1852+/*
1853+ * Produce the SCALAR(...,single-quoted) or SCALAR(...,double-quoted) tokens.
1854+ */
1855+
1856+static int
1857+yaml_parser_fetch_flow_scalar(yaml_parser_t *parser, int single)
1858+{
1859+ yaml_token_t token;
1860+
1861+ /* A plain scalar could be a simple key. */
1862+
1863+ if (!yaml_parser_save_simple_key(parser))
1864+ return 0;
1865+
1866+ /* A simple key cannot follow a flow scalar. */
1867+
1868+ parser->simple_key_allowed = 0;
1869+
1870+ /* Create the SCALAR token and append it to the queue. */
1871+
1872+ if (!yaml_parser_scan_flow_scalar(parser, &token, single))
1873+ return 0;
1874+
1875+ if (!ENQUEUE(parser, parser->tokens, token)) {
1876+ yaml_token_delete(&token);
1877+ return 0;
1878+ }
1879+
1880+ return 1;
1881+}
1882+
1883+/*
1884+ * Produce the SCALAR(...,plain) token.
1885+ */
1886+
1887+static int
1888+yaml_parser_fetch_plain_scalar(yaml_parser_t *parser)
1889+{
1890+ yaml_token_t token;
1891+
1892+ /* A plain scalar could be a simple key. */
1893+
1894+ if (!yaml_parser_save_simple_key(parser))
1895+ return 0;
1896+
1897+ /* A simple key cannot follow a flow scalar. */
1898+
1899+ parser->simple_key_allowed = 0;
1900+
1901+ /* Create the SCALAR token and append it to the queue. */
1902+
1903+ if (!yaml_parser_scan_plain_scalar(parser, &token))
1904+ return 0;
1905+
1906+ if (!ENQUEUE(parser, parser->tokens, token)) {
1907+ yaml_token_delete(&token);
1908+ return 0;
1909+ }
1910+
1911+ return 1;
1912+}
1913+
1914+/*
1915+ * Eat whitespaces and comments until the next token is found.
1916+ */
1917+
1918+static int
1919+yaml_parser_scan_to_next_token(yaml_parser_t *parser)
1920+{
1921+ /* Until the next token is not found. */
1922+
1923+ while (1)
1924+ {
1925+ /* Allow the BOM mark to start a line. */
1926+
1927+ if (!CACHE(parser, 1)) return 0;
1928+
1929+ if (parser->mark.column == 0 && IS_BOM(parser->buffer))
1930+ SKIP(parser);
1931+
1932+ /*
1933+ * Eat whitespaces.
1934+ *
1935+ * Tabs are allowed:
1936+ *
1937+ * - in the flow context;
1938+ * - in the block context, but not at the beginning of the line or
1939+ * after '-', '?', or ':' (complex value).
1940+ */
1941+
1942+ if (!CACHE(parser, 1)) return 0;
1943+
1944+ while (CHECK(parser->buffer,' ') ||
1945+ ((parser->flow_level || !parser->simple_key_allowed) &&
1946+ CHECK(parser->buffer, '\t'))) {
1947+ SKIP(parser);
1948+ if (!CACHE(parser, 1)) return 0;
1949+ }
1950+
1951+ /* Eat a comment until a line break. */
1952+
1953+ if (CHECK(parser->buffer, '#')) {
1954+ while (!IS_BREAKZ(parser->buffer)) {
1955+ SKIP(parser);
1956+ if (!CACHE(parser, 1)) return 0;
1957+ }
1958+ }
1959+
1960+ /* If it is a line break, eat it. */
1961+
1962+ if (IS_BREAK(parser->buffer))
1963+ {
1964+ if (!CACHE(parser, 2)) return 0;
1965+ SKIP_LINE(parser);
1966+
1967+ /* In the block context, a new line may start a simple key. */
1968+
1969+ if (!parser->flow_level) {
1970+ parser->simple_key_allowed = 1;
1971+ }
1972+ }
1973+ else
1974+ {
1975+ /* We have found a token. */
1976+
1977+ break;
1978+ }
1979+ }
1980+
1981+ return 1;
1982+}
1983+
1984+/*
1985+ * Scan a YAML-DIRECTIVE or TAG-DIRECTIVE token.
1986+ *
1987+ * Scope:
1988+ * %YAML 1.1 # a comment \n
1989+ * ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
1990+ * %TAG !yaml! tag:yaml.org,2002: \n
1991+ * ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
1992+ */
1993+
1994+int
1995+yaml_parser_scan_directive(yaml_parser_t *parser, yaml_token_t *token)
1996+{
1997+ yaml_mark_t start_mark, end_mark;
1998+ yaml_char_t *name = NULL;
1999+ int major, minor;
2000+ yaml_char_t *handle = NULL, *prefix = NULL;
2001+
2002+ /* Eat '%'. */
2003+
2004+ start_mark = parser->mark;
2005+
2006+ SKIP(parser);
2007+
2008+ /* Scan the directive name. */
2009+
2010+ if (!yaml_parser_scan_directive_name(parser, start_mark, &name))
2011+ goto error;
2012+
2013+ /* Is it a YAML directive? */
2014+
2015+ if (strcmp((char *)name, "YAML") == 0)
2016+ {
2017+ /* Scan the VERSION directive value. */
2018+
2019+ if (!yaml_parser_scan_version_directive_value(parser, start_mark,
2020+ &major, &minor))
2021+ goto error;
2022+
2023+ end_mark = parser->mark;
2024+
2025+ /* Create a VERSION-DIRECTIVE token. */
2026+
2027+ VERSION_DIRECTIVE_TOKEN_INIT(*token, major, minor,
2028+ start_mark, end_mark);
2029+ }
2030+
2031+ /* Is it a TAG directive? */
2032+
2033+ else if (strcmp((char *)name, "TAG") == 0)
2034+ {
2035+ /* Scan the TAG directive value. */
2036+
2037+ if (!yaml_parser_scan_tag_directive_value(parser, start_mark,
2038+ &handle, &prefix))
2039+ goto error;
2040+
2041+ end_mark = parser->mark;
2042+
2043+ /* Create a TAG-DIRECTIVE token. */
2044+
2045+ TAG_DIRECTIVE_TOKEN_INIT(*token, handle, prefix,
2046+ start_mark, end_mark);
2047+ }
2048+
2049+ /* Unknown directive. */
2050+
2051+ else
2052+ {
2053+ yaml_parser_set_scanner_error(parser, "while scanning a directive",
2054+ start_mark, "found unknown directive name");
2055+ goto error;
2056+ }
2057+
2058+ /* Eat the rest of the line including any comments. */
2059+
2060+ if (!CACHE(parser, 1)) goto error;
2061+
2062+ while (IS_BLANK(parser->buffer)) {
2063+ SKIP(parser);
2064+ if (!CACHE(parser, 1)) goto error;
2065+ }
2066+
2067+ if (CHECK(parser->buffer, '#')) {
2068+ while (!IS_BREAKZ(parser->buffer)) {
2069+ SKIP(parser);
2070+ if (!CACHE(parser, 1)) goto error;
2071+ }
2072+ }
2073+
2074+ /* Check if we are at the end of the line. */
2075+
2076+ if (!IS_BREAKZ(parser->buffer)) {
2077+ yaml_parser_set_scanner_error(parser, "while scanning a directive",
2078+ start_mark, "did not find expected comment or line break");
2079+ goto error;
2080+ }
2081+
2082+ /* Eat a line break. */
2083+
2084+ if (IS_BREAK(parser->buffer)) {
2085+ if (!CACHE(parser, 2)) goto error;
2086+ SKIP_LINE(parser);
2087+ }
2088+
2089+ yaml_free(name);
2090+
2091+ return 1;
2092+
2093+error:
2094+ yaml_free(prefix);
2095+ yaml_free(handle);
2096+ yaml_free(name);
2097+ return 0;
2098+}
2099+
2100+/*
2101+ * Scan the directive name.
2102+ *
2103+ * Scope:
2104+ * %YAML 1.1 # a comment \n
2105+ * ^^^^
2106+ * %TAG !yaml! tag:yaml.org,2002: \n
2107+ * ^^^
2108+ */
2109+
2110+static int
2111+yaml_parser_scan_directive_name(yaml_parser_t *parser,
2112+ yaml_mark_t start_mark, yaml_char_t **name)
2113+{
2114+ yaml_string_t string = NULL_STRING;
2115+
2116+ if (!STRING_INIT(parser, string, INITIAL_STRING_SIZE)) goto error;
2117+
2118+ /* Consume the directive name. */
2119+
2120+ if (!CACHE(parser, 1)) goto error;
2121+
2122+ while (IS_ALPHA(parser->buffer))
2123+ {
2124+ if (!READ(parser, string)) goto error;
2125+ if (!CACHE(parser, 1)) goto error;
2126+ }
2127+
2128+ /* Check if the name is empty. */
2129+
2130+ if (string.start == string.pointer) {
2131+ yaml_parser_set_scanner_error(parser, "while scanning a directive",
2132+ start_mark, "could not find expected directive name");
2133+ goto error;
2134+ }
2135+
2136+ /* Check for an blank character after the name. */
2137+
2138+ if (!IS_BLANKZ(parser->buffer)) {
2139+ yaml_parser_set_scanner_error(parser, "while scanning a directive",
2140+ start_mark, "found unexpected non-alphabetical character");
2141+ goto error;
2142+ }
2143+
2144+ *name = string.start;
2145+
2146+ return 1;
2147+
2148+error:
2149+ STRING_DEL(parser, string);
2150+ return 0;
2151+}
2152+
2153+/*
2154+ * Scan the value of VERSION-DIRECTIVE.
2155+ *
2156+ * Scope:
2157+ * %YAML 1.1 # a comment \n
2158+ * ^^^^^^
2159+ */
2160+
2161+static int
2162+yaml_parser_scan_version_directive_value(yaml_parser_t *parser,
2163+ yaml_mark_t start_mark, int *major, int *minor)
2164+{
2165+ /* Eat whitespaces. */
2166+
2167+ if (!CACHE(parser, 1)) return 0;
2168+
2169+ while (IS_BLANK(parser->buffer)) {
2170+ SKIP(parser);
2171+ if (!CACHE(parser, 1)) return 0;
2172+ }
2173+
2174+ /* Consume the major version number. */
2175+
2176+ if (!yaml_parser_scan_version_directive_number(parser, start_mark, major))
2177+ return 0;
2178+
2179+ /* Eat '.'. */
2180+
2181+ if (!CHECK(parser->buffer, '.')) {
2182+ return yaml_parser_set_scanner_error(parser, "while scanning a %YAML directive",
2183+ start_mark, "did not find expected digit or '.' character");
2184+ }
2185+
2186+ SKIP(parser);
2187+
2188+ /* Consume the minor version number. */
2189+
2190+ if (!yaml_parser_scan_version_directive_number(parser, start_mark, minor))
2191+ return 0;
2192+
2193+ return 1;
2194+}
2195+
2196+#define MAX_NUMBER_LENGTH 9
2197+
2198+/*
2199+ * Scan the version number of VERSION-DIRECTIVE.
2200+ *
2201+ * Scope:
2202+ * %YAML 1.1 # a comment \n
2203+ * ^
2204+ * %YAML 1.1 # a comment \n
2205+ * ^
2206+ */
2207+
2208+static int
2209+yaml_parser_scan_version_directive_number(yaml_parser_t *parser,
2210+ yaml_mark_t start_mark, int *number)
2211+{
2212+ int value = 0;
2213+ size_t length = 0;
2214+
2215+ /* Repeat while the next character is digit. */
2216+
2217+ if (!CACHE(parser, 1)) return 0;
2218+
2219+ while (IS_DIGIT(parser->buffer))
2220+ {
2221+ /* Check if the number is too long. */
2222+
2223+ if (++length > MAX_NUMBER_LENGTH) {
2224+ return yaml_parser_set_scanner_error(parser, "while scanning a %YAML directive",
2225+ start_mark, "found extremely long version number");
2226+ }
2227+
2228+ value = value*10 + AS_DIGIT(parser->buffer);
2229+
2230+ SKIP(parser);
2231+
2232+ if (!CACHE(parser, 1)) return 0;
2233+ }
2234+
2235+ /* Check if the number was present. */
2236+
2237+ if (!length) {
2238+ return yaml_parser_set_scanner_error(parser, "while scanning a %YAML directive",
2239+ start_mark, "did not find expected version number");
2240+ }
2241+
2242+ *number = value;
2243+
2244+ return 1;
2245+}
2246+
2247+/*
2248+ * Scan the value of a TAG-DIRECTIVE token.
2249+ *
2250+ * Scope:
2251+ * %TAG !yaml! tag:yaml.org,2002: \n
2252+ * ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
2253+ */
2254+
2255+static int
2256+yaml_parser_scan_tag_directive_value(yaml_parser_t *parser,
2257+ yaml_mark_t start_mark, yaml_char_t **handle, yaml_char_t **prefix)
2258+{
2259+ yaml_char_t *handle_value = NULL;
2260+ yaml_char_t *prefix_value = NULL;
2261+
2262+ /* Eat whitespaces. */
2263+
2264+ if (!CACHE(parser, 1)) goto error;
2265+
2266+ while (IS_BLANK(parser->buffer)) {
2267+ SKIP(parser);
2268+ if (!CACHE(parser, 1)) goto error;
2269+ }
2270+
2271+ /* Scan a handle. */
2272+
2273+ if (!yaml_parser_scan_tag_handle(parser, 1, start_mark, &handle_value))
2274+ goto error;
2275+
2276+ /* Expect a whitespace. */
2277+
2278+ if (!CACHE(parser, 1)) goto error;
2279+
2280+ if (!IS_BLANK(parser->buffer)) {
2281+ yaml_parser_set_scanner_error(parser, "while scanning a %TAG directive",
2282+ start_mark, "did not find expected whitespace");
2283+ goto error;
2284+ }
2285+
2286+ /* Eat whitespaces. */
2287+
2288+ while (IS_BLANK(parser->buffer)) {
2289+ SKIP(parser);
2290+ if (!CACHE(parser, 1)) goto error;
2291+ }
2292+
2293+ /* Scan a prefix. */
2294+
2295+ if (!yaml_parser_scan_tag_uri(parser, 1, NULL, start_mark, &prefix_value))
2296+ goto error;
2297+
2298+ /* Expect a whitespace or line break. */
2299+
2300+ if (!CACHE(parser, 1)) goto error;
2301+
2302+ if (!IS_BLANKZ(parser->buffer)) {
2303+ yaml_parser_set_scanner_error(parser, "while scanning a %TAG directive",
2304+ start_mark, "did not find expected whitespace or line break");
2305+ goto error;
2306+ }
2307+
2308+ *handle = handle_value;
2309+ *prefix = prefix_value;
2310+
2311+ return 1;
2312+
2313+error:
2314+ yaml_free(handle_value);
2315+ yaml_free(prefix_value);
2316+ return 0;
2317+}
2318+
2319+static int
2320+yaml_parser_scan_anchor(yaml_parser_t *parser, yaml_token_t *token,
2321+ yaml_token_type_t type)
2322+{
2323+ int length = 0;
2324+ yaml_mark_t start_mark, end_mark;
2325+ yaml_string_t string = NULL_STRING;
2326+
2327+ if (!STRING_INIT(parser, string, INITIAL_STRING_SIZE)) goto error;
2328+
2329+ /* Eat the indicator character. */
2330+
2331+ start_mark = parser->mark;
2332+
2333+ SKIP(parser);
2334+
2335+ /* Consume the value. */
2336+
2337+ if (!CACHE(parser, 1)) goto error;
2338+
2339+ while (IS_ALPHA(parser->buffer)) {
2340+ if (!READ(parser, string)) goto error;
2341+ if (!CACHE(parser, 1)) goto error;
2342+ length ++;
2343+ }
2344+
2345+ end_mark = parser->mark;
2346+
2347+ /*
2348+ * Check if length of the anchor is greater than 0 and it is followed by
2349+ * a whitespace character or one of the indicators:
2350+ *
2351+ * '?', ':', ',', ']', '}', '%', '@', '`'.
2352+ */
2353+
2354+ if (!length || !(IS_BLANKZ(parser->buffer) || CHECK(parser->buffer, '?')
2355+ || CHECK(parser->buffer, ':') || CHECK(parser->buffer, ',')
2356+ || CHECK(parser->buffer, ']') || CHECK(parser->buffer, '}')
2357+ || CHECK(parser->buffer, '%') || CHECK(parser->buffer, '@')
2358+ || CHECK(parser->buffer, '`'))) {
2359+ yaml_parser_set_scanner_error(parser, type == YAML_ANCHOR_TOKEN ?
2360+ "while scanning an anchor" : "while scanning an alias", start_mark,
2361+ "did not find expected alphabetic or numeric character");
2362+ goto error;
2363+ }
2364+
2365+ /* Create a token. */
2366+
2367+ if (type == YAML_ANCHOR_TOKEN) {
2368+ ANCHOR_TOKEN_INIT(*token, string.start, start_mark, end_mark);
2369+ }
2370+ else {
2371+ ALIAS_TOKEN_INIT(*token, string.start, start_mark, end_mark);
2372+ }
2373+
2374+ return 1;
2375+
2376+error:
2377+ STRING_DEL(parser, string);
2378+ return 0;
2379+}
2380+
2381+/*
2382+ * Scan a TAG token.
2383+ */
2384+
2385+static int
2386+yaml_parser_scan_tag(yaml_parser_t *parser, yaml_token_t *token)
2387+{
2388+ yaml_char_t *handle = NULL;
2389+ yaml_char_t *suffix = NULL;
2390+ yaml_mark_t start_mark, end_mark;
2391+
2392+ start_mark = parser->mark;
2393+
2394+ /* Check if the tag is in the canonical form. */
2395+
2396+ if (!CACHE(parser, 2)) goto error;
2397+
2398+ if (CHECK_AT(parser->buffer, '<', 1))
2399+ {
2400+ /* Set the handle to '' */
2401+
2402+ handle = YAML_MALLOC(1);
2403+ if (!handle) goto error;
2404+ handle[0] = '\0';
2405+
2406+ /* Eat '!<' */
2407+
2408+ SKIP(parser);
2409+ SKIP(parser);
2410+
2411+ /* Consume the tag value. */
2412+
2413+ if (!yaml_parser_scan_tag_uri(parser, 0, NULL, start_mark, &suffix))
2414+ goto error;
2415+
2416+ /* Check for '>' and eat it. */
2417+
2418+ if (!CHECK(parser->buffer, '>')) {
2419+ yaml_parser_set_scanner_error(parser, "while scanning a tag",
2420+ start_mark, "did not find the expected '>'");
2421+ goto error;
2422+ }
2423+
2424+ SKIP(parser);
2425+ }
2426+ else
2427+ {
2428+ /* The tag has either the '!suffix' or the '!handle!suffix' form. */
2429+
2430+ /* First, try to scan a handle. */
2431+
2432+ if (!yaml_parser_scan_tag_handle(parser, 0, start_mark, &handle))
2433+ goto error;
2434+
2435+ /* Check if it is, indeed, handle. */
2436+
2437+ if (handle[0] == '!' && handle[1] != '\0' && handle[strlen((char *)handle)-1] == '!')
2438+ {
2439+ /* Scan the suffix now. */
2440+
2441+ if (!yaml_parser_scan_tag_uri(parser, 0, NULL, start_mark, &suffix))
2442+ goto error;
2443+ }
2444+ else
2445+ {
2446+ /* It wasn't a handle after all. Scan the rest of the tag. */
2447+
2448+ if (!yaml_parser_scan_tag_uri(parser, 0, handle, start_mark, &suffix))
2449+ goto error;
2450+
2451+ /* Set the handle to '!'. */
2452+
2453+ yaml_free(handle);
2454+ handle = YAML_MALLOC(2);
2455+ if (!handle) goto error;
2456+ handle[0] = '!';
2457+ handle[1] = '\0';
2458+
2459+ /*
2460+ * A special case: the '!' tag. Set the handle to '' and the
2461+ * suffix to '!'.
2462+ */
2463+
2464+ if (suffix[0] == '\0') {
2465+ yaml_char_t *tmp = handle;
2466+ handle = suffix;
2467+ suffix = tmp;
2468+ }
2469+ }
2470+ }
2471+
2472+ /* Check the character which ends the tag. */
2473+
2474+ if (!CACHE(parser, 1)) goto error;
2475+
2476+ if (!IS_BLANKZ(parser->buffer)) {
2477+ yaml_parser_set_scanner_error(parser, "while scanning a tag",
2478+ start_mark, "did not find expected whitespace or line break");
2479+ goto error;
2480+ }
2481+
2482+ end_mark = parser->mark;
2483+
2484+ /* Create a token. */
2485+
2486+ TAG_TOKEN_INIT(*token, handle, suffix, start_mark, end_mark);
2487+
2488+ return 1;
2489+
2490+error:
2491+ yaml_free(handle);
2492+ yaml_free(suffix);
2493+ return 0;
2494+}
2495+
2496+/*
2497+ * Scan a tag handle.
2498+ */
2499+
2500+static int
2501+yaml_parser_scan_tag_handle(yaml_parser_t *parser, int directive,
2502+ yaml_mark_t start_mark, yaml_char_t **handle)
2503+{
2504+ yaml_string_t string = NULL_STRING;
2505+
2506+ if (!STRING_INIT(parser, string, INITIAL_STRING_SIZE)) goto error;
2507+
2508+ /* Check the initial '!' character. */
2509+
2510+ if (!CACHE(parser, 1)) goto error;
2511+
2512+ if (!CHECK(parser->buffer, '!')) {
2513+ yaml_parser_set_scanner_error(parser, directive ?
2514+ "while scanning a tag directive" : "while scanning a tag",
2515+ start_mark, "did not find expected '!'");
2516+ goto error;
2517+ }
2518+
2519+ /* Copy the '!' character. */
2520+
2521+ if (!READ(parser, string)) goto error;
2522+
2523+ /* Copy all subsequent alphabetical and numerical characters. */
2524+
2525+ if (!CACHE(parser, 1)) goto error;
2526+
2527+ while (IS_ALPHA(parser->buffer))
2528+ {
2529+ if (!READ(parser, string)) goto error;
2530+ if (!CACHE(parser, 1)) goto error;
2531+ }
2532+
2533+ /* Check if the trailing character is '!' and copy it. */
2534+
2535+ if (CHECK(parser->buffer, '!'))
2536+ {
2537+ if (!READ(parser, string)) goto error;
2538+ }
2539+ else
2540+ {
2541+ /*
2542+ * It's either the '!' tag or not really a tag handle. If it's a %TAG
2543+ * directive, it's an error. If it's a tag token, it must be a part of
2544+ * URI.
2545+ */
2546+
2547+ if (directive && !(string.start[0] == '!' && string.start[1] == '\0')) {
2548+ yaml_parser_set_scanner_error(parser, "while parsing a tag directive",
2549+ start_mark, "did not find expected '!'");
2550+ goto error;
2551+ }
2552+ }
2553+
2554+ *handle = string.start;
2555+
2556+ return 1;
2557+
2558+error:
2559+ STRING_DEL(parser, string);
2560+ return 0;
2561+}
2562+
2563+/*
2564+ * Scan a tag.
2565+ */
2566+
2567+static int
2568+yaml_parser_scan_tag_uri(yaml_parser_t *parser, int directive,
2569+ yaml_char_t *head, yaml_mark_t start_mark, yaml_char_t **uri)
2570+{
2571+ size_t length = head ? strlen((char *)head) : 0;
2572+ yaml_string_t string = NULL_STRING;
2573+
2574+ if (!STRING_INIT(parser, string, INITIAL_STRING_SIZE)) goto error;
2575+
2576+ /* Resize the string to include the head. */
2577+
2578+ while ((size_t)(string.end - string.start) <= length) {
2579+ if (!yaml_string_extend(&string.start, &string.pointer, &string.end)) {
2580+ parser->error = YAML_MEMORY_ERROR;
2581+ goto error;
2582+ }
2583+ }
2584+
2585+ /*
2586+ * Copy the head if needed.
2587+ *
2588+ * Note that we don't copy the leading '!' character.
2589+ */
2590+
2591+ if (length > 1) {
2592+ memcpy(string.start, head+1, length-1);
2593+ string.pointer += length-1;
2594+ }
2595+
2596+ /* Scan the tag. */
2597+
2598+ if (!CACHE(parser, 1)) goto error;
2599+
2600+ /*
2601+ * The set of characters that may appear in URI is as follows:
2602+ *
2603+ * '0'-'9', 'A'-'Z', 'a'-'z', '_', '-', ';', '/', '?', ':', '@', '&',
2604+ * '=', '+', '$', ',', '.', '!', '~', '*', '\'', '(', ')', '[', ']',
2605+ * '%'.
2606+ */
2607+
2608+ while (IS_ALPHA(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, '[') || CHECK(parser->buffer, ']')
2618+ || CHECK(parser->buffer, '%'))
2619+ {
2620+ /* Check if it is a URI-escape sequence. */
2621+
2622+ if (CHECK(parser->buffer, '%')) {
2623+ if (!STRING_EXTEND(parser, string))
2624+ goto error;
2625+
2626+ if (!yaml_parser_scan_uri_escapes(parser,
2627+ directive, start_mark, &string)) goto error;
2628+ }
2629+ else {
2630+ if (!READ(parser, string)) goto error;
2631+ }
2632+
2633+ length ++;
2634+ if (!CACHE(parser, 1)) goto error;
2635+ }
2636+
2637+ /* Check if the tag is non-empty. */
2638+
2639+ if (!length) {
2640+ if (!STRING_EXTEND(parser, string))
2641+ goto error;
2642+
2643+ yaml_parser_set_scanner_error(parser, directive ?
2644+ "while parsing a %TAG directive" : "while parsing a tag",
2645+ start_mark, "did not find expected tag URI");
2646+ goto error;
2647+ }
2648+
2649+ *uri = string.start;
2650+
2651+ return 1;
2652+
2653+error:
2654+ STRING_DEL(parser, string);
2655+ return 0;
2656+}
2657+
2658+/*
2659+ * Decode an URI-escape sequence corresponding to a single UTF-8 character.
2660+ */
2661+
2662+static int
2663+yaml_parser_scan_uri_escapes(yaml_parser_t *parser, int directive,
2664+ yaml_mark_t start_mark, yaml_string_t *string)
2665+{
2666+ int width = 0;
2667+
2668+ /* Decode the required number of characters. */
2669+
2670+ do {
2671+
2672+ unsigned char octet = 0;
2673+
2674+ /* Check for a URI-escaped octet. */
2675+
2676+ if (!CACHE(parser, 3)) return 0;
2677+
2678+ if (!(CHECK(parser->buffer, '%')
2679+ && IS_HEX_AT(parser->buffer, 1)
2680+ && IS_HEX_AT(parser->buffer, 2))) {
2681+ return yaml_parser_set_scanner_error(parser, directive ?
2682+ "while parsing a %TAG directive" : "while parsing a tag",
2683+ start_mark, "did not find URI escaped octet");
2684+ }
2685+
2686+ /* Get the octet. */
2687+
2688+ octet = (AS_HEX_AT(parser->buffer, 1) << 4) + AS_HEX_AT(parser->buffer, 2);
2689+
2690+ /* If it is the leading octet, determine the length of the UTF-8 sequence. */
2691+
2692+ if (!width)
2693+ {
2694+ width = (octet & 0x80) == 0x00 ? 1 :
2695+ (octet & 0xE0) == 0xC0 ? 2 :
2696+ (octet & 0xF0) == 0xE0 ? 3 :
2697+ (octet & 0xF8) == 0xF0 ? 4 : 0;
2698+ if (!width) {
2699+ return yaml_parser_set_scanner_error(parser, directive ?
2700+ "while parsing a %TAG directive" : "while parsing a tag",
2701+ start_mark, "found an incorrect leading UTF-8 octet");
2702+ }
2703+ }
2704+ else
2705+ {
2706+ /* Check if the trailing octet is correct. */
2707+
2708+ if ((octet & 0xC0) != 0x80) {
2709+ return yaml_parser_set_scanner_error(parser, directive ?
2710+ "while parsing a %TAG directive" : "while parsing a tag",
2711+ start_mark, "found an incorrect trailing UTF-8 octet");
2712+ }
2713+ }
2714+
2715+ /* Copy the octet and move the pointers. */
2716+
2717+ *(string->pointer++) = octet;
2718+ SKIP(parser);
2719+ SKIP(parser);
2720+ SKIP(parser);
2721+
2722+ } while (--width);
2723+
2724+ return 1;
2725+}
2726+
2727+/*
2728+ * Scan a block scalar.
2729+ */
2730+
2731+static int
2732+yaml_parser_scan_block_scalar(yaml_parser_t *parser, yaml_token_t *token,
2733+ int literal)
2734+{
2735+ yaml_mark_t start_mark;
2736+ yaml_mark_t end_mark;
2737+ yaml_string_t string = NULL_STRING;
2738+ yaml_string_t leading_break = NULL_STRING;
2739+ yaml_string_t trailing_breaks = NULL_STRING;
2740+ int chomping = 0;
2741+ int increment = 0;
2742+ int indent = 0;
2743+ int leading_blank = 0;
2744+ int trailing_blank = 0;
2745+
2746+ if (!STRING_INIT(parser, string, INITIAL_STRING_SIZE)) goto error;
2747+ if (!STRING_INIT(parser, leading_break, INITIAL_STRING_SIZE)) goto error;
2748+ if (!STRING_INIT(parser, trailing_breaks, INITIAL_STRING_SIZE)) goto error;
2749+
2750+ /* Eat the indicator '|' or '>'. */
2751+
2752+ start_mark = parser->mark;
2753+
2754+ SKIP(parser);
2755+
2756+ /* Scan the additional block scalar indicators. */
2757+
2758+ if (!CACHE(parser, 1)) goto error;
2759+
2760+ /* Check for a chomping indicator. */
2761+
2762+ if (CHECK(parser->buffer, '+') || CHECK(parser->buffer, '-'))
2763+ {
2764+ /* Set the chomping method and eat the indicator. */
2765+
2766+ chomping = CHECK(parser->buffer, '+') ? +1 : -1;
2767+
2768+ SKIP(parser);
2769+
2770+ /* Check for an indentation indicator. */
2771+
2772+ if (!CACHE(parser, 1)) goto error;
2773+
2774+ if (IS_DIGIT(parser->buffer))
2775+ {
2776+ /* Check that the indentation is greater than 0. */
2777+
2778+ if (CHECK(parser->buffer, '0')) {
2779+ yaml_parser_set_scanner_error(parser, "while scanning a block scalar",
2780+ start_mark, "found an indentation indicator equal to 0");
2781+ goto error;
2782+ }
2783+
2784+ /* Get the indentation level and eat the indicator. */
2785+
2786+ increment = AS_DIGIT(parser->buffer);
2787+
2788+ SKIP(parser);
2789+ }
2790+ }
2791+
2792+ /* Do the same as above, but in the opposite order. */
2793+
2794+ else if (IS_DIGIT(parser->buffer))
2795+ {
2796+ if (CHECK(parser->buffer, '0')) {
2797+ yaml_parser_set_scanner_error(parser, "while scanning a block scalar",
2798+ start_mark, "found an indentation indicator equal to 0");
2799+ goto error;
2800+ }
2801+
2802+ increment = AS_DIGIT(parser->buffer);
2803+
2804+ SKIP(parser);
2805+
2806+ if (!CACHE(parser, 1)) goto error;
2807+
2808+ if (CHECK(parser->buffer, '+') || CHECK(parser->buffer, '-')) {
2809+ chomping = CHECK(parser->buffer, '+') ? +1 : -1;
2810+
2811+ SKIP(parser);
2812+ }
2813+ }
2814+
2815+ /* Eat whitespaces and comments to the end of the line. */
2816+
2817+ if (!CACHE(parser, 1)) goto error;
2818+
2819+ while (IS_BLANK(parser->buffer)) {
2820+ SKIP(parser);
2821+ if (!CACHE(parser, 1)) goto error;
2822+ }
2823+
2824+ if (CHECK(parser->buffer, '#')) {
2825+ while (!IS_BREAKZ(parser->buffer)) {
2826+ SKIP(parser);
2827+ if (!CACHE(parser, 1)) goto error;
2828+ }
2829+ }
2830+
2831+ /* Check if we are at the end of the line. */
2832+
2833+ if (!IS_BREAKZ(parser->buffer)) {
2834+ yaml_parser_set_scanner_error(parser, "while scanning a block scalar",
2835+ start_mark, "did not find expected comment or line break");
2836+ goto error;
2837+ }
2838+
2839+ /* Eat a line break. */
2840+
2841+ if (IS_BREAK(parser->buffer)) {
2842+ if (!CACHE(parser, 2)) goto error;
2843+ SKIP_LINE(parser);
2844+ }
2845+
2846+ end_mark = parser->mark;
2847+
2848+ /* Set the indentation level if it was specified. */
2849+
2850+ if (increment) {
2851+ indent = parser->indent >= 0 ? parser->indent+increment : increment;
2852+ }
2853+
2854+ /* Scan the leading line breaks and determine the indentation level if needed. */
2855+
2856+ if (!yaml_parser_scan_block_scalar_breaks(parser, &indent, &trailing_breaks,
2857+ start_mark, &end_mark)) goto error;
2858+
2859+ /* Scan the block scalar content. */
2860+
2861+ if (!CACHE(parser, 1)) goto error;
2862+
2863+ while ((int)parser->mark.column == indent && !(IS_Z(parser->buffer)))
2864+ {
2865+ /*
2866+ * We are at the beginning of a non-empty line.
2867+ */
2868+
2869+ /* Is it a trailing whitespace? */
2870+
2871+ trailing_blank = IS_BLANK(parser->buffer);
2872+
2873+ /* Check if we need to fold the leading line break. */
2874+
2875+ if (!literal && (*leading_break.start == '\n')
2876+ && !leading_blank && !trailing_blank)
2877+ {
2878+ /* Do we need to join the lines by space? */
2879+
2880+ if (*trailing_breaks.start == '\0') {
2881+ if (!STRING_EXTEND(parser, string)) goto error;
2882+ *(string.pointer ++) = ' ';
2883+ }
2884+
2885+ CLEAR(parser, leading_break);
2886+ }
2887+ else {
2888+ if (!JOIN(parser, string, leading_break)) goto error;
2889+ CLEAR(parser, leading_break);
2890+ }
2891+
2892+ /* Append the remaining line breaks. */
2893+
2894+ if (!JOIN(parser, string, trailing_breaks)) goto error;
2895+ CLEAR(parser, trailing_breaks);
2896+
2897+ /* Is it a leading whitespace? */
2898+
2899+ leading_blank = IS_BLANK(parser->buffer);
2900+
2901+ /* Consume the current line. */
2902+
2903+ while (!IS_BREAKZ(parser->buffer)) {
2904+ if (!READ(parser, string)) goto error;
2905+ if (!CACHE(parser, 1)) goto error;
2906+ }
2907+
2908+ /* Consume the line break. */
2909+
2910+ if (!CACHE(parser, 2)) goto error;
2911+
2912+ if (!READ_LINE(parser, leading_break)) goto error;
2913+
2914+ /* Eat the following indentation spaces and line breaks. */
2915+
2916+ if (!yaml_parser_scan_block_scalar_breaks(parser,
2917+ &indent, &trailing_breaks, start_mark, &end_mark)) goto error;
2918+ }
2919+
2920+ /* Chomp the tail. */
2921+
2922+ if (chomping != -1) {
2923+ if (!JOIN(parser, string, leading_break)) goto error;
2924+ }
2925+ if (chomping == 1) {
2926+ if (!JOIN(parser, string, trailing_breaks)) goto error;
2927+ }
2928+
2929+ /* Create a token. */
2930+
2931+ SCALAR_TOKEN_INIT(*token, string.start, string.pointer-string.start,
2932+ literal ? YAML_LITERAL_SCALAR_STYLE : YAML_FOLDED_SCALAR_STYLE,
2933+ start_mark, end_mark);
2934+
2935+ STRING_DEL(parser, leading_break);
2936+ STRING_DEL(parser, trailing_breaks);
2937+
2938+ return 1;
2939+
2940+error:
2941+ STRING_DEL(parser, string);
2942+ STRING_DEL(parser, leading_break);
2943+ STRING_DEL(parser, trailing_breaks);
2944+
2945+ return 0;
2946+}
2947+
2948+/*
2949+ * Scan indentation spaces and line breaks for a block scalar. Determine the
2950+ * indentation level if needed.
2951+ */
2952+
2953+static int
2954+yaml_parser_scan_block_scalar_breaks(yaml_parser_t *parser,
2955+ int *indent, yaml_string_t *breaks,
2956+ yaml_mark_t start_mark, yaml_mark_t *end_mark)
2957+{
2958+ int max_indent = 0;
2959+
2960+ *end_mark = parser->mark;
2961+
2962+ /* Eat the indentation spaces and line breaks. */
2963+
2964+ while (1)
2965+ {
2966+ /* Eat the indentation spaces. */
2967+
2968+ if (!CACHE(parser, 1)) return 0;
2969+
2970+ while ((!*indent || (int)parser->mark.column < *indent)
2971+ && IS_SPACE(parser->buffer)) {
2972+ SKIP(parser);
2973+ if (!CACHE(parser, 1)) return 0;
2974+ }
2975+
2976+ if ((int)parser->mark.column > max_indent)
2977+ max_indent = (int)parser->mark.column;
2978+
2979+ /* Check for a tab character messing the indentation. */
2980+
2981+ if ((!*indent || (int)parser->mark.column < *indent)
2982+ && IS_TAB(parser->buffer)) {
2983+ return yaml_parser_set_scanner_error(parser, "while scanning a block scalar",
2984+ start_mark, "found a tab character where an indentation space is expected");
2985+ }
2986+
2987+ /* Have we found a non-empty line? */
2988+
2989+ if (!IS_BREAK(parser->buffer)) break;
2990+
2991+ /* Consume the line break. */
2992+
2993+ if (!CACHE(parser, 2)) return 0;
2994+ if (!READ_LINE(parser, *breaks)) return 0;
2995+ *end_mark = parser->mark;
2996+ }
2997+
2998+ /* Determine the indentation level if needed. */
2999+
3000+ if (!*indent) {
3001+ *indent = max_indent;
3002+ if (*indent < parser->indent + 1)
3003+ *indent = parser->indent + 1;
3004+ if (*indent < 1)
3005+ *indent = 1;
3006+ }
3007+
3008+ return 1;
3009+}
3010+
3011+/*
3012+ * Scan a quoted scalar.
3013+ */
3014+
3015+static int
3016+yaml_parser_scan_flow_scalar(yaml_parser_t *parser, yaml_token_t *token,
3017+ int single)
3018+{
3019+ yaml_mark_t start_mark;
3020+ yaml_mark_t end_mark;
3021+ yaml_string_t string = NULL_STRING;
3022+ yaml_string_t leading_break = NULL_STRING;
3023+ yaml_string_t trailing_breaks = NULL_STRING;
3024+ yaml_string_t whitespaces = NULL_STRING;
3025+ int leading_blanks;
3026+
3027+ if (!STRING_INIT(parser, string, INITIAL_STRING_SIZE)) goto error;
3028+ if (!STRING_INIT(parser, leading_break, INITIAL_STRING_SIZE)) goto error;
3029+ if (!STRING_INIT(parser, trailing_breaks, INITIAL_STRING_SIZE)) goto error;
3030+ if (!STRING_INIT(parser, whitespaces, INITIAL_STRING_SIZE)) goto error;
3031+
3032+ /* Eat the left quote. */
3033+
3034+ start_mark = parser->mark;
3035+
3036+ SKIP(parser);
3037+
3038+ /* Consume the content of the quoted scalar. */
3039+
3040+ while (1)
3041+ {
3042+ /* Check that there are no document indicators at the beginning of the line. */
3043+
3044+ if (!CACHE(parser, 4)) goto error;
3045+
3046+ if (parser->mark.column == 0 &&
3047+ ((CHECK_AT(parser->buffer, '-', 0) &&
3048+ CHECK_AT(parser->buffer, '-', 1) &&
3049+ CHECK_AT(parser->buffer, '-', 2)) ||
3050+ (CHECK_AT(parser->buffer, '.', 0) &&
3051+ CHECK_AT(parser->buffer, '.', 1) &&
3052+ CHECK_AT(parser->buffer, '.', 2))) &&
3053+ IS_BLANKZ_AT(parser->buffer, 3))
3054+ {
3055+ yaml_parser_set_scanner_error(parser, "while scanning a quoted scalar",
3056+ start_mark, "found unexpected document indicator");
3057+ goto error;
3058+ }
3059+
3060+ /* Check for EOF. */
3061+
3062+ if (IS_Z(parser->buffer)) {
3063+ yaml_parser_set_scanner_error(parser, "while scanning a quoted scalar",
3064+ start_mark, "found unexpected end of stream");
3065+ goto error;
3066+ }
3067+
3068+ /* Consume non-blank characters. */
3069+
3070+ if (!CACHE(parser, 2)) goto error;
3071+
3072+ leading_blanks = 0;
3073+
3074+ while (!IS_BLANKZ(parser->buffer))
3075+ {
3076+ /* Check for an escaped single quote. */
3077+
3078+ if (single && CHECK_AT(parser->buffer, '\'', 0)
3079+ && CHECK_AT(parser->buffer, '\'', 1))
3080+ {
3081+ if (!STRING_EXTEND(parser, string)) goto error;
3082+ *(string.pointer++) = '\'';
3083+ SKIP(parser);
3084+ SKIP(parser);
3085+ }
3086+
3087+ /* Check for the right quote. */
3088+
3089+ else if (CHECK(parser->buffer, single ? '\'' : '"'))
3090+ {
3091+ break;
3092+ }
3093+
3094+ /* Check for an escaped line break. */
3095+
3096+ else if (!single && CHECK(parser->buffer, '\\')
3097+ && IS_BREAK_AT(parser->buffer, 1))
3098+ {
3099+ if (!CACHE(parser, 3)) goto error;
3100+ SKIP(parser);
3101+ SKIP_LINE(parser);
3102+ leading_blanks = 1;
3103+ break;
3104+ }
3105+
3106+ /* Check for an escape sequence. */
3107+
3108+ else if (!single && CHECK(parser->buffer, '\\'))
3109+ {
3110+ size_t code_length = 0;
3111+
3112+ if (!STRING_EXTEND(parser, string)) goto error;
3113+
3114+ /* Check the escape character. */
3115+
3116+ switch (parser->buffer.pointer[1])
3117+ {
3118+ case '0':
3119+ *(string.pointer++) = '\0';
3120+ break;
3121+
3122+ case 'a':
3123+ *(string.pointer++) = '\x07';
3124+ break;
3125+
3126+ case 'b':
3127+ *(string.pointer++) = '\x08';
3128+ break;
3129+
3130+ case 't':
3131+ case '\t':
3132+ *(string.pointer++) = '\x09';
3133+ break;
3134+
3135+ case 'n':
3136+ *(string.pointer++) = '\x0A';
3137+ break;
3138+
3139+ case 'v':
3140+ *(string.pointer++) = '\x0B';
3141+ break;
3142+
3143+ case 'f':
3144+ *(string.pointer++) = '\x0C';
3145+ break;
3146+
3147+ case 'r':
3148+ *(string.pointer++) = '\x0D';
3149+ break;
3150+
3151+ case 'e':
3152+ *(string.pointer++) = '\x1B';
3153+ break;
3154+
3155+ case ' ':
3156+ *(string.pointer++) = '\x20';
3157+ break;
3158+
3159+ case '"':
3160+ *(string.pointer++) = '"';
3161+ break;
3162+
3163+ case '/':
3164+ *(string.pointer++) = '/';
3165+ break;
3166+
3167+ case '\\':
3168+ *(string.pointer++) = '\\';
3169+ break;
3170+
3171+ case 'N': /* NEL (#x85) */
3172+ *(string.pointer++) = '\xC2';
3173+ *(string.pointer++) = '\x85';
3174+ break;
3175+
3176+ case '_': /* #xA0 */
3177+ *(string.pointer++) = '\xC2';
3178+ *(string.pointer++) = '\xA0';
3179+ break;
3180+
3181+ case 'L': /* LS (#x2028) */
3182+ *(string.pointer++) = '\xE2';
3183+ *(string.pointer++) = '\x80';
3184+ *(string.pointer++) = '\xA8';
3185+ break;
3186+
3187+ case 'P': /* PS (#x2029) */
3188+ *(string.pointer++) = '\xE2';
3189+ *(string.pointer++) = '\x80';
3190+ *(string.pointer++) = '\xA9';
3191+ break;
3192+
3193+ case 'x':
3194+ code_length = 2;
3195+ break;
3196+
3197+ case 'u':
3198+ code_length = 4;
3199+ break;
3200+
3201+ case 'U':
3202+ code_length = 8;
3203+ break;
3204+
3205+ default:
3206+ yaml_parser_set_scanner_error(parser, "while parsing a quoted scalar",
3207+ start_mark, "found unknown escape character");
3208+ goto error;
3209+ }
3210+
3211+ SKIP(parser);
3212+ SKIP(parser);
3213+
3214+ /* Consume an arbitrary escape code. */
3215+
3216+ if (code_length)
3217+ {
3218+ unsigned int value = 0;
3219+ size_t k;
3220+
3221+ /* Scan the character value. */
3222+
3223+ if (!CACHE(parser, code_length)) goto error;
3224+
3225+ for (k = 0; k < code_length; k ++) {
3226+ if (!IS_HEX_AT(parser->buffer, k)) {
3227+ yaml_parser_set_scanner_error(parser, "while parsing a quoted scalar",
3228+ start_mark, "did not find expected hexdecimal number");
3229+ goto error;
3230+ }
3231+ value = (value << 4) + AS_HEX_AT(parser->buffer, k);
3232+ }
3233+
3234+ /* Check the value and write the character. */
3235+
3236+ if ((value >= 0xD800 && value <= 0xDFFF) || value > 0x10FFFF) {
3237+ yaml_parser_set_scanner_error(parser, "while parsing a quoted scalar",
3238+ start_mark, "found invalid Unicode character escape code");
3239+ goto error;
3240+ }
3241+
3242+ if (value <= 0x7F) {
3243+ *(string.pointer++) = value;
3244+ }
3245+ else if (value <= 0x7FF) {
3246+ *(string.pointer++) = 0xC0 + (value >> 6);
3247+ *(string.pointer++) = 0x80 + (value & 0x3F);
3248+ }
3249+ else if (value <= 0xFFFF) {
3250+ *(string.pointer++) = 0xE0 + (value >> 12);
3251+ *(string.pointer++) = 0x80 + ((value >> 6) & 0x3F);
3252+ *(string.pointer++) = 0x80 + (value & 0x3F);
3253+ }
3254+ else {
3255+ *(string.pointer++) = 0xF0 + (value >> 18);
3256+ *(string.pointer++) = 0x80 + ((value >> 12) & 0x3F);
3257+ *(string.pointer++) = 0x80 + ((value >> 6) & 0x3F);
3258+ *(string.pointer++) = 0x80 + (value & 0x3F);
3259+ }
3260+
3261+ /* Advance the pointer. */
3262+
3263+ for (k = 0; k < code_length; k ++) {
3264+ SKIP(parser);
3265+ }
3266+ }
3267+ }
3268+
3269+ else
3270+ {
3271+ /* It is a non-escaped non-blank character. */
3272+
3273+ if (!READ(parser, string)) goto error;
3274+ }
3275+
3276+ if (!CACHE(parser, 2)) goto error;
3277+ }
3278+
3279+ /* Check if we are at the end of the scalar. */
3280+
3281+ /* Fix for crash unitialized value crash
3282+ * Credit for the bug and input is to OSS Fuzz
3283+ * Credit for the fix to Alex Gaynor
3284+ */
3285+ if (!CACHE(parser, 1)) goto error;
3286+ if (CHECK(parser->buffer, single ? '\'' : '"'))
3287+ break;
3288+
3289+ /* Consume blank characters. */
3290+
3291+ if (!CACHE(parser, 1)) goto error;
3292+
3293+ while (IS_BLANK(parser->buffer) || IS_BREAK(parser->buffer))
3294+ {
3295+ if (IS_BLANK(parser->buffer))
3296+ {
3297+ /* Consume a space or a tab character. */
3298+
3299+ if (!leading_blanks) {
3300+ if (!READ(parser, whitespaces)) goto error;
3301+ }
3302+ else {
3303+ SKIP(parser);
3304+ }
3305+ }
3306+ else
3307+ {
3308+ if (!CACHE(parser, 2)) goto error;
3309+
3310+ /* Check if it is a first line break. */
3311+
3312+ if (!leading_blanks)
3313+ {
3314+ CLEAR(parser, whitespaces);
3315+ if (!READ_LINE(parser, leading_break)) goto error;
3316+ leading_blanks = 1;
3317+ }
3318+ else
3319+ {
3320+ if (!READ_LINE(parser, trailing_breaks)) goto error;
3321+ }
3322+ }
3323+ if (!CACHE(parser, 1)) goto error;
3324+ }
3325+
3326+ /* Join the whitespaces or fold line breaks. */
3327+
3328+ if (leading_blanks)
3329+ {
3330+ /* Do we need to fold line breaks? */
3331+
3332+ if (leading_break.start[0] == '\n') {
3333+ if (trailing_breaks.start[0] == '\0') {
3334+ if (!STRING_EXTEND(parser, string)) goto error;
3335+ *(string.pointer++) = ' ';
3336+ }
3337+ else {
3338+ if (!JOIN(parser, string, trailing_breaks)) goto error;
3339+ CLEAR(parser, trailing_breaks);
3340+ }
3341+ CLEAR(parser, leading_break);
3342+ }
3343+ else {
3344+ if (!JOIN(parser, string, leading_break)) goto error;
3345+ if (!JOIN(parser, string, trailing_breaks)) goto error;
3346+ CLEAR(parser, leading_break);
3347+ CLEAR(parser, trailing_breaks);
3348+ }
3349+ }
3350+ else
3351+ {
3352+ if (!JOIN(parser, string, whitespaces)) goto error;
3353+ CLEAR(parser, whitespaces);
3354+ }
3355+ }
3356+
3357+ /* Eat the right quote. */
3358+
3359+ SKIP(parser);
3360+
3361+ end_mark = parser->mark;
3362+
3363+ /* Create a token. */
3364+
3365+ SCALAR_TOKEN_INIT(*token, string.start, string.pointer-string.start,
3366+ single ? YAML_SINGLE_QUOTED_SCALAR_STYLE : YAML_DOUBLE_QUOTED_SCALAR_STYLE,
3367+ start_mark, end_mark);
3368+
3369+ STRING_DEL(parser, leading_break);
3370+ STRING_DEL(parser, trailing_breaks);
3371+ STRING_DEL(parser, whitespaces);
3372+
3373+ return 1;
3374+
3375+error:
3376+ STRING_DEL(parser, string);
3377+ STRING_DEL(parser, leading_break);
3378+ STRING_DEL(parser, trailing_breaks);
3379+ STRING_DEL(parser, whitespaces);
3380+
3381+ return 0;
3382+}
3383+
3384+/*
3385+ * Scan a plain scalar.
3386+ */
3387+
3388+static int
3389+yaml_parser_scan_plain_scalar(yaml_parser_t *parser, yaml_token_t *token)
3390+{
3391+ yaml_mark_t start_mark;
3392+ yaml_mark_t end_mark;
3393+ yaml_string_t string = NULL_STRING;
3394+ yaml_string_t leading_break = NULL_STRING;
3395+ yaml_string_t trailing_breaks = NULL_STRING;
3396+ yaml_string_t whitespaces = NULL_STRING;
3397+ int leading_blanks = 0;
3398+ int indent = parser->indent+1;
3399+
3400+ if (!STRING_INIT(parser, string, INITIAL_STRING_SIZE)) goto error;
3401+ if (!STRING_INIT(parser, leading_break, INITIAL_STRING_SIZE)) goto error;
3402+ if (!STRING_INIT(parser, trailing_breaks, INITIAL_STRING_SIZE)) goto error;
3403+ if (!STRING_INIT(parser, whitespaces, INITIAL_STRING_SIZE)) goto error;
3404+
3405+ start_mark = end_mark = parser->mark;
3406+
3407+ /* Consume the content of the plain scalar. */
3408+
3409+ while (1)
3410+ {
3411+ /* Check for a document indicator. */
3412+
3413+ if (!CACHE(parser, 4)) goto error;
3414+
3415+ if (parser->mark.column == 0 &&
3416+ ((CHECK_AT(parser->buffer, '-', 0) &&
3417+ CHECK_AT(parser->buffer, '-', 1) &&
3418+ CHECK_AT(parser->buffer, '-', 2)) ||
3419+ (CHECK_AT(parser->buffer, '.', 0) &&
3420+ CHECK_AT(parser->buffer, '.', 1) &&
3421+ CHECK_AT(parser->buffer, '.', 2))) &&
3422+ IS_BLANKZ_AT(parser->buffer, 3)) break;
3423+
3424+ /* Check for a comment. */
3425+
3426+ if (CHECK(parser->buffer, '#'))
3427+ break;
3428+
3429+ /* Consume non-blank characters. */
3430+
3431+ while (!IS_BLANKZ(parser->buffer))
3432+ {
3433+ /* Check for "x:" + one of ',?[]{}' in the flow context. TODO: Fix the test "spec-08-13".
3434+ * This is not completely according to the spec
3435+ * See http://yaml.org/spec/1.1/#id907281 9.1.3. Plain
3436+ */
3437+
3438+ if (parser->flow_level
3439+ && CHECK(parser->buffer, ':')
3440+ && (
3441+ CHECK_AT(parser->buffer, ',', 1)
3442+ || CHECK_AT(parser->buffer, '?', 1)
3443+ || CHECK_AT(parser->buffer, '[', 1)
3444+ || CHECK_AT(parser->buffer, ']', 1)
3445+ || CHECK_AT(parser->buffer, '{', 1)
3446+ || CHECK_AT(parser->buffer, '}', 1)
3447+ )
3448+ ) {
3449+ yaml_parser_set_scanner_error(parser, "while scanning a plain scalar",
3450+ start_mark, "found unexpected ':'");
3451+ goto error;
3452+ }
3453+
3454+ /* Check for indicators that may end a plain scalar. */
3455+
3456+ if ((CHECK(parser->buffer, ':') && IS_BLANKZ_AT(parser->buffer, 1))
3457+ || (parser->flow_level &&
3458+ (CHECK(parser->buffer, ',')
3459+ || CHECK(parser->buffer, '?') || CHECK(parser->buffer, '[')
3460+ || CHECK(parser->buffer, ']') || CHECK(parser->buffer, '{')
3461+ || CHECK(parser->buffer, '}'))))
3462+ break;
3463+
3464+ /* Check if we need to join whitespaces and breaks. */
3465+
3466+ if (leading_blanks || whitespaces.start != whitespaces.pointer)
3467+ {
3468+ if (leading_blanks)
3469+ {
3470+ /* Do we need to fold line breaks? */
3471+
3472+ if (leading_break.start[0] == '\n') {
3473+ if (trailing_breaks.start[0] == '\0') {
3474+ if (!STRING_EXTEND(parser, string)) goto error;
3475+ *(string.pointer++) = ' ';
3476+ }
3477+ else {
3478+ if (!JOIN(parser, string, trailing_breaks)) goto error;
3479+ CLEAR(parser, trailing_breaks);
3480+ }
3481+ CLEAR(parser, leading_break);
3482+ }
3483+ else {
3484+ if (!JOIN(parser, string, leading_break)) goto error;
3485+ if (!JOIN(parser, string, trailing_breaks)) goto error;
3486+ CLEAR(parser, leading_break);
3487+ CLEAR(parser, trailing_breaks);
3488+ }
3489+
3490+ leading_blanks = 0;
3491+ }
3492+ else
3493+ {
3494+ if (!JOIN(parser, string, whitespaces)) goto error;
3495+ CLEAR(parser, whitespaces);
3496+ }
3497+ }
3498+
3499+ /* Copy the character. */
3500+
3501+ if (!READ(parser, string)) goto error;
3502+
3503+ end_mark = parser->mark;
3504+
3505+ if (!CACHE(parser, 2)) goto error;
3506+ }
3507+
3508+ /* Is it the end? */
3509+
3510+ if (!(IS_BLANK(parser->buffer) || IS_BREAK(parser->buffer)))
3511+ break;
3512+
3513+ /* Consume blank characters. */
3514+
3515+ if (!CACHE(parser, 1)) goto error;
3516+
3517+ while (IS_BLANK(parser->buffer) || IS_BREAK(parser->buffer))
3518+ {
3519+ if (IS_BLANK(parser->buffer))
3520+ {
3521+ /* Check for tab character that abuse indentation. */
3522+
3523+ if (leading_blanks && (int)parser->mark.column < indent
3524+ && IS_TAB(parser->buffer)) {
3525+ yaml_parser_set_scanner_error(parser, "while scanning a plain scalar",
3526+ start_mark, "found a tab character that violate indentation");
3527+ goto error;
3528+ }
3529+
3530+ /* Consume a space or a tab character. */
3531+
3532+ if (!leading_blanks) {
3533+ if (!READ(parser, whitespaces)) goto error;
3534+ }
3535+ else {
3536+ SKIP(parser);
3537+ }
3538+ }
3539+ else
3540+ {
3541+ if (!CACHE(parser, 2)) goto error;
3542+
3543+ /* Check if it is a first line break. */
3544+
3545+ if (!leading_blanks)
3546+ {
3547+ CLEAR(parser, whitespaces);
3548+ if (!READ_LINE(parser, leading_break)) goto error;
3549+ leading_blanks = 1;
3550+ }
3551+ else
3552+ {
3553+ if (!READ_LINE(parser, trailing_breaks)) goto error;
3554+ }
3555+ }
3556+ if (!CACHE(parser, 1)) goto error;
3557+ }
3558+
3559+ /* Check indentation level. */
3560+
3561+ if (!parser->flow_level && (int)parser->mark.column < indent)
3562+ break;
3563+ }
3564+
3565+ /* Create a token. */
3566+
3567+ SCALAR_TOKEN_INIT(*token, string.start, string.pointer-string.start,
3568+ YAML_PLAIN_SCALAR_STYLE, start_mark, end_mark);
3569+
3570+ /* Note that we change the 'simple_key_allowed' flag. */
3571+
3572+ if (leading_blanks) {
3573+ parser->simple_key_allowed = 1;
3574+ }
3575+
3576+ STRING_DEL(parser, leading_break);
3577+ STRING_DEL(parser, trailing_breaks);
3578+ STRING_DEL(parser, whitespaces);
3579+
3580+ return 1;
3581+
3582+error:
3583+ STRING_DEL(parser, string);
3584+ STRING_DEL(parser, leading_break);
3585+ STRING_DEL(parser, trailing_breaks);
3586+ STRING_DEL(parser, whitespaces);
3587+
3588+ return 0;
3589+}