Exemplo n.º 1
0
 public PageNumCas readPageNumCas() {
   PageNum pageNum = paging.getPageNum();
   ensureCanGrow(pageNum.size());
   PageNumCas result = new PageNumCas(address, position, pageNum);
   position += pageNum.size();
   return result;
 }
Exemplo n.º 2
0
  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;
  }