gov.nasa.jpf.util

Interface PrintStreamable

public interface PrintStreamable

convenience interface to mix in PrintStream interface

Method Summary

Modifier and Type	Method and Description
java.io.PrintStream	getPrintStream()
default void	print(boolean a)
default void	print(double a)
default void	print(int a)
default void	print(java.lang.Object o)
default void	print(java.lang.String s)
default void	printf(java.lang.String format, java.lang.Object... args)
default void	println()
default void	println(boolean a)
default void	println(double a)
default void	println(int a)
default void	println(java.lang.Object o)
default void	println(java.lang.String s)

Method Detail

getPrintStream

java.io.PrintStream getPrintStream()

println

default void println()

print

default void print(boolean a)

print

default void print(int a)

print

default void print(double a)

print

default void print(java.lang.String s)

print

default void print(java.lang.Object o)

println

default void println(boolean a)

println

default void println(int a)

println

default void println(double a)

println

default void println(java.lang.String s)

println

default void println(java.lang.Object o)

printf

default void printf(java.lang.String format,
                    java.lang.Object... args)