transition-feature-membership-guard-expression

Available in: SysML

This checks that if transition member is a boolean expression.

Specification

If the kind of a TransitionUsage is guard, then its transition_feature must be a kind of Expression whose result is a Boolean value.

Example

state {
    entry action initial;
    state off;
    transition
        first initial
        if 42         // error
        then off;
}

Instead, use a boolean expression:

state {
    entry action initial;
    state off;
    transition
        first initial
        if true       // ok
        then off;
}