public class ModuleSimulator extends Simulator<EfsmModule>
EfsmModule
.EfsmModule
Modifier and Type | Class and Description |
---|---|
class |
ModuleSimulator.ModuleSimulationSnapshot |
Simulator.SimulationSnapshot
innerVariablesMemory, inputsMemory, outputsMemory, simulatedModel
Constructor and Description |
---|
ModuleSimulator(EfsmModule efsmModule)
Constructs a simulator for the specified EFSM module.
|
Modifier and Type | Method and Description |
---|---|
protected void |
checkInnerConsistency() |
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)
TODO: add javadoc here
|
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.
|
checkInputConsistency, getInnerVariableNames, getOutputVariableNames, getOutputVector, getVariableValue, hasInnerVariable, hasInput, hasOutput, loadSnapshot, readVector, resetInputs, 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>
protected void checkInnerConsistency()
checkInnerConsistency
in class Simulator<EfsmModule>
public ModuleSimulator.ModuleSimulationSnapshot makeSimulationSnapshot()
Simulator
makeSimulationSnapshot
in class Simulator<EfsmModule>
public void loadSnapshot(ModuleSimulator.ModuleSimulationSnapshot snapshot)
snapshot
-