Module de.learnlib.driver
Package de.learnlib.driver.reflect
package de.learnlib.driver.reflect
-
ClassesClassDescriptionA wrapper for representing an exception-based method output via its
Class.getSimpleName().An input symbol that represents a call to a method with a specific set of parameters.Abstract output of a method.ReturnValue<T>A (non-empty) output of a method call.A mapper that wraps any kind ofRuntimeExceptionthat occurs duringstepsof theSimplePOJOTestDriverinto aMappedExceptionwhose output is anErrorobject, followed by repeatedUnobservedoutputs.A test driver for plain old java objects.An artificial output symbol for a (non-executed) input after an exception has occurred.The (empty) output of a void method call.