fedora.server.management
Class DBPIDGenerator

java.lang.Object
  fedora.server.management.DBPIDGenerator

All Implemented Interfaces:

PIDGenerator

public class DBPIDGenerator

extends java.lang.Object

implements PIDGenerator

A PIDGenerator that uses a database to keep track of the highest pid it knows about for each namespace.

Version:

$Id: DBPIDGenerator.java,v 1.6 2005/05/19 19:13:37 eddie Exp $

Author:

cwilper@cs.cornell.edu

Constructor Summary

DBPIDGenerator(ConnectionPool cPool, java.io.File oldPidGenDir)
Initialize the DBPIDGenerator.

Method Summary

PID	generatePID(java.lang.String namespace) Generate a new pid that is guaranteed to be unique, within the given namespace.
PID	getLastPID() Get the last pid that was generated.
void	neverGeneratePID(java.lang.String pid) Cause the given PID to never be generated by the PID generator.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DBPIDGenerator

public DBPIDGenerator(ConnectionPool cPool,
                      java.io.File oldPidGenDir)
               throws java.io.IOException

Initialize the DBPIDGenerator. This initializes the memory hash with values in the database, if any. If oldPidGenDir is not null, the constructor will then call neverGeneratePID on the most recently generated PID as reported by the log files in that directory. This is to support automatic upgrade of this functionality from versions of Fedora prior to 1.2.

Method Detail

generatePID

public PID generatePID(java.lang.String namespace)
                throws java.io.IOException

Generate a new pid that is guaranteed to be unique, within the given namespace.

Specified by:

generatePID in interface PIDGenerator

Parameters:

namespace -

Returns:

the PID

Throws:

java.io.IOException

getLastPID

public PID getLastPID()

Get the last pid that was generated.

Specified by:

getLastPID in interface PIDGenerator

Returns:

the last PID that was generated

neverGeneratePID

public void neverGeneratePID(java.lang.String pid)
                      throws java.io.IOException

Cause the given PID to never be generated by the PID generator.

Specified by:

neverGeneratePID in interface PIDGenerator

Parameters:

pid -

Throws:

java.io.IOException