public class OperatorNormalizer extends Object implements DOMModule
| Modifier and Type | Field and Description |
|---|---|
protected static String |
FENCED |
protected static String |
IDENTIFIER |
protected static String |
MATH |
protected static String |
OPERATOR |
protected static String |
OVERSCRIPT |
protected Properties |
properties |
protected static String |
ROW |
protected static String |
SUBSCRIPT |
protected static String |
SUBSUP |
protected static String |
SUPERSCRIPT |
protected static String |
UNDEROVER |
protected static String |
UNDERSCRIPT |
| Constructor and Description |
|---|
OperatorNormalizer() |
| Modifier and Type | Method and Description |
|---|---|
void |
execute(org.jdom2.Document doc)
Executes the canonicalization module
|
String |
getProperty(String key)
Gets given property of the module
|
Set<String> |
getPropertyNames()
Gets the module property names
|
protected Set<String> |
getPropertySet(String property) |
protected boolean |
isEnabled(String key) |
protected boolean |
isOperator(org.jdom2.Element element) |
protected boolean |
isOperator(org.jdom2.Element element,
String operator) |
boolean |
isProperty(String key)
Finds out if the property is set
|
protected void |
loadProperties(String propertiesFilename) |
protected void |
replaceElement(org.jdom2.Element toReplace,
String replacementName) |
void |
setProperty(String key,
String value)
Sets given property of the module
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitgetProperty, getPropertyNames, isProperty, setPropertyprotected final Properties properties
protected static final String FENCED
protected static final String IDENTIFIER
protected static final String MATH
protected static final String OPERATOR
protected static final String OVERSCRIPT
protected static final String ROW
protected static final String SUBSCRIPT
protected static final String SUPERSCRIPT
protected static final String SUBSUP
protected static final String UNDEROVER
protected static final String UNDERSCRIPT
public void execute(org.jdom2.Document doc)
DOMModulepublic String getProperty(String key)
ModulegetProperty in interface Modulekey - property namepublic boolean isProperty(String key)
ModuleisProperty in interface Modulekey - property namepublic void setProperty(String key, String value)
ModulesetProperty in interface Modulekey - property namevalue - property valuepublic Set<String> getPropertyNames()
ModulegetPropertyNames in interface Moduleprotected boolean isEnabled(String key)
protected void loadProperties(String propertiesFilename)
protected boolean isOperator(org.jdom2.Element element,
String operator)
protected boolean isOperator(org.jdom2.Element element)
protected void replaceElement(org.jdom2.Element toReplace,
String replacementName)
Copyright © 2015. All Rights Reserved.