A D E G H I N O P R S T U

A

AbstractMethodInput - Class in de.learnlib.drivers.reflect

abstract method input, may have abstract parameters.

AbstractMethodInput(String, Method, Map<String, Integer>, Object[]) - Constructor for class de.learnlib.drivers.reflect.AbstractMethodInput

AbstractMethodOutput - Class in de.learnlib.drivers.reflect

abstract output of a method.

AbstractMethodOutput() - Constructor for class de.learnlib.drivers.reflect.AbstractMethodOutput

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

D

DataMapper<AI,AO,CI extends ExecutableInput<CO>,CO> - Interface in de.learnlib.drivers.api

A data mapper transforms abstract inputs into concrete inputs and concrete outputs into abstract outputs.

de.learnlib.drivers.api - package de.learnlib.drivers.api

de.learnlib.drivers.reflect - package de.learnlib.drivers.reflect

E

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

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

Error - Class in de.learnlib.drivers.reflect

Error output.

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

exception(SULException) - Method in interface de.learnlib.drivers.api.DataMapper

called to transform a concrete error into an abstract one

ExecutableInput<CO> - Interface in de.learnlib.drivers.api

An executable input is a concrete input produced by a data mapper and can be executed directly.

execute() - Method in interface de.learnlib.drivers.api.ExecutableInput

executes the input.

G

getCall() - Method in class de.learnlib.drivers.reflect.AbstractMethodInput

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

getId() - Method in class de.learnlib.drivers.reflect.Error

getId() - Method in class de.learnlib.drivers.reflect.ReturnValue

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

getMethod() - Method in class de.learnlib.drivers.reflect.AbstractMethodInput

getParameterNames() - Method in class de.learnlib.drivers.reflect.AbstractMethodInput

getParameters(Map<String, Object>) - Method in class de.learnlib.drivers.reflect.AbstractMethodInput

getParameterType(String) - Method in class de.learnlib.drivers.reflect.AbstractMethodInput

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

H

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

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

I

input(AI) - Method in interface de.learnlib.drivers.api.DataMapper

called to transform an abstract into a concrete input

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

N

name() - Method in class de.learnlib.drivers.reflect.AbstractMethodInput

O

output(CO) - Method in interface de.learnlib.drivers.api.DataMapper

called to transform a concrete output into an abstract one

P

post() - Method in interface de.learnlib.drivers.api.DataMapper

called by a test driver after execution of a test case

post() - Method in class de.learnlib.drivers.api.TestDriver

pre() - Method in interface de.learnlib.drivers.api.DataMapper

called by a test driver before execution of a test case

pre() - Method in class de.learnlib.drivers.api.TestDriver

R

ReturnValue - Class in de.learnlib.drivers.reflect

Error output.

ReturnValue(Object) - Constructor for class de.learnlib.drivers.reflect.ReturnValue

S

SimplePOJOTestDriver - Class in de.learnlib.drivers.reflect

Simple test driver for plain java objects.

SimplePOJOTestDriver(Constructor, Object...) - Constructor for class de.learnlib.drivers.reflect.SimplePOJOTestDriver

step(AI) - Method in class de.learnlib.drivers.api.TestDriver

SULException - Exception in de.learnlib.drivers.api

Thrown by executable inputs on SUL errors.

SULException(Throwable) - Constructor for exception de.learnlib.drivers.api.SULException

T

TestDriver<AI,AO,CI extends ExecutableInput<CO>,CO> - Class in de.learnlib.drivers.api

A test driver executes

TestDriver(DataMapper<AI, AO, CI, CO>) - Constructor for class de.learnlib.drivers.api.TestDriver

toString() - Method in class de.learnlib.drivers.reflect.AbstractMethodInput

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

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

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

U

Unobserved - Class in de.learnlib.drivers.reflect

Unobserved indicates that the corresponding input was not executed on the system.

A D E G H I N O P R S T U