/**
* 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);
}
}
