A DeclareStatement declares a variable and initial value.
syntax:
check var name : type := expression;
type or
expression but not both may be omitted. An omitted type is deduced from the initial expression values.
check may be omitted when the expression type is necessarily conformant.
conformsTo
VariableStatement
,
ObservableStatement
Attributes
isCheck : Boolean[?]
True if the initial expression’s type must be checked for conformance with the variable’s type. A non-conforming vlaue is a predicate failure causing the mapping to fail without doing anything. This is a derivation of not ownedInit.type.conformsTo(self.type).
Associations
ownedExpression : OCLExpression[1]
The expression computing the variable’s value.