|
||||||||
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.Object
BufferPool
boolean equals(java.lang.Object o)
equals
in class java.lang.Object
o
- 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 |