de.learnlib.mapper

Class AbstractContextExecutableInputSUL<I extends ContextExecutableInput<? extends O,? super C>,O,C>

java.lang.Object

de.learnlib.mapper.AbstractContextExecutableInputSUL<I,O,C>

Type Parameters:

I - input symbol type

O - output symbol type

C - context type

All Implemented Interfaces:

SUL<I,O>

Direct Known Subclasses:

ContextExecutableInputSUL

public abstract class AbstractContextExecutableInputSUL<I extends ContextExecutableInput<? extends O,? super C>,O,C>
extends Object
implements SUL<I,O>

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

This class does not specify how contexts are created and disposed of, but declares abstract methods for these tasks.

Author:

Malte Isberner

Constructor Summary

Constructors

Constructor and Description
AbstractContextExecutableInputSUL()

Method Summary

Modifier and Type	Method and Description
protected abstract C	createContext()
protected abstract void	disposeContext(C context)
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

Methods inherited from interface de.learnlib.api.SUL

canFork, fork

Constructor Detail

AbstractContextExecutableInputSUL

public AbstractContextExecutableInputSUL()

Method Detail

pre

public void pre()

Description copied from interface: SUL

setup SUL.

Specified by:

pre in interface SUL<I extends ContextExecutableInput<? extends O,? super C>,O>

createContext

protected abstract C createContext()

post

public void post()

Description copied from interface: SUL

shut down SUL.

Specified by:

post in interface SUL<I extends ContextExecutableInput<? extends O,? super C>,O>

disposeContext

protected abstract void disposeContext(C context)

step

public O step(I in)

Description copied from interface: SUL

make one step on the SUL.

Specified by:

step in interface SUL<I extends ContextExecutableInput<? extends O,? super C>,O>

Parameters:

in - input to the SUL

Returns:

output of SUL