arlut.csd.ganymede
Class DBNameSpaceTransaction

java.lang.Object
  |
  +--arlut.csd.ganymede.DBNameSpaceTransaction

class DBNameSpaceTransaction
extends java.lang.Object

This class holds information associated with an active transaction (a DBEditSet) in care of a DBNameSpace.


Field Summary
private  NamedStack checkpointStack
           
private  java.util.Hashtable reservedValues
           
private  DBEditSet transaction
           
 
Constructor Summary
(package private) DBNameSpaceTransaction(DBEditSet transaction)
           
 
Method Summary
 void cleanup()
          This method dissolves everything referenced by this DBNameSpaceTransaction, in order to facilitate speedy garbage collection.
 void forget(java.lang.Object value)
           
 NamedStack getCheckpointStack()
           
 DBEditSet getDBEditSet()
           
 java.util.Enumeration getReservedEnum()
           
 java.util.Hashtable getReservedHash()
           
 DBNameSpaceCkPoint popCheckpoint(java.lang.String name)
           
 void pushCheckpoint(java.lang.String name, DBNameSpaceCkPoint cPoint)
           
 void remember(java.lang.Object value)
           
 
Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait
 

Field Detail

checkpointStack

private NamedStack checkpointStack

reservedValues

private java.util.Hashtable reservedValues

transaction

private DBEditSet transaction
Constructor Detail

DBNameSpaceTransaction

DBNameSpaceTransaction(DBEditSet transaction)
Method Detail

remember

public void remember(java.lang.Object value)

forget

public void forget(java.lang.Object value)

cleanup

public void cleanup()

This method dissolves everything referenced by this DBNameSpaceTransaction, in order to facilitate speedy garbage collection.


getReservedEnum

public java.util.Enumeration getReservedEnum()

getReservedHash

public java.util.Hashtable getReservedHash()

getDBEditSet

public DBEditSet getDBEditSet()

pushCheckpoint

public void pushCheckpoint(java.lang.String name,
                           DBNameSpaceCkPoint cPoint)

popCheckpoint

public DBNameSpaceCkPoint popCheckpoint(java.lang.String name)

getCheckpointStack

public NamedStack getCheckpointStack()