2 #include "c4/yml/detail/dbgprint.hpp"
7 C4_SUPPRESS_WARNING_MSVC_WITH_PUSH(4296)
8 C4_SUPPRESS_WARNING_MSVC(4702)
9 C4_SUPPRESS_WARNING_GCC_CLANG_WITH_PUSH("-Wold-style-cast")
10 C4_SUPPRESS_WARNING_GCC("-Wtype-limits")
11 C4_SUPPRESS_WARNING_GCC("-Wuseless-cast")
23 substr rem(tree->m_arena.sub(tree->m_arena_pos));
27 rem = tree->_grow_arena(num);
29 _RYML_ASSERT_VISIT_(tree->m_callbacks, num <= rem.len, tree,
NONE);
31 return tree->_request_span(num);
39 else if(tree->m_arena.str ==
nullptr)
47 return tree->_request_span(0);
58 return NodeRef(
this, root_id());
72 _RYML_ASSERT_VISIT_(m_callbacks,
id !=
NONE &&
id >= 0 &&
id < m_cap,
this,
id);
77 _RYML_ASSERT_VISIT_(m_callbacks,
id !=
NONE &&
id >= 0 &&
id < m_cap,
this,
id);
82 _RYML_ASSERT_VISIT_(m_callbacks,
id !=
NONE &&
id >= 0 &&
id < m_cap,
this,
id);
88 return rootref()[
key];
92 return rootref()[
key];
175 m_callbacks = that.m_callbacks;
197 C4_SUPPRESS_WARNING_GCC_PUSH
198 #if defined(__GNUC__) && __GNUC__>= 8
199 C4_SUPPRESS_WARNING_GCC_WITH_PUSH(
"-Wclass-memaccess")
214 void Tree::_copy(Tree
const& that)
221 m_buf = _RYML_CB_ALLOC_HINT(
m_callbacks, NodeData, (
size_t)that.m_cap, that.m_buf);
222 memcpy(
m_buf, that.m_buf, (
size_t)that.m_cap *
sizeof(NodeData));
235 arena.str = _RYML_CB_ALLOC_HINT(
m_callbacks,
char, that.m_arena.len, that.m_arena.str);
236 arena.len = that.m_arena.len;
242 void Tree::_move(Tree & that) noexcept
244 _RYML_ASSERT_VISIT_(m_callbacks, m_buf ==
nullptr,
this,
NONE);
245 _RYML_ASSERT_VISIT_(m_callbacks, m_arena.str ==
nullptr,
this,
NONE);
246 _RYML_ASSERT_VISIT_(m_callbacks, m_arena.len == 0,
this,
NONE);
249 m_size = that.m_size;
250 m_free_head = that.m_free_head;
251 m_free_tail = that.m_free_tail;
252 m_arena = that.m_arena;
253 m_arena_pos = that.m_arena_pos;
254 m_tag_directives = that.m_tag_directives;
258 void Tree::_relocate(substr next_arena)
269 n->m_key.scalar = _relocated(n->m_key.scalar, next_arena);
271 n->m_key.tag = _relocated(n->m_key.tag, next_arena);
273 n->m_key.anchor = _relocated(n->m_key.anchor, next_arena);
275 n->m_val.scalar = _relocated(n->m_val.scalar, next_arena);
277 n->m_val.tag = _relocated(n->m_val.tag, next_arena);
279 n->m_val.anchor = _relocated(n->m_val.anchor, next_arena);
284 td.prefix = _relocated(td.prefix, next_arena);
286 td.handle = _relocated(td.handle, next_arena);
305 _clear_range(first, del);
332 _clear_range(0,
m_cap);
349 void Tree::_claim_root()
362 _RYML_ASSERT_VISIT_(
m_callbacks, first >= 0 && first + num <=
m_cap,
this, first);
363 memset(
m_buf + first, 0, (
size_t)num *
sizeof(NodeData));
364 for(
id_type i = first, e = first + num; i < e; ++i)
367 NodeData *n =
m_buf + i;
369 n->m_next_sibling = i + 1;
374 C4_SUPPRESS_WARNING_GCC_POP
391 void Tree::_free_list_add(
id_type i)
394 NodeData &C4_RESTRICT w =
m_buf[i];
398 w.m_prev_sibling =
NONE;
406 void Tree::_free_list_rem(
id_type i)
445 C4_SUPPRESS_WARNING_GCC_PUSH
446 C4_SUPPRESS_WARNING_CLANG_PUSH
447 C4_SUPPRESS_WARNING_CLANG(
"-Wnull-dereference")
448 #if defined(__GNUC__)
450 C4_SUPPRESS_WARNING_GCC(
"-Wnull-dereference")
453 C4_SUPPRESS_WARNING_GCC(
"-Wanalyzer-fd-leak")
459 _RYML_ASSERT_VISIT_(
m_callbacks, ichild >= 0 && ichild <
m_cap,
this, ichild);
460 _RYML_ASSERT_VISIT_(
m_callbacks, iparent ==
NONE || (iparent >= 0 && iparent <
m_cap),
this, iparent);
461 _RYML_ASSERT_VISIT_(
m_callbacks, iprev_sibling ==
NONE || (iprev_sibling >= 0 && iprev_sibling <
m_cap),
this, iprev_sibling);
465 child->m_parent = iparent;
471 _RYML_ASSERT_VISIT_(
m_callbacks, ichild == 0,
this, ichild);
472 _RYML_ASSERT_VISIT_(
m_callbacks, iprev_sibling ==
NONE,
this, iprev_sibling);
479 NodeData *C4_RESTRICT
parent =
get(iparent);
480 NodeData *C4_RESTRICT psib =
get(iprev_sibling);
481 NodeData *C4_RESTRICT nsib =
get(inext_sibling);
486 child->m_prev_sibling =
id(psib);
487 psib->m_next_sibling =
id(
child);
488 _RYML_ASSERT_VISIT_(
m_callbacks, psib->m_prev_sibling != psib->m_next_sibling || psib->m_prev_sibling ==
NONE,
this, iprev_sibling);
494 child->m_next_sibling =
id(nsib);
495 nsib->m_prev_sibling =
id(
child);
496 _RYML_ASSERT_VISIT_(
m_callbacks, nsib->m_prev_sibling != nsib->m_next_sibling || nsib->m_prev_sibling ==
NONE,
this, inext_sibling);
515 C4_SUPPRESS_WARNING_GCC_POP
516 C4_SUPPRESS_WARNING_CLANG_POP
520 void Tree::_rem_hierarchy(
id_type i)
524 NodeData &C4_RESTRICT w =
m_buf[i];
527 if(w.m_parent !=
NONE)
529 NodeData &C4_RESTRICT p =
m_buf[w.m_parent];
530 if(p.m_first_child == i)
534 if(p.m_last_child == i)
536 p.m_last_child = w.m_prev_sibling;
541 if(w.m_prev_sibling !=
NONE)
543 NodeData *C4_RESTRICT prev =
get(w.m_prev_sibling);
544 prev->m_next_sibling = w.m_next_sibling;
546 if(w.m_next_sibling !=
NONE)
548 NodeData *C4_RESTRICT next =
get(w.m_next_sibling);
549 next->m_prev_sibling = w.m_prev_sibling;
570 count = _do_reorder(&i, count);
594 _swap_hierarchy(n_, m_);
600 _copy_hierarchy(n_, m_);
608 _copy_hierarchy(m_, n_);
625 if(i == ib || i == ia)
632 if(i == ib || i == ia)
637 auto & C4_RESTRICT a = *
_p(ia);
638 auto & C4_RESTRICT b = *
_p(ib);
639 auto & C4_RESTRICT pa = *
_p(a.m_parent);
640 auto & C4_RESTRICT pb = *
_p(b.m_parent);
644 if((pa.m_first_child == ib && pa.m_last_child == ia)
646 (pa.m_first_child == ia && pa.m_last_child == ib))
648 std::swap(pa.m_first_child, pa.m_last_child);
652 bool changed =
false;
653 if(pa.m_first_child == ia)
655 pa.m_first_child = ib;
658 if(pa.m_last_child == ia)
660 pa.m_last_child = ib;
663 if(pb.m_first_child == ib && !changed)
665 pb.m_first_child = ia;
667 if(pb.m_last_child == ib && !changed)
669 pb.m_last_child = ia;
675 if(pa.m_first_child == ia)
676 pa.m_first_child = ib;
677 if(pa.m_last_child == ia)
678 pa.m_last_child = ib;
679 if(pb.m_first_child == ib)
680 pb.m_first_child = ia;
681 if(pb.m_last_child == ib)
682 pb.m_last_child = ia;
684 std::swap(a.m_first_child , b.m_first_child);
685 std::swap(a.m_last_child , b.m_last_child);
687 if(a.m_prev_sibling != ib && b.m_prev_sibling != ia &&
688 a.m_next_sibling != ib && b.m_next_sibling != ia)
690 if(a.m_prev_sibling !=
NONE && a.m_prev_sibling != ib)
692 if(a.m_next_sibling !=
NONE && a.m_next_sibling != ib)
694 if(b.m_prev_sibling !=
NONE && b.m_prev_sibling != ia)
696 if(b.m_next_sibling !=
NONE && b.m_next_sibling != ia)
698 std::swap(a.m_prev_sibling, b.m_prev_sibling);
699 std::swap(a.m_next_sibling, b.m_next_sibling);
703 if(a.m_next_sibling == ib)
705 _RYML_ASSERT_VISIT_(
m_callbacks, b.m_prev_sibling == ia,
this, ia);
706 if(a.m_prev_sibling !=
NONE)
708 _RYML_ASSERT_VISIT_(
m_callbacks, a.m_prev_sibling != ib,
this, ib);
711 if(b.m_next_sibling !=
NONE)
713 _RYML_ASSERT_VISIT_(
m_callbacks, b.m_next_sibling != ia,
this, ia);
717 b.m_prev_sibling = a.m_prev_sibling;
718 b.m_next_sibling = ia;
719 a.m_prev_sibling = ib;
720 a.m_next_sibling = ns;
722 else if(a.m_prev_sibling == ib)
724 _RYML_ASSERT_VISIT_(
m_callbacks, b.m_next_sibling == ia,
this, ia);
725 if(b.m_prev_sibling !=
NONE)
727 _RYML_ASSERT_VISIT_(
m_callbacks, b.m_prev_sibling != ia,
this, ia);
730 if(a.m_next_sibling !=
NONE)
732 _RYML_ASSERT_VISIT_(
m_callbacks, a.m_next_sibling != ib,
this, ib);
736 a.m_prev_sibling = b.m_prev_sibling;
737 a.m_next_sibling = ib;
738 b.m_prev_sibling = ia;
739 b.m_next_sibling = ns;
746 _RYML_ASSERT_VISIT_(
m_callbacks, a.m_next_sibling != ia,
this, ia);
747 _RYML_ASSERT_VISIT_(
m_callbacks, a.m_prev_sibling != ia,
this, ia);
748 _RYML_ASSERT_VISIT_(
m_callbacks, b.m_next_sibling != ib,
this, ib);
749 _RYML_ASSERT_VISIT_(
m_callbacks, b.m_prev_sibling != ib,
this, ib);
751 if(a.m_parent != ib && b.m_parent != ia)
753 std::swap(a.m_parent, b.m_parent);
757 if(a.m_parent == ib && b.m_parent != ia)
759 a.m_parent = b.m_parent;
762 else if(a.m_parent != ib && b.m_parent == ia)
764 b.m_parent = a.m_parent;
777 auto const& C4_RESTRICT src = *
_p(src_);
778 auto & C4_RESTRICT dst = *
_p(dst_);
779 auto & C4_RESTRICT prt = *
_p(src.m_parent);
784 if(src.m_prev_sibling !=
NONE)
788 if(src.m_next_sibling !=
NONE)
792 if(prt.m_first_child == src_)
794 prt.m_first_child = dst_;
796 if(prt.m_last_child == src_)
798 prt.m_last_child = dst_;
800 dst.m_parent = src.m_parent;
801 dst.m_first_child = src.m_first_child;
802 dst.m_last_child = src.m_last_child;
803 dst.m_prev_sibling = src.m_prev_sibling;
804 dst.m_next_sibling = src.m_next_sibling;
810 NodeData &C4_RESTRICT n = *
_p(n_);
811 NodeData &C4_RESTRICT m = *
_p(m_);
812 std::swap(n.m_type, m.m_type);
813 std::swap(n.m_key, m.m_key);
814 std::swap(n.m_val, m.m_val);
822 _RYML_ASSERT_VISIT_(
m_callbacks, node != after,
this, node);
826 _rem_hierarchy(node);
827 _set_hierarchy(node,
parent(node), after);
835 _RYML_ASSERT_VISIT_(
m_callbacks, node != after,
this, node);
836 _RYML_ASSERT_VISIT_(
m_callbacks, new_parent !=
NONE,
this, new_parent);
837 _RYML_ASSERT_VISIT_(
m_callbacks, new_parent != node,
this, new_parent);
838 _RYML_ASSERT_VISIT_(
m_callbacks, new_parent != after,
this, new_parent);
841 _rem_hierarchy(node);
842 _set_hierarchy(node, new_parent, after);
847 _RYML_ASSERT_VISIT_(
m_callbacks, src !=
nullptr,
this, new_parent);
849 _RYML_ASSERT_VISIT_(
m_callbacks, new_parent !=
NONE,
this, new_parent);
850 _RYML_ASSERT_VISIT_(
m_callbacks, new_parent != after,
this, new_parent);
862 _c4dbgpf(
"set_root_as_stream. rootty={}",
type(root).
type);
879 _copy_props_wo_key(next_doc, root);
886 _copy_props_wo_key(next_doc, root);
895 _copy_props_wo_key(next_doc, root);
896 _add_flags(next_doc,
DOC);
901 move(ch, next_doc, prev);
920 _RYML_ASSERT_VISIT_(
m_callbacks,
get(node) !=
nullptr,
this, node);
922 C4_SUPPRESS_WARNING_GCC_WITH_PUSH(
"-Wnull-dereference")
926 C4_SUPPRESS_WARNING_GCC_POP
931 _RYML_ASSERT_VISIT_(
m_callbacks,
get(ich) !=
nullptr,
this, node);
934 if(ich ==
get(node)->m_last_child)
966 _RYML_ASSERT_VISIT_(
m_callbacks, src !=
nullptr, src, node);
973 _copy_props(copy, src, node);
974 _set_hierarchy(copy,
parent, after);
988 _RYML_ASSERT_VISIT_(
m_callbacks, src !=
nullptr, src, node);
1010 _RYML_ASSERT_VISIT_(
m_callbacks, src !=
nullptr, src, node);
1013 _copy_props_wo_key(where, src, node);
1050 _c4dbgpf(
"duplicate_no_rep: {} -> {}/{}", i,
parent, prev);
1054 _c4dbgpf(
"duplicate_no_rep: {} is seq",
parent);
1059 _c4dbgpf(
"duplicate_no_rep: {} is map",
parent);
1064 csubstr srckey = src->
key(i);
1067 if(
key(j) == srckey)
1069 _c4dbgpf(
"duplicate_no_rep: found matching key '{}' src={}/{} dst={}/{}", srckey, node, i,
parent, j);
1071 dstnode_dup_pos = jcount;
1076 _c4dbgpf(
"duplicate_no_rep: dstnode_dup={} dstnode_dup_pos={} after_pos={}", dstnode_dup, dstnode_dup_pos, after_pos);
1077 if(dstnode_dup ==
NONE)
1079 _c4dbgpf(
"duplicate_no_rep: no repetition, just duplicate i={} parent={} prev={}", i,
parent, prev);
1084 if(after_pos !=
NONE && dstnode_dup_pos <= after_pos)
1088 _c4dbgpf(
"duplicate_no_dstnode_dup: replace {}/{} with {}/{}",
parent, dstnode_dup, node, i);
1089 if(prev == dstnode_dup)
1094 else if(prev ==
NONE)
1096 _c4dbgpf(
"duplicate_no_dstnode_dup: {}=prev <- {}", prev, dstnode_dup);
1100 else if(dstnode_dup != prev)
1104 _c4dbgpf(
"duplicate_no_dstnode_dup: move({}, {})", dstnode_dup, prev);
1105 move(dstnode_dup, prev);
1120 _RYML_ASSERT_VISIT_(
m_callbacks, src !=
nullptr, src, src_node);
1121 if(src_node ==
NONE)
1123 if(dst_node ==
NONE)
1137 _copy_props(dst_node, src, src_node, mask_src);
1142 _copy_props_wo_key(dst_node, src, src_node, mask_src);
1145 else if(src->
is_seq(src_node))
1151 _clear_type(dst_node);
1161 _copy_props_wo_key(dch, src, sch);
1172 _clear_type(dst_node);
1185 _copy_props(dch, src, sch);
1207 rr->resolve(
this, clear_anchors);
1246 #if defined(__clang__)
1247 # pragma clang diagnostic push
1248 #elif defined(__GNUC__)
1249 # pragma GCC diagnostic push
1251 # pragma GCC diagnostic ignored "-Wnull-dereference"
1254 # pragma GCC diagnostic ignored "-Wanalyzer-null-dereference"
1262 if(
get(node)->m_first_child ==
NONE)
1281 #if defined(__clang__)
1282 # pragma clang diagnostic pop
1283 #elif defined(__GNUC__)
1284 # pragma GCC diagnostic pop
1290 maxdepth = currdepth > maxdepth ? currdepth : maxdepth;
1291 for(
id_type child = t.first_child(
id); child !=
NONE; child = t.next_sibling(child))
1293 const id_type d = depth_desc_(t, child, currdepth+1, maxdepth);
1294 maxdepth = d > maxdepth ? d : maxdepth;
1303 return depth_desc_(*
this, node);
1338 _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);
1410 d->m_type.clear_style();
1424 if((d->m_type & type_mask) == type_mask)
1426 d->m_type &= ~(
NodeType)rem_style_flags;
1427 d->m_type |= (
NodeType)add_style_flags;
1470 _c4dbgpf(
"tag: doc={} node={} resolving tag ~~~{}~~~", doc_id, node_id, tag);
1473 if(tag.begins_with(
'<'))
1479 _RYML_ASSERT_VISIT_(t->
callbacks(), !tag.begins_with(
"!<"), t, node_id);
1480 TagCache::LookupResult ret = cache.
find(tag, doc_id);
1483 _c4dbgpf(
"tag: doc={} node={} resolving tag: found in cache[{}]: {}", doc_id, node_id, ret.pos, _prs(ret.resolved));
1484 *resolved = ret.resolved;
1488 _c4dbgpf(
"tag: doc={} node={} tag not in cache ~~~{}~~~", doc_id, node_id, tag);
1495 else if(reqsize <= buf.len)
1498 *resolved = buf.first(reqsize);
1499 cache.
add(tag, *resolved, doc_id, ret.pos);
1504 _c4dbgpf(
"tag: doc={} node={} extra size needed: {}", doc_id, node_id, reqsize);
1506 _c4dbgpf(
"tag: doc={} node={} resolved tag: ~~~{}~~~", doc_id, node_id, *resolved);
1511 size_t _resolve_tags(Tree *t,
id_type node,
id_type doc_id, TagCache &cache,
bool all=
true)
1513 NodeData *C4_RESTRICT d = t->_p(node);
1514 size_t extra_size = 0;
1516 extra_size += _transform_tag(t, node, doc_id, cache, d->m_key.tag, &d->m_key.tag);
1518 extra_size += _transform_tag(t, node, doc_id, cache, d->m_val.tag, &d->m_val.tag);
1519 for(
id_type child = t->first_child(node); child !=
NONE; child = t->next_sibling(child))
1520 extra_size += _resolve_tags(t, child, doc_id, cache);
1523 size_t _resolve_tags(Tree *t, TagCache &cache,
bool all)
1526 size_t extra_size = 0;
1527 if(!t->is_stream(r))
1528 extra_size += _resolve_tags(t, r, r, cache, all);
1530 for(
id_type doc_id = t->first_child(r); doc_id !=
NONE; doc_id = t->next_sibling(doc_id))
1531 extra_size += _resolve_tags(t, doc_id, doc_id, cache, all);
1534 void _normalize_tags(Tree *t,
id_type node)
1536 NodeData *C4_RESTRICT d = t->_p(node);
1541 for(
id_type child = t->first_child(node); child !=
NONE; child = t->next_sibling(child))
1542 _normalize_tags(t, child);
1544 void _normalize_tags_long(Tree *t,
id_type node)
1546 NodeData *C4_RESTRICT d = t->_p(node);
1551 for(
id_type child = t->first_child(node); child !=
NONE; child = t->next_sibling(child))
1552 _normalize_tags_long(t, child);
1562 size_t extra_size = _resolve_tags(
this, cache, all);
1567 _c4dbgpf(
"tag: extrasize={} -- retry! {}->{}", extra_size,
m_arena.len,
m_arena.len + extra_size);
1568 _grow_arena(extra_size);
1569 extra_size = _resolve_tags(
this, cache, all);
1570 _RYML_ASSERT_BASIC_(
callbacks(), extra_size == 0);
1578 _normalize_tags(
this,
root_id());
1585 _normalize_tags_long(
this,
root_id());
1594 if(p.ends_with(
'.'))
1595 p = p.first(p.len-1);
1601 return path.sub(path_pos);
1626 id_type target = _lookup_path_or_create(path, start);
1630 to_val(target, default_value);
1636 id_type target = _lookup_path_or_create(path, start);
1641 id_type Tree::_lookup_path_or_create(csubstr path,
id_type start)
1645 lookup_result r(path, start);
1652 _lookup_path_modify(&r);
1656 void Tree::_lookup_path(lookup_result *r)
const
1658 C4_ASSERT( ! r->unresolved().empty());
1659 _lookup_path_token
parent{
"",
type(r->closest)};
1663 node = _next_node(r, &
parent);
1666 if(r->unresolved().empty())
1671 }
while(node !=
NONE);
1674 void Tree::_lookup_path_modify(lookup_result *r)
1676 C4_ASSERT( ! r->unresolved().empty());
1677 _lookup_path_token
parent{
"",
type(r->closest)};
1681 node = _next_node_modify(r, &
parent);
1684 if(r->unresolved().empty())
1689 }
while(node !=
NONE);
1692 id_type Tree::_next_node(lookup_result * r, _lookup_path_token *
parent)
const
1694 _lookup_path_token token = _next_token(r, *
parent);
1699 csubstr prev = token.value;
1700 if(token.type ==
MAP || token.type ==
SEQ)
1702 _RYML_ASSERT_VISIT_(
m_callbacks, !token.value.begins_with(
'['),
this, r->closest);
1707 else if(token.type ==
KEYVAL)
1709 _RYML_ASSERT_VISIT_(
m_callbacks, r->unresolved().empty(),
this, r->closest);
1713 else if(token.type ==
KEY)
1715 _RYML_ASSERT_VISIT_(
m_callbacks, token.value.begins_with(
'[') && token.value.ends_with(
']'),
this, r->closest);
1716 token.value = token.value.offs(1, 1).trim(
' ');
1719 node =
child(r->closest, idx);
1732 csubstr p = r->path.sub(r->path_pos > 0 ? r->path_pos - 1 : r->path_pos);
1733 r->path_pos -= prev.len;
1734 if(p.begins_with(
'.'))
1741 id_type Tree::_next_node_modify(lookup_result * r, _lookup_path_token *
parent)
1743 _lookup_path_token token = _next_token(r, *
parent);
1748 if(token.type ==
MAP || token.type ==
SEQ)
1750 _RYML_ASSERT_VISIT_(
m_callbacks, !token.value.begins_with(
'['),
this, r->closest);
1770 node =
child(r->closest, pos);
1777 NodeData *n =
_p(node);
1778 n->m_key.scalar = token.value;
1782 else if(token.type ==
KEYVAL)
1784 _RYML_ASSERT_VISIT_(
m_callbacks, r->unresolved().empty(),
this, r->closest);
1794 _add_flags(r->closest,
MAP);
1797 NodeData *n =
_p(node);
1798 n->m_key.scalar = token.value;
1799 n->m_val.scalar =
"";
1802 else if(token.type ==
KEY)
1804 _RYML_ASSERT_VISIT_(
m_callbacks, token.value.begins_with(
'[') && token.value.ends_with(
']'),
this, r->closest);
1805 token.value = token.value.offs(1, 1).trim(
' ');
1813 csubstr k =
key(r->closest);
1814 _clear_type(r->closest);
1819 _clear_type(r->closest);
1824 node =
child(r->closest, idx);
1835 else if(
is_seq(r->closest))
1857 Tree::_lookup_path_token Tree::_next_token(lookup_result *r, _lookup_path_token
const&
parent)
const
1859 csubstr unres = r->unresolved();
1864 if(unres.begins_with(
'['))
1866 size_t pos = unres.find(
']');
1869 csubstr idx = unres.first(pos + 1);
1870 _advance(r, pos + 1);
1875 size_t pos = unres.first_of(
".[");
1878 _advance(r, unres.len);
1881 return {unres,
VAL};
1886 _RYML_ASSERT_VISIT_(
m_callbacks, unres[pos] ==
'.' || unres[pos] ==
'[',
this, r->closest);
1887 if(unres[pos] ==
'.')
1889 _RYML_ASSERT_VISIT_(
m_callbacks, pos != 0,
this, r->closest);
1890 _advance(r, pos + 1);
1891 return {unres.first(pos),
MAP};
1894 _RYML_ASSERT_VISIT_(
m_callbacks, unres[pos] ==
'[',
this, r->closest);
1896 return {unres.first(pos),
SEQ};
1919 if(_location_from_node(parser, node, &loc, 0))
1928 csubstr k =
key(node);
1929 if(C4_LIKELY(k.str !=
nullptr))
1931 _RYML_ASSERT_BASIC_(m_callbacks, k.is_sub(parser.
source()));
1932 _RYML_ASSERT_BASIC_(m_callbacks, parser.
source().is_super(k));
1940 csubstr v = val(node);
1941 if(C4_LIKELY(v.str !=
nullptr))
1943 _RYML_ASSERT_BASIC_(m_callbacks, v.is_sub(parser.
source()));
1944 _RYML_ASSERT_BASIC_(m_callbacks, parser.
source().is_super(v));
1950 if(is_container(node))
1952 if(_location_from_cont(parser, node, loc))
1956 if(type(node) !=
NOTYPE && level == 0)
1960 const id_type prev = prev_sibling(node);
1963 if(_location_from_node(parser, prev, loc, level+1))
1969 const id_type next = next_sibling(node);
1972 if(_location_from_node(parser, next, loc, level+1))
1978 const id_type parent = this->parent(node);
1981 if(_location_from_node(parser, parent, loc, level+1))
1989 bool Tree::_location_from_cont(
Parser const& parser,
id_type node, Location *C4_RESTRICT loc)
const
1991 _RYML_ASSERT_BASIC_(m_callbacks, is_container(node));
1992 if(!is_stream(node))
1994 const char *node_start = _p(node)->m_val.scalar.str;
1995 if(has_children(node))
1997 id_type child = first_child(node);
2001 csubstr k =
key(child);
2002 if(k.str && node_start > k.str)
2006 *loc = parser.val_location(node_start);
2011 *loc = parser.val_location(parser.source().str);
2021 C4_SUPPRESS_WARNING_GCC_CLANG_POP
2022 C4_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...
This is the main driver of parsing logic: it scans the YAML or JSON source for tokens,...
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
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
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.
void resolve_tags(TagCache &cache, bool all=true)
Resolve tags in the tree such as !!str -> <tag:yaml.org,2002:str>, !foo -> <!foo> and custom tags as ...
id_type prev_sibling(id_type node) const
NodeData * get(id_type node)
get a pointer to a node's NodeData. i can be NONE, in which case a nullptr is returned
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
bool is_map(id_type node) const
void clear_tag_directives()
void reserve(id_type node_capacity=RYML_DEFAULT_TREE_CAPACITY)
Tree & operator=(Tree const &that)
void to_keyval(id_type node, csubstr key, csubstr val, type_bits more_flags=0)
TagDirectives m_tag_directives
bool is_root(id_type node) const
bool is_keyval(id_type node) const
void to_doc(id_type node, type_bits more_flags=0)
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
Callbacks const & callbacks() 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
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)
void to_stream(id_type node, type_bits more_flags=0)
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
void to_seq(id_type node, csubstr key, type_bits more_flags=0)
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
csubstr const & key(id_type node) const
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 index of a node belonging to this tree. n can be nullptr, in which case NONE is returned
void set_style_conditionally(id_type node, NodeType type_mask, NodeType rem_style_flags, NodeType add_style_flags, bool recurse=false)
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
void to_map(id_type node, csubstr key, type_bits more_flags=0)
size_t arena_capacity() const
get the current capacity of the tree's internal arena
bool change_type(id_type node, NodeType type)
change the type of the node to one of MAP, SEQ or VAL.
void normalize_tags_long()
csubstr const & val(id_type node) const
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 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)
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)
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
NodeData * _p(id_type node)
An if-less form of get() that demands a valid node index. This function is implementation only; use a...
void to_val(id_type node, csubstr val, type_bits more_flags=0)
bool has_children(id_type node) const
true if node has any children key
#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
@ VAL_STYLE
mask of all the 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 all the scalar styles for key (not container styles!)
ParseEngine< EventHandlerTree > Parser
This is the main ryml parser, where the parser events are handled to create a ryml tree.
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)
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...
@ npos
a null string position
csubstr serialize_to_arena(Tree *tree, csubstr a)
size_t to_chars(substr buf, escaped_scalar e)
formatting implementation to escape a scalar with escape_scalar()
(Undefined by default) Use shorter error message from checks/asserts: do not show the check condition...
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
bool has_key() const noexcept
bool is_seq() const noexcept
void rem(NodeType_e t) noexcept
bool is_map() const noexcept
void add(NodeType_e t) noexcept
bool is_val() const 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
id_type doc_id
ID of the target document.
TagDirective m_directives[RYML_MAX_TAG_DIRECTIVES]
id_type size() const noexcept
csubstr resolve(substr buf, size_t *bufsz, csubstr tag, id_type doc_id, Location const &ymlloc, Callbacks const &callbacks, bool with_brackets=true) const
TagDirective const * add(csubstr handle, csubstr prefix, id_type doc_id) 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