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