public class PageManagerWrapper extends Object implements PageManager
| Modifier and Type | Field and Description |
|---|---|
protected PageManager |
delegate |
protected long |
displacement |
protected int |
virtPageSize |
| Constructor and Description |
|---|
PageManagerWrapper(PageManager delegate,
long displacement,
int pageSize) |
| Modifier and Type | Method and Description |
|---|---|
long |
getEndPos() |
int |
getPageSize()
The pageSize.
|
Reference<Page> |
requestBufferForPage(long page) |
protected PageManager delegate
protected long displacement
protected int virtPageSize
public PageManagerWrapper(PageManager delegate, long displacement, int pageSize)
public Reference<Page> requestBufferForPage(long page)
requestBufferForPage in interface PageManagerpublic int getPageSize()
PageManagergetPageSize in interface PageManagerpublic long getEndPos()
getEndPos in interface PageManagerCopyright © 2020. All rights reserved.