public interface PIDGenerator
| 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.
|
PID generatePID(String namespace) throws IOException
namespace - IOExceptionPID getLastPID() throws IOException
IOExceptionvoid neverGeneratePID(String pid) throws IOException
pid - IOExceptionCopyright © 2013 DuraSpace. All Rights Reserved.