assert-constraint-usage-reference

Available in: SysML

This checks that assert constraints reference other constraints only.

Specification

If an AssertConstraintUsage has an owned_reference_subsetting, then the feature_target of the referenced_feature must be a ConstraintUsage.

Example

attribute a;
assert a; // error

Instead, reference a constraint:

constraint a;
assert a; // ok