gov.nasa.jpf.util

Class ConsoleStream

java.lang.Object

java.io.OutputStream

java.io.FilterOutputStream

java.io.PrintStream

gov.nasa.jpf.util.ConsoleStream

All Implemented Interfaces:

java.io.Closeable, java.io.Flushable, java.lang.Appendable, java.lang.AutoCloseable

public class ConsoleStream
extends java.io.PrintStream

a utility that can be used to write logs which are displayed in a JTextArea

Field Summary

Fields inherited from class java.io.FilterOutputStream

out

Constructor Summary

Constructors

Constructor and Description
ConsoleStream(javax.swing.JTextArea textArea)

Method Summary

Modifier and Type	Method and Description
void	print(java.lang.Object o)
void	print(java.lang.String s)
void	println()
void	println(java.lang.Object o)
void	println(java.lang.String s)
void	write(byte[] buf, int off, int len)

Methods inherited from class java.io.PrintStream

append, append, append, checkError, clearError, close, flush, format, format, print, print, print, print, print, print, print, printf, printf, println, println, println, println, println, println, println, setError, write

Methods inherited from class java.io.FilterOutputStream

write

Methods inherited from class java.lang.Object

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

Constructor Detail

ConsoleStream

public ConsoleStream(javax.swing.JTextArea textArea)

Method Detail

write

public void write(byte[] buf,
                  int off,
                  int len)

Overrides:

write in class java.io.PrintStream

print

public void print(java.lang.String s)

Overrides:

print in class java.io.PrintStream

println

public void println(java.lang.String s)

Overrides:

println in class java.io.PrintStream

print

public void print(java.lang.Object o)

Overrides:

print in class java.io.PrintStream

println

public void println(java.lang.Object o)

Overrides:

println in class java.io.PrintStream

println

public void println()

Overrides:

println in class java.io.PrintStream