uwcse.tools
Class JevaUW.OutputFilter
java.lang.Object
|
+--java.io.Writer
|
+--java.io.FilterWriter
|
+--uwcse.tools.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 |
out
java.io.Writer out
trace
java.io.Writer trace
JevaUW.OutputFilter
JevaUW.OutputFilter(java.io.Writer out,
java.io.Writer trace)
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(int c)
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