uwcse.graphics
Class JevaUW.OutputFilter

java.lang.Object
  |
  +--java.io.Writer
        |
        +--java.io.FilterWriter
              |
              +--uwcse.graphics.JevaUW.OutputFilter
Enclosing class:
JevaUW

class JevaUW.OutputFilter
extends java.io.FilterWriter

The OutputFilter consumes the Jeva output, dumps it to the tracefile and passes along the output to the given writer.


Field Summary
(package private)  java.io.Writer out
           
(package private)  java.io.Writer trace
           
 
Fields inherited from class java.io.Writer
lock
 
Constructor Summary
(package private) JevaUW.OutputFilter(java.io.Writer out, java.io.Writer trace)
           
 
Method Summary
 void write(char[] buf, int off, int len)
           
 void write(int c)
           
 void write(java.lang.String str, int off, int len)
           
 
Methods inherited from class java.io.FilterWriter
close, flush
 
Methods inherited from class java.io.Writer
write, write
 
Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

out

java.io.Writer out

trace

java.io.Writer trace
Constructor Detail

JevaUW.OutputFilter

JevaUW.OutputFilter(java.io.Writer out,
                    java.io.Writer trace)
Method Detail

write

public void write(int c)
           throws java.io.IOException
Overrides:
write in class java.io.FilterWriter

write

public void write(char[] buf,
                  int off,
                  int len)
           throws java.io.IOException
Overrides:
write in class java.io.FilterWriter

write

public void write(java.lang.String str,
                  int off,
                  int len)
           throws java.io.IOException
Overrides:
write in class java.io.FilterWriter