|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object global.PageId
public class PageId
Although a PageId is simply an integer, wrapping it provides convenient methods and allows returning it via method parameters.
Field Summary | |
---|---|
int |
pid
The actual page id value. |
Fields inherited from interface global.GlobalConst |
---|
EMPTY_SLOT, FIRST_PAGEID, INVALID_PAGEID, MAX_COLSIZE, MAX_TUPSIZE, NAME_MAXLEN, PAGE_SIZE, PIN_DISKIO, PIN_MEMCPY, UNPIN_CLEAN, UNPIN_DIRTY |
Constructor Summary | |
---|---|
PageId()
Default constructor. |
|
PageId(int pid)
Constructs a PageId from the given value. |
Method Summary | |
---|---|
void |
copyPageId(PageId pageNo)
Makes a copy of the given PageId. |
boolean |
equals(java.lang.Object obj)
True if obj is a PageId with the same pid; false otherwise. |
int |
hashCode()
Returns a hash code value for the PageId. |
java.lang.String |
toString()
Returns a string representation of the PageId. |
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
public int pid
Constructor Detail |
---|
public PageId()
public PageId(int pid)
Method Detail |
---|
public void copyPageId(PageId pageNo)
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |