public class DBPIDGenerator extends Object implements PIDGenerator
| Constructor and Description |
|---|
DBPIDGenerator(ConnectionPool cPool,
File oldPidGenDir)
Initialize the DBPIDGenerator.
|
| Modifier and Type | Method and Description |
|---|---|
PID |
generatePID(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(String pid)
Cause the given PID to never be generated by the PID generator.
|
public DBPIDGenerator(ConnectionPool cPool, File oldPidGenDir) throws IOException
IOExceptionpublic PID generatePID(String namespace) throws IOException
generatePID in interface PIDGeneratorIOExceptionpublic PID getLastPID()
getLastPID in interface PIDGeneratorpublic void neverGeneratePID(String pid) throws IOException
neverGeneratePID in interface PIDGeneratorIOExceptionCopyright © 2013 DuraSpace. All Rights Reserved.