protected void outputNamespaceNodes(XPathContext context, Receiver receiver)
throws XPathException {
if (copyNamespaces) {
NodeInfo element = (NodeInfo)context.getContextItem();
element.outputNamespaceNodes(receiver, true);
}
}
public TailCall processLeavingTail(XPathContext context) throws XPathException {
Controller controller = context.getController();