Module de.learnlib.driver
Package de.learnlib.driver
Class AbstractContextExecutableInputSUL<I extends ContextExecutableInput<? extends O,? super C>,O,C>
- java.lang.Object
-
- de.learnlib.driver.AbstractContextExecutableInputSUL<I,O,C>
-
- Type Parameters:
I
- input symbol typeO
- output symbol typeC
- 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 aSUL
that step-wisely executesContextExecutableInput
symbols.This class does not specify how contexts are created and disposed of, but declares abstract methods for these tasks.
-
-
Constructor Summary
Constructors Constructor Description AbstractContextExecutableInputSUL()
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method 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.
-