Constructor and Description |
---|
Model() |
Modifier and Type | Method and Description |
---|---|
abstract void |
addInnerVariable(java.lang.String name,
ru.ispras.fortress.data.DataType type)
Adds a new inner variable with the specified name and type to this model.
|
abstract void |
addInput(java.lang.String name,
ru.ispras.fortress.data.DataType type)
Adds a new input with the specified name and type to this model.
|
abstract void |
addOutput(java.lang.String name,
ru.ispras.fortress.data.DataType type)
Adds a new output with the specified name and type to this model.
|
abstract boolean |
containsInnerVariable(java.lang.String name)
Checks if this model has an inner variable with the specified name.
|
abstract boolean |
containsInput(java.lang.String name)
Checks if this model has an input with the specified name.
|
abstract boolean |
containsOutput(java.lang.String name)
Checks if this model has an output with the specified name.
|
abstract State |
getInitialState()
Returns an initial state of this model.
|
abstract ru.ispras.fortress.data.DataType |
getInnerDataType(java.lang.String name)
Returns a data type of the specified inner variable of this model.
|
abstract java.util.Map<java.lang.String,ru.ispras.fortress.data.DataType> |
getInnerDataTypes()
Returns data types of all inner variables of this model.
|
abstract java.util.Map<java.lang.String,ru.ispras.fortress.data.DataType> |
getInnerDataTypes(java.util.Collection<java.lang.String> names)
Returns data types of the specified inner variables of this model.
|
abstract ru.ispras.fortress.data.DataType |
getInputDataType(java.lang.String name)
Returns a data type of the specified input variable of this model.
|
abstract java.util.Map<java.lang.String,ru.ispras.fortress.data.DataType> |
getInputDataTypes()
Returns data types of all input variables of this model.
|
abstract java.util.Map<java.lang.String,ru.ispras.fortress.data.DataType> |
getInputDataTypes(java.util.Collection<java.lang.String> names)
Returns data types of the specified input variables of this model.
|
abstract ru.ispras.fortress.data.DataType |
getOutputDataType(java.lang.String name)
Returns a data type of the specified output of this model.
|
abstract java.util.Map<java.lang.String,ru.ispras.fortress.data.DataType> |
getOutputDataTypes()
Returns data types of all output signals of this model.
|
abstract java.util.Map<java.lang.String,ru.ispras.fortress.data.DataType> |
getOutputDataTypes(java.util.Collection<java.lang.String> names)
Returns data types of the specified output variables of this model.
|
addMetaInfo, addMetaInfo, addMetaInfo, addMetaInfo, equals, getMetaInfo, getMetaInfo, getMetaInfo, hashCode, hasMetaInfo, hasMetaInfo, removeMetaInfo
public abstract void addInput(java.lang.String name, ru.ispras.fortress.data.DataType type)
name
- the name of the input to be addedtype
- the type of the input to be addedpublic abstract void addInnerVariable(java.lang.String name, ru.ispras.fortress.data.DataType type)
name
- the name of the variable to be addedtype
- the type of the variable to be addedpublic abstract void addOutput(java.lang.String name, ru.ispras.fortress.data.DataType type)
name
- the name of the output to be addedtype
- the type of the output to be addedpublic abstract boolean containsInput(java.lang.String name)
name
- the name to be checkedtrue
if this model has the input, otherwise returns false
public abstract boolean containsInnerVariable(java.lang.String name)
name
- the name to be checkedtrue
if this model has the inner variable, otherwise returns false
public abstract boolean containsOutput(java.lang.String name)
name
- the name to be checkedtrue
if this model has the output, otherwise returns false
public abstract ru.ispras.fortress.data.DataType getInputDataType(java.lang.String name)
name
- a name of the inputjava.lang.IllegalArgumentException
- if the specified variable is not found among the model inputspublic abstract java.util.Map<java.lang.String,ru.ispras.fortress.data.DataType> getInputDataTypes(java.util.Collection<java.lang.String> names)
names
- a collection containing names of the inputsjava.lang.IllegalArgumentException
- if at least on of the specified variables is not found
among the model inputspublic abstract java.util.Map<java.lang.String,ru.ispras.fortress.data.DataType> getInputDataTypes()
public abstract ru.ispras.fortress.data.DataType getInnerDataType(java.lang.String name)
name
- a name of the variablejava.lang.IllegalArgumentException
- if the specified variable is not found among the model inner
variablespublic abstract java.util.Map<java.lang.String,ru.ispras.fortress.data.DataType> getInnerDataTypes(java.util.Collection<java.lang.String> names)
names
- a collection containing names of the variablesjava.lang.IllegalArgumentException
- if at least on of the specified variables is not found among
the model inner variablespublic abstract java.util.Map<java.lang.String,ru.ispras.fortress.data.DataType> getInnerDataTypes()
public abstract ru.ispras.fortress.data.DataType getOutputDataType(java.lang.String name)
name
- a name of the outputjava.lang.IllegalArgumentException
- if the specified output is not found among the model outputspublic abstract java.util.Map<java.lang.String,ru.ispras.fortress.data.DataType> getOutputDataTypes(java.util.Collection<java.lang.String> names)
names
- a collection containing names of the outputsjava.lang.IllegalArgumentException
- if at least on of the specified signals is not found among the
model outputspublic abstract java.util.Map<java.lang.String,ru.ispras.fortress.data.DataType> getOutputDataTypes()
public abstract State getInitialState()