Module jEdit

Package org.gjt.sp.jedit

Class SettingsXML.Saver

java.lang.Object

java.io.Writer

java.io.BufferedWriter

org.gjt.sp.jedit.SettingsXML.Saver

All Implemented Interfaces:

Closeable, Flushable, Appendable, AutoCloseable

Enclosing class:

SettingsXML

public class SettingsXML.Saver
extends 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(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, nullWriter, write, write

Methods inherited from class java.lang.Object

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

Method Details

writeXMLDeclaration

public void writeXMLDeclaration()
                         throws IOException

Write the XML 1.0 declaration. This should be the first output.

Throws:

IOException

writeXMLDeclaration

public void writeXMLDeclaration(String version)
                         throws IOException

Write the XML declaration of a specific version. This should be the first output.

Throws:

IOException

finish

public void finish()
            throws IOException

Perform the final step of saving.

Throws:

IOException