global
Class PageId

java.lang.Object
  global.PageId

public class PageId

extends java.lang.Object

class PageId

Field Summary

int	pid public int pid

Constructor Summary

PageId()
Default constructor

PageId(int pageno)
constructor of class

Method Summary

void	copyPageId(PageId pageno) make a copy of the given pageId
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

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

pid

public int pid

public int pid

Constructor Detail

PageId

public PageId()

Default constructor

PageId

public PageId(int pageno)

constructor of class

Parameters:

pageno - the page ID

Method Detail

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()