public final class PrefixDBManager
extends java.lang.Object
implements java.io.Serializable
Constructor and Description |
---|
PrefixDBManager() |
Modifier and Type | Method and Description |
---|---|
static PrefixDB |
instance()
Gets the current prefix database.
|
static void |
setInstance(PrefixDB instance)
Sets the current prefix database.
|
public static PrefixDB instance() throws PrefixDBException
PrefixDBException
- The current prefix database couldn't be created.public static void setInstance(PrefixDB instance)
instance
- The prefix database to be made the current one.