public class RemoveCruft
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected static java.util.Map<java.lang.String,java.lang.String> |
superscriptsMap
Map from encoded superscripts to replacements.
|
protected static org.jdom2.Namespace |
teiNamespace
TEI name spaces.
|
protected static org.jdom2.Namespace |
teiNamespace2 |
protected static java.util.regex.Matcher |
underlineCapMatcher |
protected static java.util.regex.Pattern |
underlineCapPattern
Pattern to match _Cap
|
Constructor and Description |
---|
RemoveCruft() |
Modifier and Type | Method and Description |
---|---|
static void |
main(java.lang.String[] args)
Main program.
|
static void |
removeCruft(java.lang.String[] args) |
protected static org.jdom2.Namespace teiNamespace
protected static org.jdom2.Namespace teiNamespace2
protected static java.util.regex.Pattern underlineCapPattern
protected static final java.util.regex.Matcher underlineCapMatcher
protected static java.util.Map<java.lang.String,java.lang.String> superscriptsMap