|
Poseidon for UMLTM UMLdoc |
|||||||||
|
||||||||||
Algorithms
a rule that requires an identity relationship between the actual data types of Parameters to an Algorithm, between the actual data type of a Parameter and the FunctionResult, or between the data type of a Variable and the actual data type of a Parameter. It is denoted in EXPRESS by the type_tag on a generalized_type.
|
|||
public
LocalId
|
tag
the type_tag on a generalized_type that denotes the requirement for identity of all actual types corresponding to the generalized_type with this tag. |
||
|
|
|||
public
Algorithm
|
algorithm
|
||
public
FunctionResult
|
functionResult
|
||
public
Parameter
|
parameter
|
||
public
Variable
|
variable
|
||
|
| Tagged Values | |
UmlToCpp.implIncludes
|
|
UmlToCpp.headerIncludes
|
|
|
|||
public
LocalId tag
the type_tag on a generalized_type that denotes the requirement for identity of all actual types corresponding to the generalized_type with this tag. In effect, it names the constraint.
|
|
|||
public
Algorithm algorithm
|
public
FunctionResult functionResult
|
public
Parameter parameter
|
public
Variable variable
|
|
Poseidon for UMLTM UMLdoc |
|||||||||
|
||||||||||