public class ModuleSimulator extends Simulator<EfsmModule>
EfsmModule
.EfsmModule
Modifier and Type | Class and Description |
---|---|
class |
ModuleSimulator.ModuleSimulationSnapshot |
Simulator.SimulationSnapshot
innerVariablesMemory, outputsMemory, simulatedModel
Constructor and Description |
---|
ModuleSimulator(EfsmModule efsmModule)
Constructs a simulator for the specified EFSM module.
|
Modifier and Type | Method and Description |
---|---|
EfsmTransitionCoverage |
getCoverage()
Returns a test coverage achieved by this simulator since the last reset (if any).
|
EfsmTransitionCoverage |
getCoverage(Efsm efsm)
Returns a coverage of the specified EFSM.
|
EfsmModuleState |
getCurrentState()
Returns a state of an underlying model which this simulator is currently in.
|
EfsmModule |
getSimulatedModel()
Returns a model which is simulated by this simulator.
|
ProcessSimulator |
getSubSimulator(Efsm efsm)
Returns a simulator for the specified EFSM.
|
java.util.Set<ProcessSimulator> |
getSubSimulators()
Returns all process simulators of this simulator.
|
void |
loadSnapshot(ModuleSimulator.ModuleSimulationSnapshot snapshot)
Loads the specified simulation snapshot discarding current simulation state and history.
|
ModuleSimulator.ModuleSimulationSnapshot |
makeSimulationSnapshot()
Returns a snapshot representing a current state of the simulation.
|
void |
reset()
Resets this simulator, that is, returns it at the same state as it had immediately after
construction.
|
void |
resetCoverage()
Resets a test coverage achieved by this simulator.
|
Sequence |
simulateSequence(Sequence inputSequence)
Simulates processing of the specified input vector and returns produced output vector.
|
Vector |
simulateVector(Vector inputVector)
Simulates processing of the specified input vector and returns produced output vector.
|
getInnerVariableNames, getOutputVariableNames, getOutputVector, getVariableValue, hasInnerVariable, hasInput, hasOutput, loadSnapshot, readVector, substituteVariables
public ModuleSimulator(EfsmModule efsmModule)
efsmModule
- the EFSM module which the simulator is constructed forjava.lang.IllegalArgumentException
- if efsmModule
is null
public EfsmModule getSimulatedModel()
Simulator
getSimulatedModel
in class Simulator<EfsmModule>
public Vector simulateVector(Vector inputVector)
Simulator
simulateVector
in class Simulator<EfsmModule>
inputVector
- the vector to be processedpublic Sequence simulateSequence(Sequence inputSequence)
Simulator
simulateSequence
in class Simulator<EfsmModule>
inputSequence
- the vector to be processedpublic void reset()
Simulator
reset
in class Simulator<EfsmModule>
public EfsmTransitionCoverage getCoverage()
Simulator
getCoverage
in class Simulator<EfsmModule>
public EfsmTransitionCoverage getCoverage(Efsm efsm)
efsm
- the target EFSMnull
is returnedpublic ProcessSimulator getSubSimulator(Efsm efsm)
efsm
- the target EFSMnull
is returnedpublic java.util.Set<ProcessSimulator> getSubSimulators()
null
is returnedpublic EfsmModuleState getCurrentState()
Simulator
getCurrentState
in class Simulator<EfsmModule>
public void resetCoverage()
Simulator
resetCoverage
in class Simulator<EfsmModule>
public ModuleSimulator.ModuleSimulationSnapshot makeSimulationSnapshot()
Simulator
makeSimulationSnapshot
in class Simulator<EfsmModule>
public void loadSnapshot(ModuleSimulator.ModuleSimulationSnapshot snapshot)
snapshot
- the snapshot