1#ifndef _C4_YML_TREE_HPP_
4#ifndef _C4_YML_DETAIL_DBGPRINT_HPP_
5#include "c4/yml/detail/dbgprint.hpp"
7#ifndef _C4_YML_NODE_HPP_
10#ifndef _C4_YML_REFERENCE_RESOLVERS_HPP_
15C4_SUPPRESS_WARNING_MSVC_WITH_PUSH(4296)
16C4_SUPPRESS_WARNING_MSVC(4702)
17C4_SUPPRESS_WARNING_GCC_CLANG_WITH_PUSH(
"-Wold-style-cast")
18C4_SUPPRESS_WARNING_GCC(
"-Wtype-limits")
19C4_SUPPRESS_WARNING_GCC(
"-Wuseless-cast")
31 substr rem(tree->m_arena.sub(tree->m_arena_pos));
35 rem = tree->_grow_arena(num);
37 _RYML_ASSERT_VISIT_(tree->m_callbacks, num <= rem.
len, tree,
NONE);
39 return tree->_request_span(num);
47 else if(tree->m_arena.str ==
nullptr)
55 return tree->_request_span(0);
205C4_SUPPRESS_WARNING_GCC_PUSH
206#if defined(__GNUC__) && __GNUC__>= 8
207 C4_SUPPRESS_WARNING_GCC_WITH_PUSH(
"-Wclass-memaccess")
222void Tree::_copy(
Tree const& that)
229 m_buf = _RYML_CB_ALLOC_HINT(
m_callbacks, NodeData, (
size_t)that.m_cap, that.m_buf);
230 memcpy(
m_buf, that.m_buf, (
size_t)that.m_cap *
sizeof(NodeData));
243 arena.str = _RYML_CB_ALLOC_HINT(
m_callbacks,
char, that.m_arena.len, that.m_arena.str);
244 arena.len = that.m_arena.len;
250void Tree::_move(
Tree & that)
noexcept
252 _RYML_ASSERT_VISIT_(m_callbacks, m_buf ==
nullptr,
this,
NONE);
253 _RYML_ASSERT_VISIT_(m_callbacks, m_arena.str ==
nullptr,
this,
NONE);
254 _RYML_ASSERT_VISIT_(m_callbacks, m_arena.len == 0,
this,
NONE);
257 m_size = that.m_size;
258 m_free_head = that.m_free_head;
259 m_free_tail = that.m_free_tail;
260 m_arena = that.m_arena;
261 m_arena_pos = that.m_arena_pos;
262 m_tag_directives = that.m_tag_directives;
266void Tree::_relocate(
substr next_arena)
277 n->m_key.scalar = _relocated(n->m_key.scalar, next_arena);
279 n->m_key.tag = _relocated(n->m_key.tag, next_arena);
281 n->m_key.anchor = _relocated(n->m_key.anchor, next_arena);
283 n->m_val.scalar = _relocated(n->m_val.scalar, next_arena);
285 n->m_val.tag = _relocated(n->m_val.tag, next_arena);
287 n->m_val.anchor = _relocated(n->m_val.anchor, next_arena);
292 td.prefix = _relocated(td.prefix, next_arena);
294 td.handle = _relocated(td.handle, next_arena);
313 _clear_range(first, del);
340 _clear_range(0,
m_cap);
357void Tree::_claim_root()
370 _RYML_ASSERT_VISIT_(
m_callbacks, first >= 0 && first + num <=
m_cap,
this, first);
371 memset(
m_buf + first, 0, (
size_t)num *
sizeof(NodeData));
372 for(
id_type i = first, e = first + num; i < e; ++i)
375 NodeData *n =
m_buf + i;
377 n->m_next_sibling = i + 1;
382C4_SUPPRESS_WARNING_GCC_POP
399void Tree::_free_list_add(
id_type i)
402 NodeData &C4_RESTRICT w =
m_buf[i];
406 w.m_prev_sibling =
NONE;
414void Tree::_free_list_rem(
id_type i)
455 C4_SUPPRESS_WARNING_PUSH
456 C4_SUPPRESS_WARNING_CLANG(
"-Wnull-dereference")
457 #if defined(__GNUC__)
459 C4_SUPPRESS_WARNING_GCC(
"-Wnull-dereference")
462 C4_SUPPRESS_WARNING_GCC(
"-Wanalyzer-fd-leak")
465 _RYML_ASSERT_VISIT_(
m_callbacks, ichild >= 0 && ichild <
m_cap,
this, ichild);
466 _RYML_ASSERT_VISIT_(
m_callbacks, iparent ==
NONE || (iparent >= 0 && iparent <
m_cap),
this, iparent);
467 _RYML_ASSERT_VISIT_(
m_callbacks, iprev_sibling ==
NONE || (iprev_sibling >= 0 && iprev_sibling <
m_cap),
this, iprev_sibling);
469 NodeData *C4_RESTRICT
child =
_p(ichild);
471 child->m_parent = iparent;
477 _RYML_ASSERT_VISIT_(
m_callbacks, ichild == 0,
this, ichild);
478 _RYML_ASSERT_VISIT_(
m_callbacks, iprev_sibling ==
NONE,
this, iprev_sibling);
485 NodeData *C4_RESTRICT
parent =
get(iparent);
486 NodeData *C4_RESTRICT psib =
get(iprev_sibling);
487 NodeData *C4_RESTRICT nsib =
get(inext_sibling);
492 child->m_prev_sibling =
id(psib);
493 psib->m_next_sibling =
id(
child);
494 _RYML_ASSERT_VISIT_(
m_callbacks, psib->m_prev_sibling != psib->m_next_sibling || psib->m_prev_sibling ==
NONE,
this, iprev_sibling);
500 child->m_next_sibling =
id(nsib);
501 nsib->m_prev_sibling =
id(
child);
502 _RYML_ASSERT_VISIT_(
m_callbacks, nsib->m_prev_sibling != nsib->m_next_sibling || nsib->m_prev_sibling ==
NONE,
this, inext_sibling);
519 C4_SUPPRESS_WARNING_POP
525void Tree::_rem_hierarchy(
id_type i)
529 NodeData &C4_RESTRICT w =
m_buf[i];
532 if(w.m_parent !=
NONE)
534 NodeData &C4_RESTRICT p =
m_buf[w.m_parent];
535 if(p.m_first_child == i)
537 p.m_first_child = w.m_next_sibling;
539 if(p.m_last_child == i)
541 p.m_last_child = w.m_prev_sibling;
546 if(w.m_prev_sibling !=
NONE)
548 NodeData *C4_RESTRICT prev =
get(w.m_prev_sibling);
549 prev->m_next_sibling = w.m_next_sibling;
551 if(w.m_next_sibling !=
NONE)
553 NodeData *C4_RESTRICT next =
get(w.m_next_sibling);
554 next->m_prev_sibling = w.m_prev_sibling;
575 count = _do_reorder(&i, count);
599 _swap_hierarchy(n_, m_);
605 _copy_hierarchy(n_, m_);
613 _copy_hierarchy(m_, n_);
630 if(i == ib || i == ia)
637 if(i == ib || i == ia)
642 auto & C4_RESTRICT a = *
_p(ia);
643 auto & C4_RESTRICT b = *
_p(ib);
644 auto & C4_RESTRICT pa = *
_p(a.m_parent);
645 auto & C4_RESTRICT pb = *
_p(b.m_parent);
649 if((pa.m_first_child == ib && pa.m_last_child == ia)
651 (pa.m_first_child == ia && pa.m_last_child == ib))
653 std::swap(pa.m_first_child, pa.m_last_child);
657 bool changed =
false;
658 if(pa.m_first_child == ia)
660 pa.m_first_child = ib;
663 if(pa.m_last_child == ia)
665 pa.m_last_child = ib;
668 if(pb.m_first_child == ib && !changed)
670 pb.m_first_child = ia;
672 if(pb.m_last_child == ib && !changed)
674 pb.m_last_child = ia;
680 if(pa.m_first_child == ia)
681 pa.m_first_child = ib;
682 if(pa.m_last_child == ia)
683 pa.m_last_child = ib;
684 if(pb.m_first_child == ib)
685 pb.m_first_child = ia;
686 if(pb.m_last_child == ib)
687 pb.m_last_child = ia;
689 std::swap(a.m_first_child , b.m_first_child);
690 std::swap(a.m_last_child , b.m_last_child);
692 if(a.m_prev_sibling != ib && b.m_prev_sibling != ia &&
693 a.m_next_sibling != ib && b.m_next_sibling != ia)
695 if(a.m_prev_sibling !=
NONE && a.m_prev_sibling != ib)
697 if(a.m_next_sibling !=
NONE && a.m_next_sibling != ib)
699 if(b.m_prev_sibling !=
NONE && b.m_prev_sibling != ia)
701 if(b.m_next_sibling !=
NONE && b.m_next_sibling != ia)
703 std::swap(a.m_prev_sibling, b.m_prev_sibling);
704 std::swap(a.m_next_sibling, b.m_next_sibling);
708 if(a.m_next_sibling == ib)
710 _RYML_ASSERT_VISIT_(
m_callbacks, b.m_prev_sibling == ia,
this, ia);
711 if(a.m_prev_sibling !=
NONE)
713 _RYML_ASSERT_VISIT_(
m_callbacks, a.m_prev_sibling != ib,
this, ib);
716 if(b.m_next_sibling !=
NONE)
718 _RYML_ASSERT_VISIT_(
m_callbacks, b.m_next_sibling != ia,
this, ia);
722 b.m_prev_sibling = a.m_prev_sibling;
723 b.m_next_sibling = ia;
724 a.m_prev_sibling = ib;
725 a.m_next_sibling = ns;
727 else if(a.m_prev_sibling == ib)
729 _RYML_ASSERT_VISIT_(
m_callbacks, b.m_next_sibling == ia,
this, ia);
730 if(b.m_prev_sibling !=
NONE)
732 _RYML_ASSERT_VISIT_(
m_callbacks, b.m_prev_sibling != ia,
this, ia);
735 if(a.m_next_sibling !=
NONE)
737 _RYML_ASSERT_VISIT_(
m_callbacks, a.m_next_sibling != ib,
this, ib);
741 a.m_prev_sibling = b.m_prev_sibling;
742 a.m_next_sibling = ib;
743 b.m_prev_sibling = ia;
744 b.m_next_sibling = ns;
751 _RYML_ASSERT_VISIT_(
m_callbacks, a.m_next_sibling != ia,
this, ia);
752 _RYML_ASSERT_VISIT_(
m_callbacks, a.m_prev_sibling != ia,
this, ia);
753 _RYML_ASSERT_VISIT_(
m_callbacks, b.m_next_sibling != ib,
this, ib);
754 _RYML_ASSERT_VISIT_(
m_callbacks, b.m_prev_sibling != ib,
this, ib);
756 if(a.m_parent != ib && b.m_parent != ia)
758 std::swap(a.m_parent, b.m_parent);
762 if(a.m_parent == ib && b.m_parent != ia)
764 a.m_parent = b.m_parent;
767 else if(a.m_parent != ib && b.m_parent == ia)
769 b.m_parent = a.m_parent;
782 auto const& C4_RESTRICT src = *
_p(src_);
783 auto & C4_RESTRICT dst = *
_p(dst_);
784 auto & C4_RESTRICT prt = *
_p(src.m_parent);
789 if(src.m_prev_sibling !=
NONE)
793 if(src.m_next_sibling !=
NONE)
797 if(prt.m_first_child == src_)
799 prt.m_first_child = dst_;
801 if(prt.m_last_child == src_)
803 prt.m_last_child = dst_;
805 dst.m_parent = src.m_parent;
806 dst.m_first_child = src.m_first_child;
807 dst.m_last_child = src.m_last_child;
808 dst.m_prev_sibling = src.m_prev_sibling;
809 dst.m_next_sibling = src.m_next_sibling;
815 NodeData &C4_RESTRICT n = *
_p(n_);
816 NodeData &C4_RESTRICT m = *
_p(m_);
817 std::swap(n.m_type, m.m_type);
818 std::swap(n.m_key, m.m_key);
819 std::swap(n.m_val, m.m_val);
828 _RYML_ASSERT_VISIT_(
m_callbacks, node != after,
this, node);
832 _rem_hierarchy(node);
833 _set_hierarchy(node,
parent(node), after);
841 _RYML_ASSERT_VISIT_(
m_callbacks, node != after,
this, node);
842 _RYML_ASSERT_VISIT_(
m_callbacks, new_parent !=
NONE,
this, new_parent);
843 _RYML_ASSERT_VISIT_(
m_callbacks, new_parent != node,
this, new_parent);
844 _RYML_ASSERT_VISIT_(
m_callbacks, new_parent != after,
this, new_parent);
847 _rem_hierarchy(node);
848 _set_hierarchy(node, new_parent, after);
853 _RYML_ASSERT_VISIT_(
m_callbacks, src !=
nullptr,
this, new_parent);
855 _RYML_ASSERT_VISIT_(
m_callbacks, new_parent !=
NONE,
this, new_parent);
856 _RYML_ASSERT_VISIT_(
m_callbacks, new_parent != after,
this, new_parent);
868 _c4dbgpf(
"set_root_as_stream. rootty={}",
type(root).
type);
872 if(td.doc_id >=
m_cap ||
_p(td.doc_id)->m_parent ==
NONE)
874 _c4dbgpf(
"tagd[{}]: id={}->NONE", &td-
m_tag_directives.m_directives, td.doc_id);
885 _copy_props_wo_key(next_doc, root);
892 _copy_props_wo_key(next_doc, root);
901 _copy_props_wo_key(next_doc, root);
902 _add_flags(next_doc,
DOC);
907 move(ch, next_doc, prev);
917 _c4dbgpf(
"tagd[{}]: id={}->{}", &td-
m_tag_directives.m_directives, td.doc_id,
id);
926 _RYML_ASSERT_VISIT_(
m_callbacks,
get(node) !=
nullptr,
this, node);
927 C4_SUPPRESS_WARNING_GCC_PUSH
928 #if defined(__GNUC__) && __GNUC__ >= 6
929 C4_SUPPRESS_WARNING_GCC(
"-Wnull-dereference")
935 _RYML_ASSERT_VISIT_(
m_callbacks,
get(ich) !=
nullptr,
this, node);
938 if(ich ==
get(node)->m_last_child)
942 C4_SUPPRESS_WARNING_GCC_POP
971 _RYML_ASSERT_VISIT_(
m_callbacks, src !=
nullptr, src, node);
978 _copy_props(copy, src, node);
979 _set_hierarchy(copy,
parent, after);
993 _RYML_ASSERT_VISIT_(
m_callbacks, src !=
nullptr, src, node);
1015 _RYML_ASSERT_VISIT_(
m_callbacks, src !=
nullptr, src, node);
1018 _copy_props_wo_key(where, src, node);
1055 _c4dbgpf(
"duplicate_no_rep: {} -> {}/{}", i,
parent, prev);
1059 _c4dbgpf(
"duplicate_no_rep: {} is seq",
parent);
1064 _c4dbgpf(
"duplicate_no_rep: {} is map",
parent);
1072 if(
key(j) == srckey)
1074 _c4dbgpf(
"duplicate_no_rep: found matching key '{}' src={}/{} dst={}/{}", srckey, node, i,
parent, j);
1076 dstnode_dup_pos = jcount;
1081 _c4dbgpf(
"duplicate_no_rep: dstnode_dup={} dstnode_dup_pos={} after_pos={}", dstnode_dup, dstnode_dup_pos, after_pos);
1082 if(dstnode_dup ==
NONE)
1084 _c4dbgpf(
"duplicate_no_rep: no repetition, just duplicate i={} parent={} prev={}", i,
parent, prev);
1089 if(after_pos !=
NONE && dstnode_dup_pos <= after_pos)
1093 _c4dbgpf(
"duplicate_no_dstnode_dup: replace {}/{} with {}/{}",
parent, dstnode_dup, node, i);
1094 if(prev == dstnode_dup)
1099 else if(prev ==
NONE)
1101 _c4dbgpf(
"duplicate_no_dstnode_dup: {}=prev <- {}", prev, dstnode_dup);
1105 else if(dstnode_dup != prev)
1109 _c4dbgpf(
"duplicate_no_dstnode_dup: move({}, {})", dstnode_dup, prev);
1110 move(dstnode_dup, prev);
1125 _RYML_ASSERT_VISIT_(
m_callbacks, src !=
nullptr, src, src_node);
1126 if(src_node ==
NONE)
1128 if(dst_node ==
NONE)
1142 _copy_props(dst_node, src, src_node, mask_src);
1147 _copy_props_wo_key(dst_node, src, src_node, mask_src);
1150 else if(src->
is_seq(src_node))
1156 _clear_type(dst_node);
1165 _copy_props_wo_key(dch, src, sch);
1176 _clear_type(dst_node);
1188 _copy_props(dch, src, sch);
1210 rr->resolve(
this, clear_anchors);
1251 C4_SUPPRESS_WARNING_PUSH
1252 #if defined(__clang__)
1253 #elif defined(__GNUC__)
1255 C4_SUPPRESS_WARNING_GCC(
"-Wnull-dereference")
1258 C4_SUPPRESS_WARNING_GCC(
"-Wanalyzer-null-dereference")
1263 if(
_p(node)->m_first_child ==
NONE)
1274 if(
_p(i)->m_key.scalar == name)
1280 C4_SUPPRESS_WARNING_POP
1287 maxdepth = currdepth > maxdepth ? currdepth : maxdepth;
1288 for(
id_type child = t.first_child(
id); child !=
NONE; child = t.next_sibling(child))
1290 const id_type d = depth_desc_(t, child, currdepth+1, maxdepth);
1291 maxdepth = d > maxdepth ? d : maxdepth;
1300 return depth_desc_(*
this, node);
1337 _set_flags(node,
VAL|more_flags);
1347 _set_flags(node,
KEYVAL|more_flags);
1356 _set_flags(node,
MAP|more_flags);
1365 _set_flags(node,
KEY|
MAP|more_flags);
1374 _set_flags(node,
SEQ|more_flags);
1383 _set_flags(node,
KEY|
SEQ|more_flags);
1391 _set_flags(node,
DOC|more_flags);
1399 _set_flags(node,
STREAM|more_flags);
1411 d->m_type.clear_style();
1425 if((d->m_type & type_mask) == type_mask)
1427 d->m_type &= ~(
NodeType)rem_style_flags;
1428 d->m_type |= (
NodeType)add_style_flags;
1471 _c4dbgpf(
"tag: doc={} node={} resolving tag ~~~{}~~~", doc_id, node_id, tag);
1481 TagCache::LookupResult ret = cache.
find(tag, doc_id);
1484 _c4dbgpf(
"tag: doc={} node={} resolving tag: found in cache[{}]: {}", doc_id, node_id, ret.pos, _prs(ret.resolved));
1485 *resolved = ret.resolved;
1489 _c4dbgpf(
"tag: doc={} node={} tag not in cache ~~~{}~~~", doc_id, node_id, tag);
1496 else if(reqsize <= buf.len)
1499 *resolved = buf.
first(reqsize);
1500 cache.
add(tag, *resolved, doc_id, ret.pos);
1505 _c4dbgpf(
"tag: doc={} node={} extra size needed: {}", doc_id, node_id, reqsize);
1507 _c4dbgpf(
"tag: doc={} node={} resolved tag: ~~~{}~~~", doc_id, node_id, *resolved);
1514 NodeData *C4_RESTRICT d = t->_p(node);
1515 size_t extra_size = 0;
1517 extra_size += _transform_tag(t, node, doc_id, cache, d->m_key.tag, &d->m_key.tag);
1519 extra_size += _transform_tag(t, node, doc_id, cache, d->m_val.tag, &d->m_val.tag);
1520 for(
id_type child = t->first_child(node); child !=
NONE; child = t->next_sibling(child))
1521 extra_size += _resolve_tags(t, child, doc_id, cache);
1524size_t _resolve_tags(
Tree *t,
TagCache &cache,
bool all)
1527 size_t extra_size = 0;
1528 if(!t->is_stream(r))
1529 extra_size += _resolve_tags(t, r, r, cache, all);
1531 for(
id_type doc_id = t->first_child(r); doc_id !=
NONE; doc_id = t->next_sibling(doc_id))
1532 extra_size += _resolve_tags(t, doc_id, doc_id, cache, all);
1537 NodeData *C4_RESTRICT d = t->_p(node);
1542 for(
id_type child = t->first_child(node); child !=
NONE; child = t->next_sibling(child))
1543 _normalize_tags(t, child);
1547 NodeData *C4_RESTRICT d = t->_p(node);
1552 for(
id_type child = t->first_child(node); child !=
NONE; child = t->next_sibling(child))
1553 _normalize_tags_long(t, child);
1563 size_t extra_size = _resolve_tags(
this, cache, all);
1568 _c4dbgpf(
"tag: extrasize={} -- retry! {}->{}", extra_size,
m_arena.len,
m_arena.len + extra_size);
1569 _grow_arena(extra_size);
1570 extra_size = _resolve_tags(
this, cache, all);
1571 _RYML_ASSERT_BASIC_(
callbacks(), extra_size == 0);
1579 _normalize_tags(
this,
root_id());
1586 _normalize_tags_long(
this,
root_id());
1627 id_type target = _lookup_path_or_create(path, start);
1628 set_val(target, default_value);
1634 id_type target = _lookup_path_or_create(path, start);
1643 lookup_result r(path, start);
1650 _lookup_path_modify(&r);
1654void Tree::_lookup_path(lookup_result *r)
const
1656 C4_ASSERT( ! r->unresolved().empty());
1657 _lookup_path_token
parent{
"",
type(r->closest)};
1661 node = _next_node(r, &
parent);
1664 if(r->unresolved().empty())
1669 }
while(node !=
NONE);
1674 C4_ASSERT( ! r->unresolved().empty());
1675 _lookup_path_token
parent{
"",
type(r->closest)};
1679 node = _next_node_modify(r, &
parent);
1682 if(r->unresolved().empty())
1687 }
while(node !=
NONE);
1692 _lookup_path_token token = _next_token(r, *
parent);
1698 if(token.type ==
MAP || token.type ==
SEQ)
1700 _RYML_ASSERT_VISIT_(
m_callbacks, !token.value.begins_with(
'['),
this, r->closest);
1705 else if(token.type ==
KEYVAL)
1707 _RYML_ASSERT_VISIT_(
m_callbacks, r->unresolved().empty(),
this, r->closest);
1711 else if(token.type ==
KEY)
1713 _RYML_ASSERT_VISIT_(
m_callbacks, token.value.begins_with(
'[') && token.value.ends_with(
']'),
this, r->closest);
1714 token.value = token.value.offs(1, 1).trim(
' ');
1717 node =
child(r->closest, idx);
1730 csubstr p = r->path.
sub(r->path_pos > 0 ? r->path_pos - 1 : r->path_pos);
1731 r->path_pos -= prev.
len;
1732 if(p.begins_with(
'.'))
1741 _lookup_path_token token = _next_token(r, *
parent);
1746 if(token.type ==
MAP || token.type ==
SEQ)
1748 _RYML_ASSERT_VISIT_(
m_callbacks, !token.value.begins_with(
'['),
this, r->closest);
1765 node =
child(r->closest, pos);
1772 NodeData *n =
_p(node);
1773 n->m_key.scalar = token.value;
1777 else if(token.type ==
KEYVAL)
1779 _RYML_ASSERT_VISIT_(
m_callbacks, r->unresolved().empty(),
this, r->closest);
1789 _add_flags(r->closest,
MAP);
1792 NodeData *n =
_p(node);
1793 n->m_key.scalar = token.value;
1794 n->m_val.scalar =
"";
1797 else if(token.type ==
KEY)
1799 _RYML_ASSERT_VISIT_(
m_callbacks, token.value.begins_with(
'[') && token.value.ends_with(
']'),
this, r->closest);
1800 token.value = token.value.offs(1, 1).trim(
' ');
1811 node =
child(r->closest, idx);
1849Tree::_lookup_path_token Tree::_next_token(
lookup_result *r, _lookup_path_token
const&
parent)
const
1851 csubstr unres = r->unresolved();
1856 if(unres.begins_with(
'['))
1858 size_t pos = unres.find(
']');
1862 _advance(r, pos + 1);
1870 _advance(r, unres.len);
1873 return {unres,
VAL};
1878 _RYML_ASSERT_VISIT_(
m_callbacks, unres[pos] ==
'.' || unres[pos] ==
'[',
this, r->closest);
1879 if(unres[pos] ==
'.')
1881 _RYML_ASSERT_VISIT_(
m_callbacks, pos != 0,
this, r->closest);
1882 _advance(r, pos + 1);
1883 return {unres.first(pos),
MAP};
1886 _RYML_ASSERT_VISIT_(
m_callbacks, unres[pos] ==
'[',
this, r->closest);
1888 return {unres.first(pos),
SEQ};
1900#ifndef _C4_YML_EVENT_HANDLER_TREE_HPP_
1903#ifndef _C4_YML_PARSE_ENGINE_DEF_HPP_
1906#ifndef _C4_YML_PARSE_HPP_
1917 if(_location_from_node(parser, node, &loc, 0))
1927 if(C4_LIKELY(k.
str !=
nullptr))
1939 if(C4_LIKELY(v.str !=
nullptr))
1950 if(_location_from_cont(parser, node, loc))
1961 if(_location_from_node(parser, prev, loc, level+1))
1970 if(_location_from_node(parser, next, loc, level+1))
1979 if(_location_from_node(parser,
parent, loc, level+1))
2000 if(k.str && node_start > k.str)
2004 *loc = parser.val_location(node_start);
2009 *loc = parser.val_location(parser.source().str);
2019C4_SUPPRESS_WARNING_GCC_CLANG_POP
2020C4_SUPPRESS_WARNING_MSVC_POP
Holds a pointer to an existing tree, and a node id.
A reference to a node in an existing yaml tree, offering a more convenient API than the index-based A...
Location val_location(const char *val) const
Given a pointer to a buffer position, get the location.
csubstr source() const
Get the latest YAML buffer parsed by this object.
void move(id_type node, id_type after)
change the node's position in the parent
NodeData * _p(id_type node)
An if-less form of get() that demands a valid node index. This function is implementation only; use a...
id_type duplicate(id_type node, id_type new_parent, id_type after)
recursively duplicate a node from this tree into a new parent, placing it after one of its children
void clear()
clear the tree and zero every node
lookup_result lookup_path(csubstr path, id_type start=NONE) const
for example foo.bar[0].baz
csubstr const & key(id_type node) const
id_type lookup_path_or_modify(csubstr default_value, csubstr path, id_type start=NONE)
defaulted lookup: lookup path; if the lookup fails, recursively modify the tree so that the correspon...
id_type first_child(id_type node) const
bool is_stream(id_type node) const
NodeType type(id_type node) const
void set_root_as_stream()
ensure the first node is a stream.
id_type root_id() const
Get the id of the root node. The tree must not be empty. The tree can be empty only when constructed ...
NodeRef rootref()
Get the root as a NodeRef . Note that a non-const Tree implicitly converts to NodeRef.
void resolve_tags(TagCache &cache, bool all=true)
Resolve tags in the tree such as "!!str" -> "<tag:yaml.org,2002:str>", "!foo" -> "<!...
id_type prev_sibling(id_type node) const
void reserve_arena(size_t arena_cap=RYML_DEFAULT_TREE_ARENA_CAPACITY)
ensure the tree's internal string arena is at least the given capacity
void set_val(id_type node, csubstr val) RYML_NOEXCEPT
bool is_map(id_type node) const
void clear_tag_directives()
void reserve(id_type node_capacity=RYML_DEFAULT_TREE_CAPACITY)
csubstr const & val(id_type node) const
Tree & operator=(Tree const &that)
TagDirectives m_tag_directives
bool is_root(id_type node) const
NodeRef ref(id_type node)
Get a NodeRef of a node by id.
bool is_keyval(id_type node) const
bool has_key(id_type node) const
id_type depth_asc(id_type node) const
O(log(num_tree_nodes)) get the ascending depth of the node: number of levels between root and node.
bool in_arena(csubstr s) const
return true if the given substring is part of the tree's string arena
id_type parent(id_type node) const
size_t resolve_tag(substr output, csubstr tag, id_type node_id) const
resolve the given tag, appearing at node_id.
bool is_val(id_type node) const
bool empty() const
Query for zero size.
void set_seq(id_type node) RYML_NOEXCEPT
id_type child_pos(id_type node, id_type ch) const
id_type append_child(id_type parent)
create and insert a node as the last child of parent
void clear_style(id_type node, bool recurse=false)
bool has_sibling(id_type node, id_type sib) const
true if node has a sibling with id sib
id_type next_sibling(id_type node) const
id_type depth_desc(id_type node) const
O(num_tree_nodes) get the descending depth of the node: number of levels between node and deepest chi...
id_type num_tag_directives() const
bool parent_is_seq(id_type node) const
ConstNodeRef crootref() const
Get the root as a ConstNodeRef . Note that Tree implicitly converts to ConstNodeRef.
id_type duplicate_children_no_rep(id_type node, id_type parent, id_type after)
duplicate the node's children (but not the node) in a new parent, but omit repetitions where a duplic...
id_type last_child(id_type node) const
id_type id(NodeData const *n) const
get the id of a node belonging to this tree. n can be nullptr, in which case NONE is returned n must ...
ConstNodeRef cdocref(id_type i) const
get the i-th document of the stream
void set_style_conditionally(id_type node, NodeType type_mask, NodeType rem_style_flags, NodeType add_style_flags, bool recurse=false)
NodeRef docref(id_type i)
get the i-th document of the stream
void reorder()
reorder the tree in memory so that all the nodes are stored in a linear sequence when visited in dept...
void remove_children(id_type node)
remove all the node's children, but keep the node itself
bool is_ancestor(id_type node, id_type ancestor) const
true when ancestor is parent or parent of a parent of node
bool has_val(id_type node) const
Callbacks const & callbacks() const
size_t arena_capacity() const
get the current capacity of the tree's internal arena
id_type doc(id_type i) const
gets the i document node index.
bool change_type(id_type node, NodeType type)
void normalize_tags_long()
void resolve(ReferenceResolver *rr, bool clear_anchors=true)
Resolve references (aliases <- anchors), by forwarding to ReferenceResolver::resolve(); refer to Refe...
bool is_seq(id_type node) const
bool parent_is_map(id_type node) const
void set_map(id_type node) RYML_NOEXCEPT
void remove(id_type node)
remove an entire branch at once: ie remove the children and the node itself
id_type find_child(id_type node, csubstr const &key) const
Location location(Parser const &p, id_type node) const
Get the location of a node from the parse used to parse this tree.
void duplicate_contents(id_type node, id_type where)
NodeData * get(id_type node)
get a pointer to a node's NodeData. node can be NONE, in which case a nullptr is returned
void add_tag_directive(csubstr handle, csubstr prefix, id_type id)
id_type duplicate_children(id_type node, id_type parent, id_type after)
recursively duplicate the node's children (but not the node)
void set_key(id_type node, csubstr key) RYML_NOEXCEPT
id_type num_children(id_type node) const
O(num_children).
csubstr arena() const
get the current arena
void merge_with(Tree const *src, id_type src_node=NONE, id_type dst_root=NONE)
bool is_container(id_type node) const
id_type child(id_type node, id_type pos) const
bool has_child(id_type node, id_type ch) const
true if node has a child with id ch
ConstNodeRef cref(id_type node) const
Get a NodeRef of a node by id.
bool has_children(id_type node) const
true if node has any children
#define RYML_DEFAULT_TREE_CAPACITY
default capacity for the tree when not set explicitly
#define RYML_DEFAULT_TREE_ARENA_CAPACITY
default capacity for the tree's arena when not set explicitly
bool atox(csubstr s, uint8_t *v) noexcept
bool from_chars(csubstr buf, uint8_t *v) noexcept
uint32_t type_bits
the integral type necessary to cover all the bits for NodeType_e
@ NOTYPE
no node type or style is set
@ MAP
a map: a parent of KEYVAL/KEYSEQ/KEYMAP nodes
@ STREAM
a stream: a seq of docs
@ KEY
the scalar to the left of : in a map's member
@ VAL_STYLE
mask of VALQUO|VAL_PLAIN : all the val scalar styles for val (not container styles!...
@ KEYTAG
the key has a tag
@ VAL
a scalar: has a scalar (ie string) value, possibly empty. must be a leaf node, and cannot be MAP or S...
@ VALTAG
the val has a tag
@ SEQ
a seq: a parent of VAL/SEQ/MAP nodes
@ KEY_STYLE
mask of KEYQUO|KEY_PLAIN : all the key scalar styles for key (not container styles!...
@ STYLE
mask of SCALAR_STYLE | CONTAINER_STYLE : all style flags
@ CONTAINER_STYLE
mask of CONTAINER_STYLE_FLOW|CONTAINER_STYLE_BLOCK : all container style flags
ParseEngine< EventHandlerTree > Parser
This is the main ryml parser, where the parser events are handled to create a ryml tree (see Event Ha...
size_t to_chars(ryml::substr buf, vec2< T > v)
basic_substring< char > substr
a mutable string view
basic_substring< const char > csubstr
an immutable string view
bool is_valid_tag_handle(csubstr handle)
bool is_custom_tag(csubstr tag)
is a tag of the form !handle!tag?
csubstr normalize_tag_long(csubstr tag)
csubstr normalize_tag(csubstr tag)
csubstr serialize_to_arena(Tree *tree, csubstr a)
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...
(Undefined by default) Use shorter error message from checks/asserts: do not show the check condition...
bool begins_with(const C c) const noexcept
true if the first character of the string is c
size_t len
the length of the substring
bool ends_with(const C c) const noexcept
true if the last character of the string is c
size_t first_of(const C c, size_t start=0) const
basic_substring first(size_t num) const noexcept
return the first num elements: [0,num[
basic_substring sub(size_t first) const noexcept
return [first,len[
bool empty() const noexcept
bool is_super(ro_substr const that) const noexcept
true if that is a substring of *this (ie, from the same buffer)
C * str
a restricted pointer to the first character of the substring
bool is_sub(ro_substr const that) const noexcept
true if *this is a substring of that (ie, from the same buffer)
A c-style callbacks class to customize behavior on errors or allocation.
holds a source or yaml file position, for example when an error is detected; See also location_format...
contains the data for each YAML node.
wraps a NodeType_e element with some syntactic sugar and predicates
void rem(NodeType_e t) noexcept
void add(NodeType_e t) noexcept
Reusable object to resolve references/aliases in a Tree.
Accelerator structure to reduce memory requirements by enabling reuse of resolved tags.
LookupResult find(csubstr tag, id_type doc_id, id_type linear_threshold=Entries::sso_size) const noexcept
void add(csubstr tag, csubstr resolved, id_type doc_id, const_iterator pos) RYML_NOEXCEPT
csubstr unresolved() const
get the part ot the input path that was unresolved
csubstr resolved() const
get the part ot the input path that was resolved