gov.nasa.jpf

Class ConsoleOutputStream

java.lang.Object

java.io.OutputStream

java.io.FilterOutputStream

java.io.PrintStream

gov.nasa.jpf.ConsoleOutputStream

All Implemented Interfaces:

Closeable, Flushable, Appendable, AutoCloseable

public class ConsoleOutputStream
extends PrintStream

this is what we use for System.out and System.err, hence we go native as quickly as possible, hence we don't need an underlying stream. It's already slow enough as it is NOTE - we have to intercept *everything* that might go to our base class, since it is not initialized properly (we want to avoid costly PrinStream init unless we really need it

Field Summary

Fields inherited from class java.io.FilterOutputStream

out

Constructor Summary

Constructors

Constructor and Description
ConsoleOutputStream()

Method Summary

Methods

Modifier and Type	Method and Description
void	close()
void	flush()
PrintStream	format(String fmt, Object... args)
void	print(boolean b)
void	print(byte b)
void	print(char c)
void	print(double d)
void	print(float f)
void	print(int i)
void	print(long l)
void	print(Object o)
void	print(short s)
void	print(String s)
PrintStream	printf(String fmt, Object... args)
void	println()
void	println(boolean b)
void	println(byte b)
void	println(char c)
void	println(double d)
void	println(float f)
void	println(int i)
void	println(long l)
void	println(Object o)
void	println(short s)
void	println(String s)
void	write(byte[] buf, int off, int len)
void	write(int b)

Methods inherited from class java.io.PrintStream

append, append, append, checkError, clearError, format, print, printf, println, setError

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

ConsoleOutputStream

public ConsoleOutputStream()

Method Detail

flush

public void flush()

Specified by:

flush in interface Flushable

Overrides:

flush in class PrintStream

close

public void close()

Specified by:

close in interface Closeable

Specified by:

close in interface AutoCloseable

Overrides:

close in class PrintStream

print

public void print(boolean b)

Overrides:

print in class PrintStream

print

public void print(byte b)

print

public void print(char c)

Overrides:

print in class PrintStream

print

public void print(short s)

print

public void print(int i)

Overrides:

print in class PrintStream

print

public void print(long l)

Overrides:

print in class PrintStream

print

public void print(float f)

Overrides:

print in class PrintStream

print

public void print(double d)

Overrides:

print in class PrintStream

print

public void print(String s)

Overrides:

print in class PrintStream

print

public void print(Object o)

Overrides:

print in class PrintStream

println

public void println(boolean b)

Overrides:

println in class PrintStream

println

public void println(byte b)

println

public void println(char c)

Overrides:

println in class PrintStream

println

public void println(short s)

println

public void println(int i)

Overrides:

println in class PrintStream

println

public void println(long l)

Overrides:

println in class PrintStream

println

public void println(float f)

Overrides:

println in class PrintStream

println

public void println(double d)

Overrides:

println in class PrintStream

println

public void println(String s)

Overrides:

println in class PrintStream

println

public void println(Object o)

Overrides:

println in class PrintStream

println

public void println()

Overrides:

println in class PrintStream

printf

public PrintStream printf(String fmt,
                 Object... args)

Overrides:

printf in class PrintStream

format

public PrintStream format(String fmt,
                 Object... args)

Overrides:

format in class PrintStream

write

public void write(int b)

Overrides:

write in class PrintStream

write

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

Overrides:

write in class PrintStream