planetj.dataengine.pleasewait
Class HTMLToJSWriter

java.lang.Object
  java.io.Writer
      java.io.FilterWriter
          planetj.dataengine.pleasewait.HTMLToJSWriter

public class HTMLToJSWriter

extends java.io.FilterWriter

Writer for writing HTML in a format that JavaScript can use to generate that same HTML -- Since we do not use the JavaScript replace technique this class isn't currently used --

Field Summary

Fields inherited from class java.io.FilterWriter

out

Fields inherited from class java.io.Writer

lock

Constructor Summary

HTMLToJSWriter(java.io.Writer w)

Method Summary

int	size()
java.lang.String	toString()
void	write(char c)
void	write(char[] data, int offset, int length)
void	write(java.lang.String s, int offset, int length)

Methods inherited from class java.io.FilterWriter

close, flush, write

Methods inherited from class java.io.Writer

write, write

Methods inherited from class java.lang.Object

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

Constructor Detail

HTMLToJSWriter

public HTMLToJSWriter(java.io.Writer w)

Method Detail

write

public void write(java.lang.String s,
                  int offset,
                  int length)
           throws java.io.IOException

Throws:

java.io.IOException

write

public void write(char[] data,
                  int offset,
                  int length)
           throws java.io.IOException

Throws:

java.io.IOException

write

public void write(char c)
           throws java.io.IOException

Throws:

java.io.IOException

size

public int size()

toString

public java.lang.String toString()