- protected
Adjust the depth of the given child
to be greated than this node's own
depth.
Only call this method from overrides of redepthChildren.
Source
@protected void redepthChild(AbstractNode child) { assert(child.owner == owner); if (child._depth <= _depth) { child._depth = _depth + 1; child.redepthChildren(); } }