org.gjt.sp.jedit
Class SettingsXML.Saver

java.lang.Object
  extended by java.io.Writer
      extended by java.io.BufferedWriter
          extended by org.gjt.sp.jedit.SettingsXML.Saver
All Implemented Interfaces:
java.io.Closeable, java.io.Flushable, java.lang.Appendable
Enclosing class:
SettingsXML

public class SettingsXML.Saver
extends java.io.BufferedWriter

A Writer to write XML for saving. The real settings file is not changed until the finish() method succeeds, in which case the previous settings file is backuped.


Field Summary
 
Fields inherited from class java.io.Writer
lock
 
Method Summary
 void finish()
          Perform the final step of saving.
 void writeXMLDeclaration()
          Write the XML 1.0 declaration.
 void writeXMLDeclaration(java.lang.String version)
          Write the XML declaration of a specific version.
 
Methods inherited from class java.io.BufferedWriter
close, flush, newLine, write, write, write
 
Methods inherited from class java.io.Writer
append, append, append, write, write
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

writeXMLDeclaration

public void writeXMLDeclaration()
                         throws java.io.IOException
Write the XML 1.0 declaration. This should be the first output.

Throws:
java.io.IOException

writeXMLDeclaration

public void writeXMLDeclaration(java.lang.String version)
                         throws java.io.IOException
Write the XML declaration of a specific version. This should be the first output.

Throws:
java.io.IOException

finish

public void finish()
            throws java.io.IOException
Perform the final step of saving.

Throws:
java.io.IOException