|
Poseidon for UMLTM UMLdoc |
|||||||||
|
||||||||||
Algorithms
the formal description of the result Instance that is returned by the invocation of a Function.
|
|||
public
ActualTypeConstraint
|
actualTypeConstraint
|
||
public
Function
|
function
|
||
public
FunctionCall
|
functionCall
|
||
public
ParameterType
|
result_type
represents the Data Type specification for the FunctionResult. |
||
|
|
|||
public
ActualTypeConstraint actualTypeConstraint
|
public
Function function
|
public
FunctionCall functionCall
|
public
ParameterType result_type
represents the Data Type specification for the FunctionResult. It can specify an InstantiableType, or a GeneralizedType derived from the data type of an actual parameter by an ActualTypeConstraint (via specifies-result-type).
|
|
Poseidon for UMLTM UMLdoc |
|||||||||
|
||||||||||