Java PageNumの例

コード例 #1

ファイル: PageReader.java プロジェクト: alexshvid/alt-collections

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

コード例 #2

ファイル: PageReader.java プロジェクト: alexshvid/alt-collections

  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;
  }