|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectfedora.server.management.DBPIDGenerator
A PIDGenerator that uses a database to keep track of the highest pid it knows about for each namespace. -----------------------------------------------------------------------------
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.
-----------------------------------------------------------------------------
| Constructor Summary | |
DBPIDGenerator(ConnectionPool cPool,
java.io.File oldPidGenDir)
Initialize the DBPIDGenerator. |
|
| Method Summary | |
java.lang.String |
generatePID(java.lang.String namespace)
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. |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
public DBPIDGenerator(ConnectionPool cPool,
java.io.File oldPidGenDir)
throws java.io.IOException
| Method Detail |
public java.lang.String generatePID(java.lang.String namespace)
throws java.io.IOException
generatePID in interface PIDGeneratorjava.io.IOExceptionpublic java.lang.String getLastPID()
getLastPID in interface PIDGenerator
public void neverGeneratePID(java.lang.String pid)
throws java.io.IOException
neverGeneratePID in interface PIDGeneratorjava.io.IOException
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||