public class PrefixManager
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static PrefixManager |
getInstance() |
PrefixSec |
getPrefixSec() |
void |
initEmpty()
Resets or initializes the
PrefixManager
with an empty prefix section. |
void |
setPrefixSec(PrefixSec prefixSec) |
public static PrefixManager getInstance()
public void initEmpty()
PrefixManager
with an empty prefix section.public void setPrefixSec(PrefixSec prefixSec)
public PrefixSec getPrefixSec()