public class Config
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
CONFIG_PROPERTY
System property that defines the path to the configuration file
|
static java.util.Map<java.lang.String,java.lang.Class<? extends Highlighter>> |
highlighterClasses
Registered highlighter classes
|
protected java.util.Map<java.lang.String,MainHighlighter> |
highlighters
Registered highlighters
|
static java.lang.String |
NO_EXTERNAL_PROPERTY
Property set to disable external configuration loading
|
protected java.lang.String |
prefix
Prefix to use on created XML elements
|
protected java.lang.String |
uri
The namespace uri
|
protected boolean |
verbose |
static java.lang.String |
VERBOSE_LOADING_PROPERTY
If set to true be verbose during loading of the configuration
|
Modifier | Constructor and Description |
---|---|
protected |
Config() |
protected |
Config(java.lang.String configFilename) |
Modifier and Type | Method and Description |
---|---|
protected void |
createHighlighters(MainHighlighter main,
org.w3c.dom.NodeList list)
Creates the defined highlighters
|
static Config |
getInstance()
Get the default config
|
static Config |
getInstance(java.lang.String filename)
Get the config from a given file
|
MainHighlighter |
getMainHighlighter(java.lang.String id)
Get the highlighter for a given language id
|
java.lang.String |
getPrefix() |
java.lang.String |
getUri() |
protected MainHighlighter |
loadHl(java.lang.String filename)
Load a highlighter
|
public static final java.lang.String CONFIG_PROPERTY
public static final java.lang.String VERBOSE_LOADING_PROPERTY
public static final java.lang.String NO_EXTERNAL_PROPERTY
public static final java.util.Map<java.lang.String,java.lang.Class<? extends Highlighter>> highlighterClasses
protected java.lang.String prefix
protected java.lang.String uri
protected java.util.Map<java.lang.String,MainHighlighter> highlighters
protected boolean verbose
protected Config()
protected Config(java.lang.String configFilename)
public static Config getInstance()
public static Config getInstance(java.lang.String filename)
filename
- public java.lang.String getPrefix()
public java.lang.String getUri()
public MainHighlighter getMainHighlighter(java.lang.String id)
id
- protected MainHighlighter loadHl(java.lang.String filename) throws java.lang.Exception
filename
- java.lang.Exception
protected void createHighlighters(MainHighlighter main, org.w3c.dom.NodeList list)
main
- list
-