de.learnlib.drivers.api

Class TestDriver<AI,AO,CI extends ExecutableInput<CO>,CO>

java.lang.Object

de.learnlib.drivers.api.TestDriver<AI,AO,CI,CO>

Type Parameters:

AI - abstract input type

CI - concrete input type

AO - abstract output type

CO - concrete output type

All Implemented Interfaces:

SUL<AI,AO>

Direct Known Subclasses:

SimplePOJOTestDriver

public class TestDriver<AI,AO,CI extends ExecutableInput<CO>,CO>
extends Object
implements SUL<AI,AO>

A test driver executes.

Author:

falkhowar

Constructor Summary

Constructors

Constructor and Description
TestDriver(SULMapper<AI,AO,CI,CO> mapper)

Method Summary

Modifier and Type	Method and Description
boolean	canFork() Returns whether this SUL is capable of forking.
SUL<AI,AO>	fork() Forks this SUL, if possible.
void	post() shut down SUL.
void	pre() setup SUL.
AO	step(AI i) make one step on the SUL.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TestDriver

public TestDriver(SULMapper<AI,AO,CI,CO> mapper)

Method Detail

pre

public void pre()

Description copied from interface: SUL

setup SUL.

Specified by:

pre in interface SUL<AI,AO>

post

public void post()

Description copied from interface: SUL

shut down SUL.

Specified by:

post in interface SUL<AI,AO>

step

public AO step(AI i)

Description copied from interface: SUL

make one step on the SUL.

Specified by:

step in interface SUL<AI,AO>

Parameters:

i - input to the SUL

Returns:

output of SUL

canFork

public boolean canFork()

Description copied from interface: SUL

Returns whether this SUL is capable of forking.

Specified by:

canFork in interface SUL<AI,AO>

Returns:

true if this SUL can be forked, false otherwise

See Also:

SUL.fork()

fork

public SUL<AI,AO> fork()

Description copied from interface: SUL

Forks this SUL, if possible. The fork of a SUL is a copy which behaves exactly the same as this SUL. This method should always return a reseted SUL, regardless of whether this call is made between a call to SUL.pre() and SUL.post().

If SUL.canFork() returns true, this method must return a non-null object, which should behave exactly like this SUL (in particular, it must be forkable as well). Otherwise, a UnsupportedOperationException must be thrown.

Implementation note: if resetting a SUL changes the internal state of this object in a non-trivial way (e.g., incrementing a counter to ensure independent sessions), care must be taken that forks of this SUL manipulate the same internal state.

Specified by:

fork in interface SUL<AI,AO>

Returns:

a fork of this SUL.