element-filter-membership-condition-is-model-level-evaluable

Available in: KerML, SysML

This checks that element filter condition expressions are model-level evaluable.

Specification

The condition Expression must be model-level evaluable.

Example

package A;
calc def F { return value : ScalarValues::Boolean; }
private import A::*[F()]; // error

Use instead unary model-level evaluable operator expressions, that excludes all, ~, and [:

package A;
private import A::*[@ KerML::Element]; // ok