public class XMLResources
extends java.lang.Object
InfoView
.Modifier and Type | Field and Description |
---|---|
(package private) static java.lang.String |
FUNCTION_RESOURCE |
protected java.util.Properties |
functionExplanations |
private static java.lang.String |
LABEL_RESOURCE |
private static java.lang.String |
RULE_RESOURCE |
protected java.util.Properties |
ruleExplanations |
protected java.util.Properties |
termLabelExplanations |
Constructor and Description |
---|
XMLResources() |
Modifier and Type | Method and Description |
---|---|
java.util.Properties |
getFunctionExplanations() |
private static java.util.Properties |
getResource(java.lang.String xmlFile) |
java.util.Properties |
getRuleExplanations() |
java.util.Properties |
getTermLabelExplanations() |
private static final java.lang.String RULE_RESOURCE
protected final java.util.Properties ruleExplanations
private static final java.lang.String LABEL_RESOURCE
protected final java.util.Properties termLabelExplanations
static final java.lang.String FUNCTION_RESOURCE
protected final java.util.Properties functionExplanations
public java.util.Properties getRuleExplanations()
public java.util.Properties getTermLabelExplanations()
public java.util.Properties getFunctionExplanations()
private static java.util.Properties getResource(java.lang.String xmlFile)