Package de.learnlib.driver.reflect

Class Summary

Class	Description
Error	A wrapper for representing an exception-based method output via its Class.getSimpleName().
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.