Modifier and Type | Method and Description |
---|---|
TestVector |
enableGuardedAction(GuardedAction guardedAction,
EventList fixedEvents,
java.util.Map<java.lang.String,ru.ispras.fortress.expression.NodeValue> fixedInputs)
Generates an input vector to enable the specified guarded action considering the specified
fixed events and inputs.
|
ru.ispras.fortress.expression.Node |
fillExpression(ru.ispras.fortress.expression.Node expression,
java.util.Map<java.lang.String,ru.ispras.fortress.expression.NodeValue> fixedInputs)
Fills the specified expression with the specified inputs and current values of inner variables.
|
EfsmTransitionCoverage |
getCoverage()
Returns a test coverage reached during simulation since last reset.
|
EfsmState |
getCurrentState()
Returns a state of an underlying EFSM which this simulator is currently in.
|
Efsm |
getEfsm()
Returns the simulated EFSM.
|
HashMapMemory |
getInputsMemory()
Returns input variables and their values.
|
EfsmTransition |
getLastTraversed()
Returns a transition which was traversed by this simulator on last cycle.
|
java.lang.String |
getLogEntryHeader() |
java.lang.String |
getName()
Returns a name of this simulator.
|
HashMapMemory |
getOutputsMemory()
Returns output variables and their values.
|
HashMapMemory |
getRegMemory()
Returns internal variables and their values.
|
ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator.EfsmSimulationSnapshot |
makeSimulationSnapshot() |
void |
reset()
Resets this simulator, that is, returns it to an uninitialised state.
|
void |
resetCoverage()
Resets a test coverage achieved by this simulator.
|
void |
setCurrentState(EfsmState state) |
void |
setLastTraversed(EfsmTransition transition) |
Sequence |
simulateSequence(Sequence inputSequence)
Simulates processing of the specified input vector and returns produced output vector.
|
TestVector |
simulateVector(TestVector inputVector)
Simulates processing of the specified input vector and returns produced output vector.
|
public java.lang.String getName()
public Efsm getEfsm()
public java.lang.String getLogEntryHeader()
public EfsmState getCurrentState()
getCurrentState
in interface Simulated
Efsm.getInitialState()
do if called immediately
after construction/reset of this simulatorreset()
public void setCurrentState(EfsmState state)
public HashMapMemory getInputsMemory()
Simulated
getInputsMemory
in interface Simulated
public HashMapMemory getRegMemory()
Simulated
getRegMemory
in interface Simulated
public HashMapMemory getOutputsMemory()
Simulated
getOutputsMemory
in interface Simulated
public EfsmTransition getLastTraversed()
public void setLastTraversed(EfsmTransition transition)
public EfsmTransitionCoverage getCoverage()
getCoverage
in interface Simulated
public void reset()
public TestVector simulateVector(TestVector inputVector)
Simulated
simulateVector
in interface Simulated
inputVector
- the vector to be processedpublic Sequence simulateSequence(Sequence inputSequence)
Simulated
simulateSequence
in interface Simulated
inputSequence
- the vector to be processedpublic TestVector enableGuardedAction(GuardedAction guardedAction, EventList fixedEvents, java.util.Map<java.lang.String,ru.ispras.fortress.expression.NodeValue> fixedInputs)
guardedAction
- the guarded action to be enabledfixedEvents
- the fixed eventsfixedInputs
- the fixed inputsnull
is
returnedpublic ru.ispras.fortress.expression.Node fillExpression(ru.ispras.fortress.expression.Node expression, java.util.Map<java.lang.String,ru.ispras.fortress.expression.NodeValue> fixedInputs)
expression
- the expression to be filledfixedInputs
- the fixed inputspublic void resetCoverage()
Simulated
resetCoverage
in interface Simulated
public ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator.EfsmSimulationSnapshot makeSimulationSnapshot()