gov.nasa.jpf.util

Interface Printable

All Known Subinterfaces:

Property

All Known Implementing Classes:

AssertionProperty, EndlessLoopDetector, ErrorTraceGenerator, GenericProperty, HeapTracker, IdleFilter, NoOutOfMemoryErrorProperty, NoStateCycles, NotDeadlockedProperty, NoUncaughtExceptionsProperty, NumericValueChecker, Path, PathOutputMonitor, PreciseRaceDetector, PropertyListenerAdapter, UncaughtException

public interface Printable

Printable is mainly used to avoid having to create potentially huge String(via StringBuilders or Writers) which are just used to be written to std streams

Method Summary

Modifier and Type	Method and Description
void	printOn(java.io.PrintWriter ps)

Method Detail

printOn

void printOn(java.io.PrintWriter ps)