A C D E F G H I M P R S T U V
All Classes All Packages

A

AbstractContextExecutableInputSUL<I extends ContextExecutableInput<? extends O,? super C>,O,C> - Class in de.learnlib.driver

Abstract base class for a SUL that step-wisely executes ContextExecutableInput symbols.

AbstractContextExecutableInputSUL() - Constructor for class de.learnlib.driver.AbstractContextExecutableInputSUL

addInput(String, Method, Object...) - Method in class de.learnlib.driver.reflect.SimplePOJOTestDriver

addInput(String, String, Object...) - Method in class de.learnlib.driver.reflect.SimplePOJOTestDriver

C

canFork() - Method in class de.learnlib.driver.ContextExecutableInputSUL

canFork() - Method in class de.learnlib.driver.ExecutableInputSUL

canFork() - Method in class de.learnlib.driver.reflect.SimplePOJOExceptionMapper

ContextExecutableInputSUL<I extends ContextExecutableInput<? extends O,? super C>,O,C> - Class in de.learnlib.driver

A SUL that executes ContextExecutableInput symbols.

ContextExecutableInputSUL(ContextHandler<C>) - Constructor for class de.learnlib.driver.ContextExecutableInputSUL

createContext() - Method in class de.learnlib.driver.AbstractContextExecutableInputSUL

createContext() - Method in class de.learnlib.driver.ContextExecutableInputSUL

D

de.learnlib.driver - package de.learnlib.driver

de.learnlib.driver.reflect - package de.learnlib.driver.reflect

disposeContext(C) - Method in class de.learnlib.driver.AbstractContextExecutableInputSUL

disposeContext(C) - Method in class de.learnlib.driver.ContextExecutableInputSUL

E

equals(Object) - Method in class de.learnlib.driver.reflect.Error

equals(Object) - Method in class de.learnlib.driver.reflect.ReturnValue

Error - Class in de.learnlib.driver.reflect

A wrapper for representing an exception-based method output via its Class.getSimpleName().

Error(Throwable) - Constructor for class de.learnlib.driver.reflect.Error

ExecutableInputSUL<I extends ExecutableInput<? extends O>,O> - Class in de.learnlib.driver

A SUL that executes ExecutableInput symbols.

ExecutableInputSUL() - Constructor for class de.learnlib.driver.ExecutableInputSUL

execute(Object) - Method in class de.learnlib.driver.reflect.MethodInput

F

fork() - Method in class de.learnlib.driver.ContextExecutableInputSUL

fork() - Method in class de.learnlib.driver.ExecutableInputSUL

fork() - Method in class de.learnlib.driver.reflect.SimplePOJOExceptionMapper

G

getCause() - Method in class de.learnlib.driver.reflect.Error

getInputs() - Method in class de.learnlib.driver.reflect.SimplePOJOTestDriver

getValue() - Method in class de.learnlib.driver.reflect.ReturnValue

H

hashCode() - Method in class de.learnlib.driver.reflect.Error

hashCode() - Method in class de.learnlib.driver.reflect.ReturnValue

I

INSTANCE - Static variable in class de.learnlib.driver.reflect.Unobserved

INSTANCE - Static variable in class de.learnlib.driver.reflect.VoidOutput

M

mapInput(MethodInput) - Method in class de.learnlib.driver.reflect.SimplePOJOExceptionMapper

mapOutput(MethodOutput) - Method in class de.learnlib.driver.reflect.SimplePOJOExceptionMapper

mapUnwrappedException(RuntimeException) - Method in class de.learnlib.driver.reflect.SimplePOJOExceptionMapper

MethodInput - Class in de.learnlib.driver.reflect

An input symbol that represents a call to a method with a specific set of parameters.

MethodInput(String, Method, Object[]) - Constructor for class de.learnlib.driver.reflect.MethodInput

MethodOutput - Class in de.learnlib.driver.reflect

Abstract output of a method.

MethodOutput() - Constructor for class de.learnlib.driver.reflect.MethodOutput

P

post() - Method in class de.learnlib.driver.AbstractContextExecutableInputSUL

post() - Method in class de.learnlib.driver.ExecutableInputSUL

pre() - Method in class de.learnlib.driver.AbstractContextExecutableInputSUL

pre() - Method in class de.learnlib.driver.ExecutableInputSUL

R

ReturnValue<T> - Class in de.learnlib.driver.reflect

A (non-empty) output of a method call.

ReturnValue(T) - Constructor for class de.learnlib.driver.reflect.ReturnValue

S

SimplePOJOExceptionMapper - Class in de.learnlib.driver.reflect

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.

SimplePOJOExceptionMapper() - Constructor for class de.learnlib.driver.reflect.SimplePOJOExceptionMapper

SimplePOJOTestDriver - Class in de.learnlib.driver.reflect

A test driver for plain old java objects.

SimplePOJOTestDriver(Class<?>) - Constructor for class de.learnlib.driver.reflect.SimplePOJOTestDriver

SimplePOJOTestDriver(Constructor<?>, Object...) - Constructor for class de.learnlib.driver.reflect.SimplePOJOTestDriver

step(I) - Method in class de.learnlib.driver.AbstractContextExecutableInputSUL

step(I) - Method in class de.learnlib.driver.ExecutableInputSUL

T

toString() - Method in class de.learnlib.driver.reflect.Error

toString() - Method in class de.learnlib.driver.reflect.MethodInput

toString() - Method in class de.learnlib.driver.reflect.ReturnValue

toString() - Method in class de.learnlib.driver.reflect.Unobserved

toString() - Method in class de.learnlib.driver.reflect.VoidOutput

U

Unobserved - Class in de.learnlib.driver.reflect

An artificial output symbol for a (non-executed) input after an exception has occurred.

V

VoidOutput - Class in de.learnlib.driver.reflect

The (empty) output of a void method call.

A C D E F G H I M P R S T U V
All Classes All Packages