|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttico.configuration.TSetup
public class TSetup
Static class that manages the application configuration. It allows to write and read from a XML file (conf/tico.conf).
Constructor Summary | |
---|---|
TSetup()
|
Method Summary | |
---|---|
static java.lang.String |
getEditorHome()
Returns the editor home directory. |
static java.lang.String |
getInterpreterHome()
Returns the interpreter home directory. |
static java.lang.String |
getLanguage()
Returns the application language . |
static void |
load()
Loads the configuration file conf/tico.conf |
static void |
save()
Saves the configuration file conf/tico.conf |
static void |
setEditorHome(java.lang.String pathEditor)
Sets the editor home directory. |
static void |
setInterpreterHome(java.lang.String pathInterpreter)
Sets the interpreter home directory. |
static void |
setLanguage(java.lang.String language)
Sets the application language . |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public TSetup()
Method Detail |
---|
public static void load() throws javax.xml.parsers.ParserConfigurationException, org.xml.sax.SAXException, java.io.IOException
javax.xml.parsers.ParserConfigurationException
- If there are syntactic error
in the XML document
org.xml.sax.SAXException
- If there are problems transforming the
text to a XML document
java.io.IOException
- If there are file problemspublic static void save() throws javax.xml.parsers.ParserConfigurationException, java.io.IOException, javax.xml.transform.TransformerException
javax.xml.parsers.ParserConfigurationException
- If there are syntactic error
in the XML document
java.io.IOException
- If there are file problems
javax.xml.transform.TransformerException
- If there are problems transforming the
XML document to textpublic static java.lang.String getLanguage()
language
.
language
public static void setLanguage(java.lang.String language)
language
.
language
- The application language
to setpublic static java.lang.String getEditorHome()
public static void setEditorHome(java.lang.String pathEditor)
pathEditor
- The editor current home directory to setpublic static java.lang.String getInterpreterHome()
public static void setInterpreterHome(java.lang.String pathInterpreter)
pathInterpreter
- The interpreter current home directory to set
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |