|
Poseidon for UMLTM UMLdoc |
|||||||||
|
||||||||||
Algorithms
Algorithms.Variable
an object that exists during an invocation of an Algorithm and contains an Instance of a specified data type.
|
|||
public
LocalId
|
id
|
||
|
|
|||
public
ActualTypeConstraint
|
actualTypeConstraint
|
||
public
LocalScope
|
namespace
|
||
public
VariableRef
|
variableRef
represents the Variable to which the VariableRef refers. |
||
public
ParameterType
|
variable_type
represents the Data Type specification for the Variable. |
||
|
|
|||
public
LocalId id
|
|
|||
public
ActualTypeConstraint actualTypeConstraint
|
public
LocalScope namespace
|
public
VariableRef variableRef
represents the Variable to which the VariableRef refers.
|
public
ParameterType variable_type
represents the Data Type specification for the Variable. In any given invocation, the data type of the Variable is an InstantiableType. But it can be specified as an InstantiableType, or as a GeneralizedType corresponding to the data type of an actual parameter as specified by an ActualTypeConstraint (via specifies-variable-type).
|
|
Poseidon for UMLTM UMLdoc |
|||||||||
|
||||||||||