fedora.server.management
Interface PIDGenerator

All Known Implementing Classes:

BasicPIDGenerator, DBPIDGenerator

public interface PIDGenerator

Interface for generating Fedora PIDs. -----------------------------------------------------------------------------

License and Copyright: The contents of this file are subject to the Mozilla Public License Version 1.1 (the "License"); you may not use this file except in compliance with the License. You may obtain a copy of the License at http://www.mozilla.org/MPL/.

Software distributed under the License is distributed on an "AS IS" basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License for the specific language governing rights and limitations under the License.

The entire file consists of original code. Copyright © 2002-2005 by The Rector and Visitors of the University of Virginia and Cornell University. All rights reserved.

-----------------------------------------------------------------------------

Version:

$Id: PIDGenerator.java,v 1.9 2005/01/11 20:06:07 cwilper Exp $

Author:

cwilper@cs.cornell.edu (first version, Paul Charlton)

Method Summary

java.lang.String	generatePID(java.lang.String NamespaceID) Generate a new pid that is guaranteed to be unique, within the given namespace.
java.lang.String	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.

Method Detail

generatePID

public java.lang.String generatePID(java.lang.String NamespaceID)
                             throws java.io.IOException

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

Throws:

java.io.IOException

getLastPID

public java.lang.String getLastPID()
                            throws java.io.IOException

Get the last pid that was generated.

Throws:

java.io.IOException

neverGeneratePID

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

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

Throws:

java.io.IOException