|
|
|||||||||||||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||||||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||||||||||||||
public interface Page<P extends Page<P>>
Defines the requirements for objects that can be stored in a cache and can be persistently saved.
| Method Summary | |
|---|---|
Integer |
getID()
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 |
setFile(PageFile<P> file)
Sets the page file of this page. |
void |
setID(int id)
Sets the unique id of this Page. |
| Methods inherited from interface java.io.Externalizable |
|---|
readExternal, writeExternal |
| Method Detail |
|---|
Integer getID()
void setID(int id)
id - the id to be setvoid setFile(PageFile<P> file)
file - the page file to be setboolean isDirty()
void setDirty(boolean dirty)
dirty - the dirty flag to be set
|
|
||||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||||