public interface Page extends Externalizable
Modifier and Type | Method and Description |
---|---|
Integer |
getPageID()
Returns the unique id of this Page.
|
boolean |
isDirty()
Returns true if this page is dirty, false otherwise.
|
void |
setDirty(boolean dirty)
Sets the dirty flag of this page.
|
void |
setPageID(int id)
Sets the unique id of this Page.
|
readExternal, writeExternal
Integer getPageID()
null
.void setPageID(int id)
id
- the id to be setboolean isDirty()
void setDirty(boolean dirty)
dirty
- the dirty flag to be set