element-filter-membership-condition-is-boolean

Available in: KerML, SysML

This checks that element filter conditions are predicates, i.e. their expressions return boolean.

Specification

The result parameter of the condition Expression must directly or indirectly specialize ScalarValues::Boolean.

Example

package A;
private import A::*[42]; // error

Use a boolean condition expression:

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