public final class EfsmTestGenerator extends TestGenerator
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ENGINE_ID
The engine ID of all
EfsmFateTestGenerator instances. |
static Parameter |
LOOP_LIMIT |
Constructor and Description |
---|
EfsmTestGenerator()
Constructs a generator.
|
Modifier and Type | Method and Description |
---|---|
Test |
start(java.util.Map<EntityType,Entity> inputs)
Generates a test, that is, a list of input sequences.
|
addBackend, addInputType, addParameter, defines, equals, getId, getInputTypes, getLogger, getOutputType, getParameters, hasBackEnds, hashCode, parseCommandLine, runBackEnds, setOutputType, setProgress, start, toString, uses
public static final java.lang.String ENGINE_ID
EfsmFateTestGenerator
instances.public static final Parameter LOOP_LIMIT
public Test start(java.util.Map<EntityType,Entity> inputs)
TestGenerator
start
in class TestGenerator
inputs
- a map containing input entities and their types