public PageNumCas readPageNumCas() { PageNum pageNum = paging.getPageNum(); ensureCanGrow(pageNum.size()); PageNumCas result = new PageNumCas(address, position, pageNum); position += pageNum.size(); return result; }
public long readPageNum() { PageNum pageNum = paging.getPageNum(); ensureCanGrow(pageNum.size()); long result = pageNum.readPageNum(address + position); Requires.positive(result, "result"); position += pageNum.size(); return result; }