freemind.main
Class XHTMLWriter.XHTMLFilterWriter
java.lang.Object
java.io.Writer
java.io.FilterWriter
freemind.main.XHTMLWriter.XHTMLFilterWriter
- All Implemented Interfaces:
- java.io.Closeable, java.io.Flushable, java.lang.Appendable
- Enclosing class:
- XHTMLWriter
public static class XHTMLWriter.XHTMLFilterWriter
- extends java.io.FilterWriter
This FilterWriter will convert the output of Swing's HTMLWriter to
XHTML format. This is done by converting tags like <br> to
<br />. Also, special characters in tag attributes are
escaped.
This filter relies on known flaws of the HTMLWriter. It is known to
work with Java 1.4, but might not work with future Java releases.
Fields inherited from class java.io.FilterWriter |
out |
Fields inherited from class java.io.Writer |
lock |
Method Summary |
void |
write(char[] cbuf,
int off,
int len)
Write a char array to the Writer. |
void |
write(int c)
Write a single char to the Writer. |
void |
write(java.lang.String str,
int off,
int len)
Write a String to the Writer. |
Methods inherited from class java.io.FilterWriter |
close, flush |
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 |
XHTMLWriter.XHTMLFilterWriter
public XHTMLWriter.XHTMLFilterWriter(java.io.Writer writer)
- Create a new XHTMLFilterWriter.
- Parameters:
writer
- Writer to write to
write
public void write(int c)
throws java.io.IOException
- Write a single char to the Writer.
- Overrides:
write
in class java.io.FilterWriter
- Parameters:
c
- Char to be written
- Throws:
java.io.IOException
write
public void write(char[] cbuf,
int off,
int len)
throws java.io.IOException
- Write a char array to the Writer.
- Overrides:
write
in class java.io.FilterWriter
- Parameters:
cbuf
- Char array to be writtenoff
- Start offset within the arraylen
- Number of chars to be written
- Throws:
java.io.IOException
write
public void write(java.lang.String str,
int off,
int len)
throws java.io.IOException
- Write a String to the Writer.
- Overrides:
write
in class java.io.FilterWriter
- Parameters:
str
- String to be writtenoff
- Start offset within the Stringlen
- Number of chars to be written
- Throws:
java.io.IOException