public class CachingPageStorageWrapper.CachedPageImpl extends CachingPageStorage.CachedPage
Modifier and Type | Method and Description |
---|---|
void |
flush()
Write the page to disk.
|
byte[] |
getBuf()
gets the byte[] for this page; it is okay to manipulate it directly, but you must call setDirty() and flush() afterwards
|
int |
getPageId()
the pageid of this cached page
|
boolean |
isDirty()
indicates whether or not the page is dirty
|
void |
setDirty()
Marks a page as dirty.
|
void |
touch()
Indicate that this page has been "used" for purposes of
eviction.
|
public byte[] getBuf()
CachingPageStorage.CachedPage
getBuf
in class CachingPageStorage.CachedPage
public int getPageId()
CachingPageStorage.CachedPage
getPageId
in class CachingPageStorage.CachedPage
public void touch()
touch
in class CachingPageStorage.CachedPage
public void setDirty()
setDirty
in class CachingPageStorage.CachedPage
public void flush()
flush
in class CachingPageStorage.CachedPage
public boolean isDirty()
isDirty
in class CachingPageStorage.CachedPage