pl.edu.pjwstk.yaod.store.defaultstore.newblocks
Class RecordPointer

java.lang.Object
  |
  +--pl.edu.pjwstk.yaod.store.defaultstore.newblocks.RecordPointer

public class RecordPointer
extends java.lang.Object


Field Summary
 short m_block
           
 short m_file
           
 short m_slot
           
 
Constructor Summary
RecordPointer()
           
RecordPointer(short file, short block, short slot)
           
 
Method Summary
 boolean recordExists()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_file

public short m_file

m_block

public short m_block

m_slot

public short m_slot
Constructor Detail

RecordPointer

public RecordPointer()

RecordPointer

public RecordPointer(short file,
                     short block,
                     short slot)
Method Detail

recordExists

public boolean recordExists()