Package org.gjt.sp.jedit

Class SettingsXML.Saver

java.lang.Object

java.io.Writer

java.io.BufferedWriter

org.gjt.sp.jedit.SettingsXML.Saver

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

Modifier and Type	Method	Description
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.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from class java.io.Writer

append, append, append, write, write

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