global
Class PageId

java.lang.Object
  global.PageId

All Implemented Interfaces:

GlobalConst

public class PageId
extends java.lang.Object
implements GlobalConst

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

getClass, notify, notifyAll, wait, wait, wait

Field Detail

pid

public int pid

The actual page id value.

Constructor Detail

PageId

public PageId()

Default constructor.

PageId

public PageId(int pid)

Constructs a PageId from the given value.

Method Detail

copyPageId

public void copyPageId(PageId pageNo)

Makes a copy of the given PageId.

hashCode

public int hashCode()

Returns a hash code value for the PageId.

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

True if obj is a PageId with the same pid; false otherwise.

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Returns a string representation of the PageId.

Overrides:

toString in class java.lang.Object