public class EfsmFateTestGenerator extends TestGeneratorEngine
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ENGINE_ID
The engine ID of all
EfsmFateTestGenerator instances. |
Constructor and Description |
---|
EfsmFateTestGenerator()
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, getInputEntity, getInputTypes, getLogger, getOptionalInputEntity, getOutputType, getParameters, hashCode, parseCommandLine, setOutputType, start, toString
public static final java.lang.String ENGINE_ID
EfsmFateTestGenerator
instances.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 the following integer parameters: loop-limit
,
sequence-length
, and sequences-number
java.lang.IllegalArgumentException
- if inputs
is null
java.lang.IllegalArgumentException
- if inputs
contains no mapping from the
EfsmModel
entity type to an EfsmModel
object