DbStorage.manager
Class ParentsCollectionManager

java.lang.Object
  extended byDbStorage.manager.ParentsCollectionManager

public final class ParentsCollectionManager
extends java.lang.Object

This class manages the content of a collection of identifiers. This collection is implemented using 2 data structures combined in one, an AA-tree and a double linked list are used, for ordering the collection by identifier.


Constructor Summary
ParentsCollectionManager()
           
 
Method Summary
static boolean contains(DbStorageManager dbsm, long transactionNumber, PhysicalID id, PhysicalID matchID)
          Checks if a specified identifier belongs to the collection.
static void delete(DbStorageManager dbsm, long transactionNumber, PhysicalID id, PhysicalID deletedID)
          Deletes a specified identifier from the collection.
static void insert(DbStorageManager dbsm, long transactionNumber, PhysicalID id, PhysicalID insertedID)
          Inserts a specified identifier to the collection.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ParentsCollectionManager

public ParentsCollectionManager()
Method Detail

contains

public static boolean contains(DbStorageManager dbsm,
                               long transactionNumber,
                               PhysicalID id,
                               PhysicalID matchID)
                        throws storage.StorageException,
                               java.io.IOException
Checks if a specified identifier belongs to the collection.

Parameters:
dbsm - The data base storage manager where the operation will be performed.
transactionNumber - The number of transaction.
id - The identifier of the datum that represents the collection.
matchID - The identifier to search.
Returns:
true if the identifier is in the collection, false otherwise.
Throws:
storage.StorageException
java.io.IOException

insert

public static void insert(DbStorageManager dbsm,
                          long transactionNumber,
                          PhysicalID id,
                          PhysicalID insertedID)
                   throws storage.StorageException,
                          java.io.IOException,
                          UnavailableUnitException,
                          AlreadyExistingException
Inserts a specified identifier to the collection.

Parameters:
dbsm - The data base storage manager where the operation will be performed.
transactionNumber - The number of transaction.
id - The identifier of the datum that represents the collection.
insertedID - The identifier to insert.
Throws:
storage.StorageException
java.io.IOException
UnavailableUnitException
AlreadyExistingException

delete

public static void delete(DbStorageManager dbsm,
                          long transactionNumber,
                          PhysicalID id,
                          PhysicalID deletedID)
                   throws storage.StorageException,
                          java.io.IOException,
                          NotExistingException
Deletes a specified identifier from the collection.

Parameters:
dbsm - The data base storage manager where the operation will be performed.
transactionNumber - The number of transaction.
id - The identifier of datum that represents the collection.
deletedID - The identifier of the datum to delete.
Throws:
storage.StorageException
java.io.IOException
NotExistingException