All Classes

Class Summary

Class	Description
AbstractContextExecutableInputSUL<I extends ContextExecutableInput<? extends O,? super C>,O,C>	Abstract base class for a SUL that step-wisely executes ContextExecutableInput symbols.
ContextExecutableInputSUL<I extends ContextExecutableInput<? extends O,? super C>,O,C>	A SUL that executes ContextExecutableInput symbols.
Error	A wrapper for representing an exception-based method output via its Class.getSimpleName().
ExecutableInputSUL<I extends ExecutableInput<? extends O>,O>	A SUL that executes ExecutableInput symbols.
MethodInput	An input symbol that represents a call to a method with a specific set of parameters.
MethodOutput	Abstract output of a method.
ReturnValue<T>	A (non-empty) output of a method call.
SimplePOJOExceptionMapper	A mapper that wraps any kind of RuntimeException that occurs during steps of the SimplePOJOTestDriver into a MappedException whose output is an Error object, followed by repeated Unobserved outputs.
SimplePOJOTestDriver	A test driver for plain old java objects.
Unobserved	An artificial output symbol for a (non-executed) input after an exception has occurred.
VoidOutput	The (empty) output of a void method call.