void (NodeHandler handler, Context context) { NodeInfo curr = context.getContextNodeInfo(); final String path = Navigator.getPath(curr); if (TRACE) { trace(indent + "<Source node=\"" + path + "\" line=\"" + curr.getLineNumber() + "\" mode=\"" + getModeName(context) + "\">"); indent += " "; } myDebugger.pushSource(new SaxonSourceFrame(myDebugger.getSourceFrame(), curr)); }