de.learnlib.mapper

Class ExecutableInputSUL<I extends ExecutableInput<? extends O>,O>

java.lang.Object

de.learnlib.mapper.ExecutableInputSUL<I,O>

Type Parameters:

I - input symbol type

O - output symbol type

All Implemented Interfaces:

SUL<I,O>

public class ExecutableInputSUL<I extends ExecutableInput<? extends O>,O>
extends Object
implements SUL<I,O>

A SUL that executes ExecutableInput symbols.

Author:

Malte Isberner

Constructor Summary

Constructors

Constructor and Description
ExecutableInputSUL()

Method Summary

Modifier and Type	Method and Description
boolean	canFork() Returns whether this SUL is capable of forking.
SUL<I,O>	fork() Forks this SUL, if possible.
void	post() shut down SUL.
void	pre() setup SUL.
O	step(I in) 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

ExecutableInputSUL

public ExecutableInputSUL()

Method Detail

pre

public void pre()

Description copied from interface: SUL

setup SUL.

Specified by:

pre in interface SUL<I extends ExecutableInput<? extends O>,O>

post

public void post()

Description copied from interface: SUL

shut down SUL.

Specified by:

post in interface SUL<I extends ExecutableInput<? extends O>,O>

step

public O step(I in)
       throws SULException

Description copied from interface: SUL

make one step on the SUL.

Specified by:

step in interface SUL<I extends ExecutableInput<? extends O>,O>

Parameters:

in - input to the SUL

Returns:

output of SUL

Throws:

SULException

canFork

public boolean canFork()

Description copied from interface: SUL

Returns whether this SUL is capable of forking.

Specified by:

canFork in interface SUL<I extends ExecutableInput<? extends O>,O>

Returns:

true if this SUL can be forked, false otherwise

See Also:

SUL.fork()

fork

public SUL<I,O> 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<I extends ExecutableInput<? extends O>,O>

Returns:

a fork of this SUL.