void (NodeInfo element, Context context) { if (element.getNodeType() == NodeInfo.ELEMENT) { if (TRACE) { trace(indent + "<Instruction element=\"" + element.getDisplayName() + "\" line=\"" + element.getLineNumber() + "\">"); indent += " "; } myDebugger.enter(new SaxonFrameImpl(myDebugger.getCurrentFrame(), context, (StyleElement)element)); } }