Package de.learnlib.sul
Interface ContextHandler<C>
-
- Type Parameters:
C
- context type
public interface ContextHandler<C>
Facility for creating and disposing of contexts on whichContextExecutableInput
s operate.If used in a multi-threaded environment (e.g.,
SUL.fork()
), an implementation of this interface must be thread-safe, i.e., both thecreateContext()
anddisposeContext(Object)
methods must be reentrant. Furthermore, it must not make any assumptions as to the particular sequence in which these methods are called.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description C
createContext()
void
disposeContext(C context)
-