public class Settings extends Object
| Modifier and Type | Method and Description |
|---|---|
static String |
getProperty(String key)
Gets given global property from
PROPERTIES_FILENAME |
static boolean |
isProperty(String key)
Finds out if the global property is set
|
static void |
setProperty(String key,
String value)
Sets given global property
|
static org.jdom2.input.SAXBuilder |
setupSAXBuilder()
Sets properties desired for MathML normalization purpose
|
static XMLInputFactory |
setupXMLInputFactory()
Sets properties desired for MathML normalization purpose
|
public static String getProperty(String key)
PROPERTIES_FILENAMEkey - property nameIllegalArgumentException - when property not setpublic static boolean isProperty(String key)
key - property namepublic static void setProperty(String key, String value)
key - property namevalue - property valuepublic static XMLInputFactory setupXMLInputFactory()
public static org.jdom2.input.SAXBuilder setupSAXBuilder()
Copyright © 2015. All Rights Reserved.