rapidyaml  0.11.1
parse and emit YAML, and do it fast
parse_engine.hpp
Go to the documentation of this file.
1 #ifndef _C4_YML_PARSE_ENGINE_HPP_
2 #define _C4_YML_PARSE_ENGINE_HPP_
3 
4 #ifndef _C4_YML_PARSER_STATE_HPP_
6 #endif
7 
8 
9 #if defined(_MSC_VER)
10 # pragma warning(push)
11 # pragma warning(disable: 4251/*needs to have dll-interface to be used by clients of struct*/)
12 #endif
13 
14 // NOLINTBEGIN(hicpp-signed-bitwise)
15 
16 namespace c4 {
17 namespace yml {
18 
19 /** @addtogroup doc_parse
20  * @{ */
21 
22 /** @defgroup doc_event_handlers Event Handlers
23  *
24  * @brief rapidyaml implements its parsing logic with a two-level
25  * model, where a @ref ParseEngine object reads through the YAML
26  * source, and dispatches events to an EventHandler bound to the @ref
27  * ParseEngine. Because @ref ParseEngine is templated on the event
28  * handler, the binding uses static polymorphism, without any virtual
29  * functions. The actual handler object can be changed at run time,
30  * (but of course needs to be the type of the template parameter).
31  * This is thus a very efficient architecture, and further enables the
32  * user to provide his own custom handler if he wishes to bypass the
33  * rapidyaml @ref Tree.
34  *
35  * There are two handlers implemented in this project:
36  *
37  * - @ref EventHandlerTree is the handler responsible for creating the
38  * ryml @ref Tree
39  *
40  * - @ref extra::EventHandlerInts parses YAML into an integer array
41  representation of the tree and scalars.
42  *
43  * - @ref extra::EventHandlerTestSuite is the handler responsible for emitting
44  * standardized [YAML test suite
45  * events](https://github.com/yaml/yaml-test-suite), used (only) in
46  * the CI of this project.
47  *
48  *
49  * ### Event model
50  *
51  * The event model used by the parse engine and event handlers follows
52  * very closely the event model in the [YAML test
53  * suite](https://github.com/yaml/yaml-test-suite).
54  *
55  * Consider for example this YAML,
56  * ```yaml
57  * {foo: bar,foo2: bar2}
58  * ```
59  * which would produce these events in the test-suite parlance:
60  * ```
61  * +STR
62  * +DOC
63  * +MAP {}
64  * =VAL :foo
65  * =VAL :bar
66  * =VAL :foo2
67  * =VAL :bar2
68  * -MAP
69  * -DOC
70  * -STR
71  * ```
72  *
73  * For reference, the @ref ParseEngine object will produce this
74  * sequence of calls to its bound EventHandler:
75  * ```cpp
76  * handler.begin_stream();
77  * handler.begin_doc();
78  * handler.begin_map_val_flow();
79  * handler.set_key_scalar_plain("foo");
80  * handler.set_val_scalar_plain("bar");
81  * handler.add_sibling();
82  * handler.set_key_scalar_plain("foo2");
83  * handler.set_val_scalar_plain("bar2");
84  * handler.end_map();
85  * handler.end_doc();
86  * handler.end_stream();
87  * ```
88  *
89  * For many other examples of all areas of YAML and how ryml's parse
90  * model corresponds to the YAML standard model, refer to the [unit
91  * tests for the parse
92  * engine](https://github.com/biojppm/rapidyaml/tree/master/test/test_parse_engine.cpp).
93  *
94  *
95  * ### Special events
96  *
97  * Most of the parsing events adopted by rapidyaml in its event model
98  * are fairly obvious, but there are two less-obvious events requiring
99  * some explanation.
100  *
101  * These events exist to make it easier to parse some special YAML
102  * cases. They are called by the parser when a just-handled
103  * value/container is actually the first key of a new map:
104  *
105  * - `actually_val_is_first_key_of_new_map_flow()` (@ref EventHandlerTree::actually_val_is_first_key_of_new_map_flow() "see implementation in EventHandlerTree" / @ref EventHandlerTestSuite::actually_val_is_first_key_of_new_map_flow() "see implementation in EventHandlerTestSuite")
106  * - `actually_val_is_first_key_of_new_map_block()` (@ref EventHandlerTree::actually_val_is_first_key_of_new_map_block() "see implementation in EventHandlerTree" / @ref EventHandlerTestSuite::actually_val_is_first_key_of_new_map_block() "see implementation in EventHandlerTestSuite")
107  *
108  * For example, consider an implicit map inside a seq: `[a: b, c:
109  * d]` which is parsed as `[{a: b}, {c: d}]`. The standard event
110  * sequence for this YAML would be the following:
111  * ```cpp
112  * handler.begin_seq_val_flow();
113  * handler.begin_map_val_flow();
114  * handler.set_key_scalar_plain("a");
115  * handler.set_val_scalar_plain("b");
116  * handler.end_map();
117  * handler.add_sibling();
118  * handler.begin_map_val_flow();
119  * handler.set_key_scalar_plain("c");
120  * handler.set_val_scalar_plain("d");
121  * handler.end_map();
122  * handler.end_seq();
123  * ```
124  * The problem with this event sequence is that it forces the
125  * parser to delay setting the val scalar (in this case "a" and
126  * "c") until it knows whether the scalar is a key or a val. This
127  * would require the parser to store the scalar until this
128  * time. For instance, in the example above, the parser should
129  * delay setting "a" and "c", because they are in fact keys and
130  * not vals. Until then, the parser would have to store "a" and
131  * "c" in its internal state. The downside is that this complexity
132  * cost would apply even if there is no implicit map -- every val
133  * in a seq would have to be delayed until one of the
134  * disambiguating subsequent tokens `,-]:` is found.
135  * By calling this function, the parser can avoid this complexity,
136  * by preemptively setting the scalar as a val. Then a call to
137  * this function will create the map and rearrange the scalar as
138  * key. Now the cost applies only once: when a seqimap starts. So
139  * the following (easier and cheaper) event sequence below has the
140  * same effect as the event sequence above:
141  * ```cpp
142  * handler.begin_seq_val_flow();
143  * handler.set_val_scalar_plain("notmap");
144  * handler.set_val_scalar_plain("a"); // preemptively set "a" as val!
145  * handler.actually_as_new_map_key(); // create a map, move the "a" val as the key of the first child of the new map
146  * handler.set_val_scalar_plain("b"); // now "a" is a key and "b" the val
147  * handler.end_map();
148  * handler.set_val_scalar_plain("c"); // "c" also as val!
149  * handler.actually_as_block_flow(); // likewise
150  * handler.set_val_scalar_plain("d"); // now "c" is a key and "b" the val
151  * handler.end_map();
152  * handler.end_seq();
153  * ```
154  * This also applies to container keys (although ryml's tree
155  * cannot accomodate these): the parser can preemptively set a
156  * container as a val, and call this event to turn that container
157  * into a key. For example, consider this yaml:
158  * ```yaml
159  * [aa, bb]: [cc, dd]
160  * # ^ ^ ^
161  * # | | |
162  * # (2) (1) (3) <- event sequence
163  * ```
164  * The standard event sequence for this YAML would be the
165  * following:
166  * ```cpp
167  * handler.begin_map_val_block(); // (1)
168  * handler.begin_seq_key_flow(); // (2)
169  * handler.set_val_scalar_plain("aa");
170  * handler.add_sibling();
171  * handler.set_val_scalar_plain("bb");
172  * handler.end_seq();
173  * handler.begin_seq_val_flow(); // (3)
174  * handler.set_val_scalar_plain("cc");
175  * handler.add_sibling();
176  * handler.set_val_scalar_plain("dd");
177  * handler.end_seq();
178  * handler.end_map();
179  * ```
180  * The problem with the sequence above is that, reading from
181  * left-to-right, the parser can only detect the proper calls at
182  * (1) and (2) once it reaches (1) in the YAML source. So, the
183  * parser would have to buffer the entire event sequence starting
184  * from the beginning until it reaches (1). Using this function,
185  * the parser can do instead:
186  * ```cpp
187  * handler.begin_seq_val_flow(); // (2) -- preemptively as val!
188  * handler.set_val_scalar_plain("aa");
189  * handler.add_sibling();
190  * handler.set_val_scalar_plain("bb");
191  * handler.end_seq();
192  * handler.actually_as_new_map_key(); // (1) -- adjust when finding that the prev val was actually a key.
193  * handler.begin_seq_val_flow(); // (3) -- go on as before
194  * handler.set_val_scalar_plain("cc");
195  * handler.add_sibling();
196  * handler.set_val_scalar_plain("dd");
197  * handler.end_seq();
198  * handler.end_map();
199  * ```
200  */
201 
202 class Tree;
203 class NodeRef;
204 class ConstNodeRef;
205 struct FilterResult;
206 struct FilterResultExtending;
207 
208 
209 typedef enum BlockChomp_ {
210  CHOMP_CLIP, //!< single newline at end (default)
211  CHOMP_STRIP, //!< no newline at end (-)
212  CHOMP_KEEP //!< all newlines from end (+)
214 
215 
216 /** Quickly inspect the source to estimate the number of nodes the
217  * resulting tree is likely to have. If a tree is empty before
218  * parsing, considerable time will be spent growing it, so calling
219  * this to reserve the tree size prior to parsing is likely to
220  * result in a time gain. We encourage using this method before
221  * parsing, but as always measure its impact in performance to
222  * obtain a good trade-off.
223  *
224  * @note since this method is meant for optimizing performance, it
225  * is approximate. The result may be actually smaller than the
226  * resulting number of nodes, notably if the YAML uses implicit
227  * maps as flow seq members as in `[these: are, individual:
228  * maps]`. */
229 RYML_EXPORT id_type estimate_tree_capacity(csubstr src); // NOLINT(readability-redundant-declaration)
230 
231 
232 //-----------------------------------------------------------------------------
233 //-----------------------------------------------------------------------------
234 //-----------------------------------------------------------------------------
235 
236 /** This is the main driver of parsing logic: it scans the YAML or
237  * JSON source for tokens, and emits the appropriate sequence of
238  * parsing events to its event handler. The parse engine itself has no
239  * special limitations, and *can* accomodate containers as keys; it is the
240  * event handler may introduce additional constraints.
241  *
242  * There are two implemented handlers (see @ref doc_event_handlers,
243  * which has important notes about the event model):
244  *
245  * - @ref EventHandlerTree is the handler responsible for creating the
246  * ryml @ref Tree
247  *
248  * - @ref extra::EventHandlerTestSuite is a handler responsible for emitting
249  * standardized [YAML test suite
250  * events](https://github.com/yaml/yaml-test-suite), used (only) in
251  * the CI of this project. This is not part of the library and is
252  * not installed.
253  *
254  * - @ref extra::EventHandlerInts is the handler responsible for
255  * emitting integer-coded events. It is intended for implementing
256  * fully-conformant parsing in other programming languages
257  * (integration is currently under work for
258  * [YamlScript](https://github.com/yaml/yamlscript) and
259  * [go-yaml](https://github.com/yaml/go-yaml/)). It is not part of
260  * the library and is not installed.
261  *
262  */
263 template<class EventHandler>
265 {
266 public:
267 
268  using handler_type = EventHandler;
269 
270 public:
271 
272  /** @name construction and assignment */
273  /** @{ */
274 
275  ParseEngine(EventHandler *evt_handler, ParserOptions opts={});
276  ~ParseEngine();
277 
278  ParseEngine(ParseEngine &&) noexcept;
279  ParseEngine(ParseEngine const&);
280  ParseEngine& operator=(ParseEngine &&) noexcept;
281  ParseEngine& operator=(ParseEngine const&);
282 
283  /** @} */
284 
285 public:
286 
287  /** @name modifiers */
288  /** @{ */
289 
290  /** Reserve a certain capacity for the parsing stack.
291  * This should be larger than the expected depth of the parsed
292  * YAML tree.
293  *
294  * The parsing stack is the only (potential) heap memory used
295  * directly by the parser.
296  *
297  * If the requested capacity is below the default
298  * stack size of 16, the memory is used directly in the parser
299  * object; otherwise it will be allocated from the heap.
300  *
301  * @note this reserves memory only for the parser itself; all the
302  * allocations for the parsed tree will go through the tree's
303  * allocator (when different).
304  *
305  * @note for maximum efficiency, the tree and the arena can (and
306  * should) also be reserved. */
307  void reserve_stack(id_type capacity)
308  {
309  m_evt_handler->m_stack.reserve(capacity);
310  }
311 
312  /** Reserve a certain capacity for the array used to track node
313  * locations in the source buffer. */
314  void reserve_locations(size_t num_source_lines)
315  {
316  _resize_locations(num_source_lines);
317  }
318 
319  RYML_DEPRECATED("filter arena no longer needed")
320  void reserve_filter_arena(size_t) {}
321 
322  /** @} */
323 
324 public:
325 
326  /** @name getters */
327  /** @{ */
328 
329  /** Get the options used to build this parser object. */
330  ParserOptions const& options() const { return m_options; }
331 
332  /** Get the current callbacks in the parser. */
333  Callbacks const& callbacks() const { _RYML_ASSERT_BASIC(m_evt_handler); return m_evt_handler->m_stack.m_callbacks; }
334 
335  /** Get the name of the latest file parsed by this object. */
336  csubstr filename() const { return m_file; }
337 
338  /** Get the latest YAML buffer parsed by this object. */
339  csubstr source() const { return m_buf; }
340 
341  /** Get the encoding of the latest YAML buffer parsed by this object.
342  * If no encoding was specified, UTF8 is assumed as per the YAML standard. */
343  Encoding_e encoding() const { return m_encoding != NOBOM ? m_encoding : UTF8; }
344 
345  id_type stack_capacity() const { _RYML_ASSERT_BASIC(m_evt_handler); return m_evt_handler->m_stack.capacity(); }
346  size_t locations_capacity() const { return m_newline_offsets_capacity; }
347 
348  RYML_DEPRECATED("filter arena no longer needed")
349  size_t filter_arena_capacity() const { return 0u; }
350 
351  /** @} */
352 
353 public:
354 
355  /** @name parse methods */
356  /** @{ */
357 
358  /** parse YAML in place, emitting events to the current handler */
359  void parse_in_place_ev(csubstr filename, substr src);
360 
361  /** parse JSON in place, emitting events to the current handler */
362  void parse_json_in_place_ev(csubstr filename, substr src);
363 
364  /** @} */
365 
366 public:
367 
368  /** @name locations */
369  /** @{ */
370 
371  /** Get the string starting at a particular location, to the end
372  * of the parsed source buffer. */
373  csubstr location_contents(Location const& loc) const;
374 
375  /** Given a pointer to a buffer position, get the location.
376  * @param[in] val must be pointing to somewhere in the source
377  * buffer that was last parsed by this object. */
378  Location val_location(const char *val) const;
379 
380  /** @} */
381 
382 public:
383 
384  /** @cond dev */
385  template<class U>
386  RYML_DEPRECATED("moved to Tree::location(Parser const&). deliberately undefined here.")
387  auto location(Tree const&, id_type node) const -> typename std::enable_if<U::is_wtree, Location>::type;
388 
389  template<class U>
390  RYML_DEPRECATED("moved to ConstNodeRef::location(Parser const&), deliberately undefined here.")
391  auto location(ConstNodeRef const&) const -> typename std::enable_if<U::is_wtree, Location>::type;
392  /** @endcond */
393 
394 public:
395 
396  /** @name scalar filtering */
397  /** @{*/
398 
399  /** filter a plain scalar */
400  FilterResult filter_scalar_plain(csubstr scalar, substr dst, size_t indentation);
401  /** filter a plain scalar in place */
402  FilterResult filter_scalar_plain_in_place(substr scalar, size_t cap, size_t indentation);
403 
404  /** filter a single-quoted scalar */
405  FilterResult filter_scalar_squoted(csubstr scalar, substr dst);
406  /** filter a single-quoted scalar in place */
407  FilterResult filter_scalar_squoted_in_place(substr scalar, size_t cap);
408 
409  /** filter a double-quoted scalar */
410  FilterResult filter_scalar_dquoted(csubstr scalar, substr dst);
411  /** filter a double-quoted scalar in place */
413 
414  /** filter a block-literal scalar */
415  FilterResult filter_scalar_block_literal(csubstr scalar, substr dst, size_t indentation, BlockChomp_e chomp);
416  /** filter a block-literal scalar in place */
417  FilterResult filter_scalar_block_literal_in_place(substr scalar, size_t cap, size_t indentation, BlockChomp_e chomp);
418 
419  /** filter a block-folded scalar */
420  FilterResult filter_scalar_block_folded(csubstr scalar, substr dst, size_t indentation, BlockChomp_e chomp);
421  /** filter a block-folded scalar in place */
422  FilterResult filter_scalar_block_folded_in_place(substr scalar, size_t cap, size_t indentation, BlockChomp_e chomp);
423 
424  /** @} */
425 
426 private:
427 
428  struct ScannedScalar
429  {
430  substr scalar;
431  bool needs_filter;
432  };
433 
434  struct ScannedBlock
435  {
436  substr scalar;
437  size_t indentation;
438  BlockChomp_e chomp;
439  };
440 
441 private:
442 
443  bool _is_doc_begin(csubstr s);
444  bool _is_doc_end(csubstr s);
445 
446  bool _scan_scalar_plain_blck(ScannedScalar *C4_RESTRICT sc, size_t indentation);
447  bool _scan_scalar_plain_seq_flow(ScannedScalar *C4_RESTRICT sc);
448  bool _scan_scalar_plain_seq_blck(ScannedScalar *C4_RESTRICT sc);
449  bool _scan_scalar_plain_map_flow(ScannedScalar *C4_RESTRICT sc);
450  bool _scan_scalar_plain_map_blck(ScannedScalar *C4_RESTRICT sc);
451  bool _scan_scalar_map_json(ScannedScalar *C4_RESTRICT sc);
452  bool _scan_scalar_seq_json(ScannedScalar *C4_RESTRICT sc);
453  bool _scan_scalar_plain_unk(ScannedScalar *C4_RESTRICT sc);
454  bool _is_valid_start_scalar_plain_flow(csubstr s);
455 
456  ScannedScalar _scan_scalar_squot();
457  ScannedScalar _scan_scalar_dquot();
458 
459  void _scan_block(ScannedBlock *C4_RESTRICT sb, size_t indref);
460 
461  csubstr _scan_anchor();
462  csubstr _scan_ref_seq();
463  csubstr _scan_ref_map();
464  csubstr _scan_tag();
465 
466 public: // exposed for testing
467 
468  /** @cond dev */
469  csubstr _filter_scalar_plain(substr s, size_t indentation);
470  csubstr _filter_scalar_squot(substr s);
471  csubstr _filter_scalar_dquot(substr s);
472  csubstr _filter_scalar_literal(substr s, size_t indentation, BlockChomp_e chomp);
473  csubstr _filter_scalar_folded(substr s, size_t indentation, BlockChomp_e chomp);
474  csubstr _move_scalar_left_and_add_newline(substr s);
475 
476  csubstr _maybe_filter_key_scalar_plain(ScannedScalar const& sc, size_t indendation);
477  csubstr _maybe_filter_val_scalar_plain(ScannedScalar const& sc, size_t indendation);
478  csubstr _maybe_filter_key_scalar_squot(ScannedScalar const& sc);
479  csubstr _maybe_filter_val_scalar_squot(ScannedScalar const& sc);
480  csubstr _maybe_filter_key_scalar_dquot(ScannedScalar const& sc);
481  csubstr _maybe_filter_val_scalar_dquot(ScannedScalar const& sc);
482  csubstr _maybe_filter_key_scalar_literal(ScannedBlock const& sb);
483  csubstr _maybe_filter_val_scalar_literal(ScannedBlock const& sb);
484  csubstr _maybe_filter_key_scalar_folded(ScannedBlock const& sb);
485  csubstr _maybe_filter_val_scalar_folded(ScannedBlock const& sb);
486  /** @endcond */
487 
488 private:
489 
490  void _handle_map_block();
491  void _handle_seq_block();
492  void _handle_map_flow();
493  void _handle_seq_flow();
494  void _handle_seq_imap();
495  void _handle_map_json();
496  void _handle_seq_json();
497 
498  void _handle_unk();
499  void _handle_unk_json();
500  void _handle_usty();
501 
502  void _handle_flow_skip_whitespace();
503 
504  void _end_map_flow();
505  void _end_seq_flow();
506  void _end_map_blck();
507  void _end_seq_blck();
508  void _end2_map();
509  void _end2_seq();
510  void _flow_container_was_a_key(size_t orig_indent);
511 
512  void _begin2_doc();
513  void _begin2_doc_expl();
514  void _end2_doc();
515  void _end2_doc_expl();
516 
517  void _maybe_begin_doc();
518  void _maybe_end_doc();
519 
520  void _start_doc_suddenly();
521  void _end_doc_suddenly();
522  void _end_doc_suddenly__pop();
523  void _end_stream();
524 
525  void _set_indentation(size_t indentation);
526  void _save_indentation();
527  void _handle_indentation_pop_from_block_seq();
528  void _handle_indentation_pop_from_block_map();
529  void _handle_indentation_pop(ParserState const* dst);
530 
531  void _maybe_skip_comment();
532  void _skip_comment();
533  void _maybe_skip_whitespace_tokens();
534  void _maybe_skipchars(char c);
535  #ifdef RYML_NO_COVERAGE__TO_BE_DELETED
536  void _maybe_skipchars_up_to(char c, size_t max_to_skip);
537  #endif
538  template<size_t N>
539  void _skipchars(const char (&chars)[N]);
540  bool _maybe_scan_following_colon() noexcept;
541  bool _maybe_scan_following_comma() noexcept;
542 
543 public:
544 
545  /** @cond dev */
546  template<class FilterProcessor> auto _filter_plain(FilterProcessor &C4_RESTRICT proc, size_t indentation) -> decltype(proc.result());
547  template<class FilterProcessor> auto _filter_squoted(FilterProcessor &C4_RESTRICT proc) -> decltype(proc.result());
548  template<class FilterProcessor> auto _filter_dquoted(FilterProcessor &C4_RESTRICT proc) -> decltype(proc.result());
549  template<class FilterProcessor> auto _filter_block_literal(FilterProcessor &C4_RESTRICT proc, size_t indentation, BlockChomp_e chomp) -> decltype(proc.result());
550  template<class FilterProcessor> auto _filter_block_folded(FilterProcessor &C4_RESTRICT proc, size_t indentation, BlockChomp_e chomp) -> decltype(proc.result());
551  /** @endcond */
552 
553 public:
554 
555  /** @cond dev */
556  template<class FilterProcessor> void _filter_nl_plain(FilterProcessor &C4_RESTRICT proc, size_t indentation);
557  template<class FilterProcessor> void _filter_nl_squoted(FilterProcessor &C4_RESTRICT proc);
558  template<class FilterProcessor> void _filter_nl_dquoted(FilterProcessor &C4_RESTRICT proc);
559 
560  template<class FilterProcessor> bool _filter_ws_handle_to_first_non_space(FilterProcessor &C4_RESTRICT proc);
561  template<class FilterProcessor> void _filter_ws_copy_trailing(FilterProcessor &C4_RESTRICT proc);
562  template<class FilterProcessor> void _filter_ws_skip_trailing(FilterProcessor &C4_RESTRICT proc);
563 
564  template<class FilterProcessor> void _filter_dquoted_backslash(FilterProcessor &C4_RESTRICT proc);
565 
566  template<class FilterProcessor> void _filter_chomp(FilterProcessor &C4_RESTRICT proc, BlockChomp_e chomp, size_t indentation);
567  template<class FilterProcessor> size_t _handle_all_whitespace(FilterProcessor &C4_RESTRICT proc, BlockChomp_e chomp);
568  template<class FilterProcessor> size_t _extend_to_chomp(FilterProcessor &C4_RESTRICT proc, size_t contents_len);
569  template<class FilterProcessor> void _filter_block_indentation(FilterProcessor &C4_RESTRICT proc, size_t indentation);
570  template<class FilterProcessor> void _filter_block_folded_newlines(FilterProcessor &C4_RESTRICT proc, size_t indentation, size_t len);
571  template<class FilterProcessor> size_t _filter_block_folded_newlines_compress(FilterProcessor &C4_RESTRICT proc, size_t num_newl, size_t wpos_at_first_newl);
572  template<class FilterProcessor> void _filter_block_folded_newlines_leading(FilterProcessor &C4_RESTRICT proc, size_t indentation, size_t len);
573  template<class FilterProcessor> void _filter_block_folded_indented_block(FilterProcessor &C4_RESTRICT proc, size_t indentation, size_t len, size_t curr_indentation) noexcept;
574 
575  /** @endcond */
576 
577 private:
578 
579  void _line_progressed(size_t ahead);
580  void _line_ended();
581  void _line_ended_undo();
582 
583  bool _finished_file() const;
584  bool _finished_line() const;
585 
586  void _scan_line();
587  substr _peek_next_line(size_t pos=npos) const;
588 
589  bool _at_line_begin() const
590  {
591  return m_evt_handler->m_curr->line_contents.rem.begin() == m_evt_handler->m_curr->line_contents.full.begin();
592  }
593 
594  void _relocate_arena(csubstr prev_arena, substr next_arena);
595  static void _s_relocate_arena(void*, csubstr prev_arena, substr next_arena);
596 
597 private:
598 
599  C4_ALWAYS_INLINE bool has_all(ParserFlag_t f) const noexcept { return (m_evt_handler->m_curr->flags & f) == f; }
600  C4_ALWAYS_INLINE bool has_any(ParserFlag_t f) const noexcept { return (m_evt_handler->m_curr->flags & f) != 0; }
601  C4_ALWAYS_INLINE bool has_none(ParserFlag_t f) const noexcept { return (m_evt_handler->m_curr->flags & f) == 0; }
602  static C4_ALWAYS_INLINE bool has_all(ParserFlag_t f, ParserState const* C4_RESTRICT s) noexcept { return (s->flags & f) == f; }
603  static C4_ALWAYS_INLINE bool has_any(ParserFlag_t f, ParserState const* C4_RESTRICT s) noexcept { return (s->flags & f) != 0; }
604  static C4_ALWAYS_INLINE bool has_none(ParserFlag_t f, ParserState const* C4_RESTRICT s) noexcept { return (s->flags & f) == 0; }
605 
606  #ifndef RYML_DBG
607  C4_ALWAYS_INLINE static void add_flags(ParserFlag_t on, ParserState *C4_RESTRICT s) noexcept { s->flags |= on; }
608  C4_ALWAYS_INLINE static void addrem_flags(ParserFlag_t on, ParserFlag_t off, ParserState *C4_RESTRICT s) noexcept { s->flags &= ~off; s->flags |= on; }
609  C4_ALWAYS_INLINE static void rem_flags(ParserFlag_t off, ParserState *C4_RESTRICT s) noexcept { s->flags &= ~off; }
610  C4_ALWAYS_INLINE void add_flags(ParserFlag_t on) noexcept { m_evt_handler->m_curr->flags |= on; }
611  C4_ALWAYS_INLINE void addrem_flags(ParserFlag_t on, ParserFlag_t off) noexcept { m_evt_handler->m_curr->flags &= ~off; m_evt_handler->m_curr->flags |= on; }
612  C4_ALWAYS_INLINE void rem_flags(ParserFlag_t off) noexcept { m_evt_handler->m_curr->flags &= ~off; }
613  #else
614  static void add_flags(ParserFlag_t on, ParserState *C4_RESTRICT s);
615  static void addrem_flags(ParserFlag_t on, ParserFlag_t off, ParserState *C4_RESTRICT s);
616  static void rem_flags(ParserFlag_t off, ParserState *C4_RESTRICT s);
617  C4_ALWAYS_INLINE void add_flags(ParserFlag_t on) noexcept { add_flags(on, m_evt_handler->m_curr); }
618  C4_ALWAYS_INLINE void addrem_flags(ParserFlag_t on, ParserFlag_t off) noexcept { addrem_flags(on, off, m_evt_handler->m_curr); }
619  C4_ALWAYS_INLINE void rem_flags(ParserFlag_t off) noexcept { rem_flags(off, m_evt_handler->m_curr); }
620  #endif
621 
622 private:
623 
624  void _prepare_locations();
625  void _resize_locations(size_t sz);
626  bool _locations_dirty() const;
627 
628 private:
629 
630  void _reset();
631  void _free();
632  void _clr();
633 
634  template<class ...Args> C4_NORETURN C4_NO_INLINE void _err(Location const& cpploc, const char *fmt, Args const& ...args) const;
635  template<class ...Args> C4_NORETURN C4_NO_INLINE void _err(Location const& cpploc, Location const& ymlloc, const char *fmt, Args const& ...args) const;
636  #ifdef RYML_DBG
637  template<class ...Args> C4_NO_INLINE void _dbg(csubstr fmt, Args const& ...args) const;
638  template<class DumpFn> C4_NO_INLINE void _fmt_msg(DumpFn &&dumpfn) const;
639  C4_NO_INLINE void _print_state_stack() const;
640  C4_NO_INLINE void _print_state_stack(substr buf) const;
641  #endif
642 
643 
644 private:
645 
646  /** store pending tag or anchor/ref annotations */
647  struct Annotation
648  {
649  struct Entry
650  {
651  csubstr str;
652  size_t indentation;
653  size_t line;
654  };
655  Entry annotations[2];
656  size_t num_entries;
657  };
658 
659  void _handle_colon();
660  void _add_annotation(Annotation *C4_RESTRICT dst, csubstr str, size_t indentation, size_t line);
661  void _clear_annotations(Annotation *C4_RESTRICT dst);
662  bool _has_pending_annotations() const { return m_pending_tags.num_entries || m_pending_anchors.num_entries; }
663  #ifdef RYML_NO_COVERAGE__TO_BE_DELETED
664  bool _handle_indentation_from_annotations();
665  #endif
666  bool _annotations_require_key_container() const;
667  void _handle_annotations_before_blck_key_scalar();
668  void _handle_annotations_before_blck_val_scalar();
669  void _handle_annotations_before_start_mapblck(size_t current_line);
670  void _handle_annotations_before_start_mapblck_as_key();
671  void _handle_annotations_and_indentation_after_start_mapblck(size_t key_indentation, size_t key_line);
672  size_t _select_indentation_from_annotations(size_t val_indentation, size_t val_line);
673  void _handle_directive(csubstr rem);
674  bool _handle_bom();
675  void _handle_bom(Encoding_e enc);
676 
677  void _check_tag(csubstr tag);
678 
679 private:
680 
681  ParserOptions m_options;
682 
683  csubstr m_file;
684  substr m_buf;
685 
686 public:
687 
688  /** @cond dev */
689  EventHandler *C4_RESTRICT m_evt_handler; // NOLINT
690  /** @endcond */
691 
692 private:
693 
694  Annotation m_pending_anchors;
695  Annotation m_pending_tags;
696 
697  bool m_was_inside_qmrk;
698  bool m_doc_empty = true;
699  size_t m_prev_colon = npos;
700 
701 private:
702 
703  size_t m_bom_len = 0;
704  size_t m_bom_line = 0;
705  Encoding_e m_encoding = UTF8;
706 
707 private:
708 
709  size_t *m_newline_offsets;
710  size_t m_newline_offsets_size;
711  size_t m_newline_offsets_capacity;
712  csubstr m_newline_offsets_buf;
713 
714 public:
715 
716  // deprecated parse methods
717 
718  /** @cond dev */
719  template<class U=EventHandler> RYML_DEPRECATED("removed, deliberately undefined. use the function in parse.hpp.") typename std::enable_if<U::is_wtree, void>::type parse_in_place(csubstr filename, substr yaml, Tree *t, size_t node_id);
720  template<class U=EventHandler> RYML_DEPRECATED("removed, deliberately undefined. use the function in parse.hpp.") typename std::enable_if<U::is_wtree, void>::type parse_in_place( substr yaml, Tree *t, size_t node_id);
721  template<class U=EventHandler> RYML_DEPRECATED("removed, deliberately undefined. use the function in parse.hpp.") typename std::enable_if<U::is_wtree, void>::type parse_in_place(csubstr filename, substr yaml, Tree *t );
722  template<class U=EventHandler> RYML_DEPRECATED("removed, deliberately undefined. use the function in parse.hpp.") typename std::enable_if<U::is_wtree, void>::type parse_in_place( substr yaml, Tree *t );
723  template<class U=EventHandler> RYML_DEPRECATED("removed, deliberately undefined. use the function in parse.hpp.") typename std::enable_if<U::is_wtree, void>::type parse_in_place(csubstr filename, substr yaml, NodeRef node );
724  template<class U=EventHandler> RYML_DEPRECATED("removed, deliberately undefined. use the function in parse.hpp.") typename std::enable_if<U::is_wtree, void>::type parse_in_place( substr yaml, NodeRef node );
725  template<class U=EventHandler> RYML_DEPRECATED("removed, deliberately undefined. use the function in parse.hpp.") typename std::enable_if<U::is_wtree, Tree>::type parse_in_place(csubstr filename, substr yaml );
726  template<class U=EventHandler> RYML_DEPRECATED("removed, deliberately undefined. use the function in parse.hpp.") typename std::enable_if<U::is_wtree, Tree>::type parse_in_place( substr yaml );
727  template<class U=EventHandler> RYML_DEPRECATED("removed, deliberately undefined. use the function in parse.hpp.") typename std::enable_if<U::is_wtree, void>::type parse_in_arena(csubstr filename, csubstr yaml, Tree *t, size_t node_id);
728  template<class U=EventHandler> RYML_DEPRECATED("removed, deliberately undefined. use the function in parse.hpp.") typename std::enable_if<U::is_wtree, void>::type parse_in_arena( csubstr yaml, Tree *t, size_t node_id);
729  template<class U=EventHandler> RYML_DEPRECATED("removed, deliberately undefined. use the function in parse.hpp.") typename std::enable_if<U::is_wtree, void>::type parse_in_arena(csubstr filename, csubstr yaml, Tree *t );
730  template<class U=EventHandler> RYML_DEPRECATED("removed, deliberately undefined. use the function in parse.hpp.") typename std::enable_if<U::is_wtree, void>::type parse_in_arena( csubstr yaml, Tree *t );
731  template<class U=EventHandler> RYML_DEPRECATED("removed, deliberately undefined. use the function in parse.hpp.") typename std::enable_if<U::is_wtree, void>::type parse_in_arena(csubstr filename, csubstr yaml, NodeRef node );
732  template<class U=EventHandler> RYML_DEPRECATED("removed, deliberately undefined. use the function in parse.hpp.") typename std::enable_if<U::is_wtree, void>::type parse_in_arena( csubstr yaml, NodeRef node );
733  template<class U=EventHandler> RYML_DEPRECATED("removed, deliberately undefined. use the function in parse.hpp.") typename std::enable_if<U::is_wtree, Tree>::type parse_in_arena(csubstr filename, csubstr yaml );
734  template<class U=EventHandler> RYML_DEPRECATED("removed, deliberately undefined. use the function in parse.hpp.") typename std::enable_if<U::is_wtree, Tree>::type parse_in_arena( csubstr yaml );
735  template<class U=EventHandler> RYML_DEPRECATED("removed, deliberately undefined. use the csubstr version in parse.hpp.") typename std::enable_if<U::is_wtree, void>::type parse_in_arena(csubstr filename, substr yaml, Tree *t, size_t node_id);
736  template<class U=EventHandler> RYML_DEPRECATED("removed, deliberately undefined. use the csubstr version in parse.hpp.") typename std::enable_if<U::is_wtree, void>::type parse_in_arena( substr yaml, Tree *t, size_t node_id);
737  template<class U=EventHandler> RYML_DEPRECATED("removed, deliberately undefined. use the csubstr version in parse.hpp.") typename std::enable_if<U::is_wtree, void>::type parse_in_arena(csubstr filename, substr yaml, Tree *t );
738  template<class U=EventHandler> RYML_DEPRECATED("removed, deliberately undefined. use the csubstr version in parse.hpp.") typename std::enable_if<U::is_wtree, void>::type parse_in_arena( substr yaml, Tree *t );
739  template<class U=EventHandler> RYML_DEPRECATED("removed, deliberately undefined. use the csubstr version in parse.hpp.") typename std::enable_if<U::is_wtree, void>::type parse_in_arena(csubstr filename, substr yaml, NodeRef node );
740  template<class U=EventHandler> RYML_DEPRECATED("removed, deliberately undefined. use the csubstr version in parse.hpp.") typename std::enable_if<U::is_wtree, void>::type parse_in_arena( substr yaml, NodeRef node );
741  template<class U=EventHandler> RYML_DEPRECATED("removed, deliberately undefined. use the csubstr version in parse.hpp.") typename std::enable_if<U::is_wtree, Tree>::type parse_in_arena(csubstr filename, substr yaml );
742  template<class U=EventHandler> RYML_DEPRECATED("removed, deliberately undefined. use the csubstr version in parse.hpp.") typename std::enable_if<U::is_wtree, Tree>::type parse_in_arena( substr yaml );
743  /** @endcond */
744 
745 };
746 
747 
748 /** @} */
749 
750 } // namespace yml
751 } // namespace c4
752 
753 // NOLINTEND(hicpp-signed-bitwise)
754 
755 #if defined(_MSC_VER)
756 # pragma warning(pop)
757 #endif
758 
759 #endif /* _C4_YML_PARSE_ENGINE_HPP_ */
Holds a pointer to an existing tree, and a node id.
Definition: node.hpp:849
A reference to a node in an existing yaml tree, offering a more convenient API than the index-based A...
Definition: node.hpp:989
This is the main driver of parsing logic: it scans the YAML or JSON source for tokens,...
void reserve_stack(id_type capacity)
Reserve a certain capacity for the parsing stack.
FilterResult filter_scalar_plain(csubstr scalar, substr dst, size_t indentation)
filter a plain scalar
csubstr location_contents(Location const &loc) const
Get the string starting at a particular location, to the end of the parsed source buffer.
FilterResult filter_scalar_squoted(csubstr scalar, substr dst)
filter a single-quoted scalar
ParseEngine(EventHandler *evt_handler, ParserOptions opts={})
FilterResult filter_scalar_dquoted(csubstr scalar, substr dst)
filter a double-quoted scalar
void reserve_filter_arena(size_t)
void parse_json_in_place_ev(csubstr filename, substr src)
parse JSON in place, emitting events to the current handler
Location val_location(const char *val) const
Given a pointer to a buffer position, get the location.
FilterResult filter_scalar_plain_in_place(substr scalar, size_t cap, size_t indentation)
filter a plain scalar in place
FilterResult filter_scalar_squoted_in_place(substr scalar, size_t cap)
filter a single-quoted scalar in place
FilterResultExtending filter_scalar_dquoted_in_place(substr scalar, size_t cap)
filter a double-quoted scalar in place
Encoding_e encoding() const
Get the encoding of the latest YAML buffer parsed by this object.
size_t locations_capacity() const
void parse_in_place_ev(csubstr filename, substr src)
parse YAML in place, emitting events to the current handler
csubstr source() const
Get the latest YAML buffer parsed by this object.
FilterResult filter_scalar_block_literal_in_place(substr scalar, size_t cap, size_t indentation, BlockChomp_e chomp)
filter a block-literal scalar in place
ParserOptions const & options() const
Get the options used to build this parser object.
size_t filter_arena_capacity() const
FilterResult filter_scalar_block_literal(csubstr scalar, substr dst, size_t indentation, BlockChomp_e chomp)
filter a block-literal scalar
id_type stack_capacity() const
Callbacks const & callbacks() const
Get the current callbacks in the parser.
EventHandler handler_type
FilterResult filter_scalar_block_folded_in_place(substr scalar, size_t cap, size_t indentation, BlockChomp_e chomp)
filter a block-folded scalar in place
csubstr filename() const
Get the name of the latest file parsed by this object.
void reserve_locations(size_t num_source_lines)
Reserve a certain capacity for the array used to track node locations in the source buffer.
FilterResult filter_scalar_block_folded(csubstr scalar, substr dst, size_t indentation, BlockChomp_e chomp)
filter a block-folded scalar
#define RYML_EXPORT
Definition: export.hpp:15
void parse_in_arena(Parser *parser, csubstr filename, csubstr yaml, Tree *t, id_type node_id)
(1) parse YAML into an existing tree node. The filename will be used in any error messages arising du...
Definition: parse.cpp:91
void parse_in_place(Parser *parser, csubstr filename, substr yaml, Tree *t, id_type node_id)
(1) parse YAML into an existing tree node.
Definition: parse.cpp:37
id_type estimate_tree_capacity(csubstr src)
Quickly inspect the source to estimate the number of nodes the resulting tree is likely to have.
Definition: parse.cpp:134
enum c4::yml::BlockChomp_ BlockChomp_e
@ CHOMP_CLIP
single newline at end (default)
@ CHOMP_KEEP
all newlines from end (+)
@ CHOMP_STRIP
no newline at end (-)
RYML_ID_TYPE id_type
The type of a node id in the YAML tree; to override the default type, define the macro RYML_ID_TYPE t...
Definition: common.hpp:244
@ npos
a null string position
Definition: common.hpp:258
int ParserFlag_t
data type for ParserState_e
@ UTF8
UTF8.
Definition: common.hpp:264
@ NOBOM
No Byte Order Mark was found.
Definition: common.hpp:263
enum c4::yml::Encoding_ Encoding_e
csubstr version()
Definition: version.cpp:6
(Undefined by default) Use shorter error message from checks/asserts: do not show the check condition...
Definition: common.cpp:14
A c-style callbacks class to customize behavior on errors or allocation.
Definition: common.hpp:511
Abstracts the fact that a scalar filter result may not fit in the intended memory.
Abstracts the fact that a scalar filter result may not fit in the intended memory.
holds a source or yaml file position, for example when an error is detected; See also location_format...
Definition: common.hpp:283
Options to give to the parser to control its behavior.
Definition: common.hpp:347