global
Class PageId

java.lang.Object
  global.PageId

public class PageId

extends java.lang.Object

class PageId

Field Summary

static PageId	InvalidPage
int	pid public int pid

Constructor Summary

PageId()
Default constructor

PageId(int pageno)
constructor of class

PageId(PageId other)
copy constructor

Method Summary

void	copyPageId(PageId pageno) make a copy of the given pageId
boolean	equals(java.lang.Object o)
int	getPid()
int	hashCode() Allow for these objects to work right inside the Java hashtable class
java.lang.String	toString()
void	writeToByteArray(byte[] ary, int offset) Write the pid into a specified bytearray at offset

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Field Detail

pid

public int pid

public int pid

InvalidPage

public static final PageId InvalidPage

Constructor Detail

PageId

public PageId()

Default constructor

PageId

public PageId(int pageno)

constructor of class

Parameters:

pageno - the page ID

PageId

public PageId(PageId other)

copy constructor

Method Detail

getPid

public int getPid()

copyPageId

public void copyPageId(PageId pageno)

make a copy of the given pageId

writeToByteArray

public void writeToByteArray(byte[] ary,
                             int offset)
                      throws java.io.IOException

Write the pid into a specified bytearray at offset

Parameters:

ary - the specified bytearray

offset - the offset of bytearray to write the pid

Throws:

java.io.IOException - I/O errors

toString

public java.lang.String toString()

hashCode

public int hashCode()

Allow for these objects to work right inside the Java hashtable class

equals

public boolean equals(java.lang.Object o)