Package org.gjt.sp.jedit
Class SettingsXML
- java.lang.Object
-
- org.gjt.sp.jedit.SettingsXML
-
public class SettingsXML extends java.lang.ObjectA XML file in the settings directory. This class provides some common operations to load/save settings from/into a XML file. - Proper encoding and XML declaration. - Two stage save. - Making backup on each save. - Detection of change on disk.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description classSettingsXML.SaverA Writer to write XML for saving.
-
Constructor Summary
Constructors Constructor Description SettingsXML(java.io.File f)SettingsXML(java.lang.String settingsDirectory, java.lang.String name)Construct a SettingsXML with specific location and name.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleanfileExists()Returns true if the file exists.booleanhasChangedOnDisk()Returns true if the file has been changed on disk.voidload(org.xml.sax.helpers.DefaultHandler handler)Parse the XML file to load.SettingsXML.SaveropenSaver()Open the file to save in XML.java.lang.StringtoString()Returns the file's path.
-
-
-
Constructor Detail
-
SettingsXML
public SettingsXML(java.lang.String settingsDirectory, java.lang.String name)Construct a SettingsXML with specific location and name.- Parameters:
settingsDirectory- The settings directory of jeditname- The file name will be (name + ".xml")
-
SettingsXML
public SettingsXML(java.io.File f)
-
-
Method Detail
-
fileExists
public boolean fileExists()
Returns true if the file exists.
-
load
public void load(org.xml.sax.helpers.DefaultHandler handler) throws java.io.IOExceptionParse the XML file to load.- Parameters:
handler- The handler to receive SAX notifications.- Throws:
java.io.IOException
-
openSaver
public SettingsXML.Saver openSaver() throws java.io.IOException
Open the file to save in XML.- Throws:
java.io.IOException
-
hasChangedOnDisk
public boolean hasChangedOnDisk()
Returns true if the file has been changed on disk. This is based on the last modified time at the last saving or loading.
-
toString
public java.lang.String toString()
Returns the file's path.- Overrides:
toStringin classjava.lang.Object
-
-