|
||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||
public interface PageId
PageId is an interface to a specific page of a specific table.
| Method Summary | |
|---|---|
boolean |
equals(java.lang.Object o)
Compares one PageId to another. |
int |
getTableId()
|
int |
hashCode()
|
int |
pageNumber()
|
int[] |
serialize()
Return a representation of this page id object as a collection of integers (used for logging) This class MUST have a constructor that accepts n integer parameters, where n is the number of integers returned in the array from serialize. |
| Method Detail |
|---|
int[] serialize()
int getTableId()
int hashCode()
hashCode in class java.lang.ObjectBufferPoolboolean equals(java.lang.Object o)
equals in class java.lang.Objecto - The object to compare against (must be a PageId)
int pageNumber()
|
||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||