public abstract class Simulator extends Engine implements EventDrivenModule
Constructor and Description |
---|
Simulator(java.lang.String id,
EntityType inputType,
EntityType outputType)
Creates a simulator with the specified ID and I/O entity types.
|
Modifier and Type | Method and Description |
---|---|
abstract TestCoverage |
getCoverage()
Returns a representation of a coverage reached during simulation.
|
abstract State |
getCurrentState()
Returns a current state of this simulator.
|
abstract ru.ispras.fortress.expression.NodeValue |
getInnerValue(java.lang.String name)
Returns a value of the specified inner variable of this simulator.
|
abstract java.util.Map<java.lang.String,ru.ispras.fortress.expression.NodeValue> |
getInnerValues()
Returns values of all inner variables of this simulator.
|
abstract java.util.Map<java.lang.String,ru.ispras.fortress.expression.NodeValue> |
getInnerValues(java.util.Collection<java.lang.String> names)
Returns values of the specified inner variables of this simulator.
|
abstract ru.ispras.fortress.expression.NodeValue |
getOutputValue(java.lang.String name)
Returns a value of the specified output variable of this simulator.
|
abstract java.util.Map<java.lang.String,ru.ispras.fortress.expression.NodeValue> |
getOutputValues()
Returns values of all output variables of this simulator.
|
abstract java.util.Map<java.lang.String,ru.ispras.fortress.expression.NodeValue> |
getOutputValues(java.util.Collection<java.lang.String> names)
Returns values of the specified output variables of this simulator.
|
abstract Model |
getStaticModel()
Returns a static device model related to this simulator.
|
abstract void |
setInputValue(java.lang.String name,
ru.ispras.fortress.expression.NodeValue value)
Sets the specified input of this simulator to the specified value.
|
abstract void |
setInputValues(java.util.Collection<Transaction> transactions)
Sets the specified inputs of this simulator to the specified values.
|
addBackend, addInputType, addParameter, defines, equals, getId, getInputTypes, getLogger, getOutputType, getParameters, hasBackEnds, hashCode, parseCommandLine, runBackEnds, setOutputType, setProgress, start, start, toString, uses
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
processEvents
public Simulator(java.lang.String id, EntityType inputType, EntityType outputType)
id
- the IDinputType
- the type of an input entityoutputType
- the type of an output entitypublic abstract void setInputValue(java.lang.String name, ru.ispras.fortress.expression.NodeValue value)
name
- a name of the modified inputvalue
- the value to be setpublic abstract void setInputValues(java.util.Collection<Transaction> transactions)
transactions
- transactions containing the inputs and the corresponding valuespublic abstract ru.ispras.fortress.expression.NodeValue getInnerValue(java.lang.String name)
name
- a name of the inner variablejava.lang.IllegalArgumentException
- if the specified variable is not found among the simulator
inner variablespublic abstract java.util.Map<java.lang.String,ru.ispras.fortress.expression.NodeValue> getInnerValues(java.util.Collection<java.lang.String> names)
names
- a collection containing names of the inner variablesjava.lang.IllegalArgumentException
- if at least on of the specified variables is not found among
the simulator inner variablespublic abstract java.util.Map<java.lang.String,ru.ispras.fortress.expression.NodeValue> getInnerValues()
public abstract ru.ispras.fortress.expression.NodeValue getOutputValue(java.lang.String name)
name
- a name of the outputjava.lang.IllegalArgumentException
- if the specified variable is not found among the simulator
outputspublic abstract java.util.Map<java.lang.String,ru.ispras.fortress.expression.NodeValue> getOutputValues(java.util.Collection<java.lang.String> names)
names
- a collection containing names of the outputsjava.lang.IllegalArgumentException
- if at least on of the specified variables is not found among
the simulator outputspublic abstract java.util.Map<java.lang.String,ru.ispras.fortress.expression.NodeValue> getOutputValues()
public abstract State getCurrentState()
public abstract Model getStaticModel()
public abstract TestCoverage getCoverage()