de.learnlib.mapper

Interface ContextExecutableInputSUL.ContextHandler<C>

Type Parameters:

C - context type

Enclosing class:

ContextExecutableInputSUL<I extends ContextExecutableInput<? extends O,? super C>,O,C>

public static interface ContextExecutableInputSUL.ContextHandler<C>

Facility for creating and disposing of contexts on which ContextExecutableInputs operate.

An implementation of this interface must be thread-safe, i.e., both the createContext() and disposeContext(Object) methods must be reentrant. Furthermore, it must not make any assumptions as to the particular sequence in which these methods are called.

Author:

Malte Isberner

Method Summary

Modifier and Type	Method and Description
C	createContext()
void	disposeContext(C context)

Method Detail

createContext

C createContext()

disposeContext

void disposeContext(C context)