public interface Page
Modifier and Type | Method and Description |
---|---|
int |
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.
|
int getPageID()
void setPageID(int id)
id
- the id to be setboolean isDirty()
void setDirty(boolean dirty)
dirty
- the dirty flag to be set