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.