public final class EfsmTestGenerator extends TestGeneratorEngine
EfsmModel
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ENGINE_ID
The engine ID of all
EfsmTestGenerator instances. |
static Parameter |
LOOP_LIMIT_PARAMETER |
Constructor and Description |
---|
EfsmTestGenerator()
Constructs a generator.
|
Modifier and Type | Method and Description |
---|---|
TestModel |
start(java.util.Map<EntityType,Entity> inputs)
Generates and returns tests for the specified EFSM modules.
|
addBackend, addInputType, addParameter, defines, equals, getId, getInputTypes, getLogger, getMandatoryInputEntity, getOptionalInputEntity, getOutputType, getParameters, hasBackEnds, hashCode, parseCommandLine, runBackEnds, setOutputType, setProgress, start, toString, uses
public static final java.lang.String ENGINE_ID
EfsmTestGenerator
instances.public static final Parameter LOOP_LIMIT_PARAMETER
public TestModel start(java.util.Map<EntityType,Entity> inputs)
start
in class Engine
inputs
- a map containing the EFSM modules and command line arguments. It must contain a
mapping from the EfsmModel
entity type to an EfsmModel
object.
Optionally, it may include a mapping from the Arguments
entity type to an
Arguments
object.java.lang.IllegalArgumentException
- if inputs
is null
java.lang.IllegalArgumentException
- if inputs
contains no mapping from the
EfsmModel
entity type to an EfsmModel
object