TraceNode |
TraceNode.addChild(TraceNode child) |
Adds a child node to this.
|
TraceNode |
TraceNode.addChild(java.lang.String note) |
Convenience method to add a child node containing a note to this.
|
TraceNode |
TraceNode.addChildren(java.util.List<TraceNode> children) |
Adds a list of child nodes to this.
|
TraceNode |
TraceNode.clear() |
Remove all trace information from this tree.
|
TraceNode |
TraceNode.compact() |
Compact this tree.
|
static TraceNode |
TraceNode.decode(java.lang.String str) |
Build a trace tree from the given string representation (possibly encoded using encode() ).
|
TraceNode |
TraceNode.getChild(int i) |
Returns the child trace node at the given index.
|
TraceNode |
Trace.getRoot() |
Returns the root of the trace tree.
|
TraceNode |
TraceNode.normalize() |
Normalize this tree.
|
TraceNode |
TraceNode.setStrict(boolean strict) |
Sets whether or not the children of this node are strictly ordered.
|
TraceNode |
TraceNode.sort() |
Sort non-strict children recursively down the tree.
|
TraceNode |
TraceNode.swap(TraceNode other) |
Swap the internals of this tree with another.
|