public XPathNodeRef(XPathNode[] page, int idx) { this.page = page; this.idx = idx; }
public XPathNodePageInfo(XPathNode[] pagePrev, int pageNum) { this.pagePrev = pagePrev; this.pageNum = pageNum; this.nodeCount = 1; }
public XPathNodeRef(XPathNode[] page, int idx) { this.page = page; this.idx = idx; }
public XPathNodePageInfo(XPathNode[] pagePrev, int pageNum) { this.pagePrev = pagePrev; this.pageNum = pageNum; this.nodeCount = 1; }