/** {@inheritDoc} */ public void setPointer(Pointer p) { termid = Integer.parseInt(p.pointerToString()); df = p.getNumberOfEntries(); }
/** {@inheritDoc} */ public void setPointer(Pointer p) { termid = Integer.parseInt(p.pointerToString()); df = p.getNumberOfEntries(); }