/**
* Prints the sub-nodes of this object. See QueryTreeNode.java for how tree printing is supposed
* to work.
*
* @param depth The depth of this node in the tree
*/
public void printSubNodes(int depth) {
super.printSubNodes(depth);
if (receiver != null) {
printLabel(depth, "receiver :");
receiver.treePrint(depth + 1);
}
}
/**
* Prints the sub-nodes of this object. See QueryTreeNode for how tree printing is supposed to
* work.
*
* @param depth The depth of this node in the tree
*/
public void printSubNodes(int depth) {
if (SanityManager.DEBUG) {
super.printSubNodes(depth);
printLabel(depth, "javaNode: ");
javaNode.treePrint(depth + 1);
}
}
