public class EfsmFatePlusTestGenerator extends TestGeneratorEngine
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ENGINE_ID
The engine ID of all
EfsmFateTestGenerator instances. |
static Parameter |
LOOP_LIMIT |
static Parameter |
SEQUENCE_LENGTH_PARAMETER |
static Parameter |
SEQUENCES_NUMBER_PARAMETER |
Constructor and Description |
---|
EfsmFatePlusTestGenerator()
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
EfsmFateTestGenerator
instances.public static final Parameter LOOP_LIMIT
public static final Parameter SEQUENCE_LENGTH_PARAMETER
public static final Parameter SEQUENCES_NUMBER_PARAMETER
public EfsmFatePlusTestGenerator()
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
TODO: finish param textjava.lang.IllegalArgumentException
- if inputs
is null
java.lang.IllegalArgumentException
- if inputs
contains no mapping from the
EfsmModel
entity type to an EfsmModel
object