public class SettingsXML
extends java.lang.Object
Modifier and Type | Class | Description |
---|---|---|
class |
SettingsXML.Saver |
A Writer to write XML for saving.
|
Constructor | Description |
---|---|
SettingsXML(java.io.File f) |
|
SettingsXML(java.lang.String settingsDirectory,
java.lang.String name) |
Construct a SettingsXML with specific location and name.
|
Modifier and Type | Method | Description |
---|---|---|
boolean |
fileExists() |
Returns true if the file exists.
|
boolean |
hasChangedOnDisk() |
Returns true if the file has been changed on disk.
|
void |
load(org.xml.sax.helpers.DefaultHandler handler) |
Parse the XML file to load.
|
SettingsXML.Saver |
openSaver() |
Open the file to save in XML.
|
java.lang.String |
toString() |
Returns the file's path.
|
public SettingsXML(java.lang.String settingsDirectory, java.lang.String name)
settingsDirectory
- The settings directory of jeditname
- The file name will be (name + ".xml")public SettingsXML(java.io.File f)
public boolean fileExists()
public void load(org.xml.sax.helpers.DefaultHandler handler) throws java.io.IOException
handler
- The handler to receive SAX notifications.java.io.IOException
public SettingsXML.Saver openSaver() throws java.io.IOException
java.io.IOException
public boolean hasChangedOnDisk()
public java.lang.String toString()
toString
in class java.lang.Object