public final class HTMLWriter extends java.lang.Object
private java.io.Writer
m_out
HTMLWriter(java.io.Writer out)
void
close()
eol()
flush()
write(char c)
write(java.lang.String s)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
private java.io.Writer m_out
public HTMLWriter(java.io.Writer out)
public void write(java.lang.String s)
public void write(char c)
public void eol()
public void flush()
public void close()