gov.nasa.jpf.util

Class DevNullPrintStream

java.lang.Object

java.io.OutputStream

java.io.FilterOutputStream

java.io.PrintStream

gov.nasa.jpf.util.DevNullPrintStream

All Implemented Interfaces:

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

public class DevNullPrintStream
extends java.io.PrintStream

a PrintStream that doesn't print anything

Field Summary

Fields inherited from class java.io.FilterOutputStream

out

Constructor Summary

Constructors

Constructor and Description
DevNullPrintStream()

Method Summary

Modifier and Type	Method and Description
java.io.PrintStream	append(char a)
java.io.PrintStream	append(java.lang.CharSequence a)
java.io.PrintStream	append(java.lang.CharSequence a, int b, int c)
boolean	checkError()
protected void	clearError()
void	close()
void	flush()
java.io.PrintStream	format(java.util.Locale a, java.lang.String b, java.lang.Object... c)
java.io.PrintStream	format(java.lang.String a, java.lang.Object... b)
void	print(boolean a)
void	print(char a)
void	print(char[] a)
void	print(double a)
void	print(float a)
void	print(int a)
void	print(long a)
void	print(java.lang.Object a)
void	print(java.lang.String a)
java.io.PrintStream	printf(java.util.Locale a, java.lang.String b, java.lang.Object... c)
java.io.PrintStream	printf(java.lang.String a, java.lang.Object... b)
void	println()
void	println(boolean a)
void	println(char a)
void	println(char[] a)
void	println(double a)
void	println(float a)
void	println(int a)
void	println(long a)
void	println(java.lang.Object a)
void	println(java.lang.String a)
protected void	setError()
void	write(byte[] a, int b, int c)
void	write(int a)

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

DevNullPrintStream

public DevNullPrintStream()

Method Detail

flush

public void flush()

Specified by:

flush in interface java.io.Flushable

Overrides:

flush in class java.io.PrintStream

close

public void close()

Specified by:

close in interface java.io.Closeable

Specified by:

close in interface java.lang.AutoCloseable

Overrides:

close in class java.io.PrintStream

checkError

public boolean checkError()

Overrides:

checkError in class java.io.PrintStream

setError

protected void setError()

Overrides:

setError in class java.io.PrintStream

clearError

protected void clearError()

Overrides:

clearError in class java.io.PrintStream

write

public void write(int a)

Overrides:

write in class java.io.PrintStream

write

public void write(byte[] a,
                  int b,
                  int c)

Overrides:

write in class java.io.PrintStream

print

public void print(boolean a)

Overrides:

print in class java.io.PrintStream

print

public void print(char a)

Overrides:

print in class java.io.PrintStream

print

public void print(int a)

Overrides:

print in class java.io.PrintStream

print

public void print(long a)

Overrides:

print in class java.io.PrintStream

print

public void print(float a)

Overrides:

print in class java.io.PrintStream

print

public void print(double a)

Overrides:

print in class java.io.PrintStream

print

public void print(char[] a)

Overrides:

print in class java.io.PrintStream

print

public void print(java.lang.String a)

Overrides:

print in class java.io.PrintStream

print

public void print(java.lang.Object a)

Overrides:

print in class java.io.PrintStream

println

public void println()

Overrides:

println in class java.io.PrintStream

println

public void println(boolean a)

Overrides:

println in class java.io.PrintStream

println

public void println(char a)

Overrides:

println in class java.io.PrintStream

println

public void println(int a)

Overrides:

println in class java.io.PrintStream

println

public void println(long a)

Overrides:

println in class java.io.PrintStream

println

public void println(float a)

Overrides:

println in class java.io.PrintStream

println

public void println(double a)

Overrides:

println in class java.io.PrintStream

println

public void println(char[] a)

Overrides:

println in class java.io.PrintStream

println

public void println(java.lang.String a)

Overrides:

println in class java.io.PrintStream

println

public void println(java.lang.Object a)

Overrides:

println in class java.io.PrintStream

printf

public java.io.PrintStream printf(java.lang.String a,
                                  java.lang.Object... b)

Overrides:

printf in class java.io.PrintStream

printf

public java.io.PrintStream printf(java.util.Locale a,
                                  java.lang.String b,
                                  java.lang.Object... c)

Overrides:

printf in class java.io.PrintStream

format

public java.io.PrintStream format(java.lang.String a,
                                  java.lang.Object... b)

Overrides:

format in class java.io.PrintStream

format

public java.io.PrintStream format(java.util.Locale a,
                                  java.lang.String b,
                                  java.lang.Object... c)

Overrides:

format in class java.io.PrintStream

append

public java.io.PrintStream append(java.lang.CharSequence a)

Specified by:

append in interface java.lang.Appendable

Overrides:

append in class java.io.PrintStream

append

public java.io.PrintStream append(java.lang.CharSequence a,
                                  int b,
                                  int c)

Specified by:

append in interface java.lang.Appendable

Overrides:

append in class java.io.PrintStream

append

public java.io.PrintStream append(char a)

Specified by:

append in interface java.lang.Appendable

Overrides:

append in class java.io.PrintStream