A CheckStatement evaluates a predicate. If the evaluation is false, the mapping execution terminates fails and does nothing.
syntax:
check expression;
conformsTo
ObservableStatement
Associations
ownedExpression : OCLExpression[1]