join-node-successions

Available in: SysML

This checks that join nodes have at least two incoming successions. Otherwise, a join node can be removed as there is nothing to join.

Example

action {
    action a;
    action b;

    first a then J;
    join J; // warning: A join node should have at least two incoming successions
}

Add missing incoming successions:

action {
    action a;
    action b;

    first a then J;
    first b then J;
    join J; // ok
}

Options

• lint.join-node-successions:

  Allows controlling the diagnostic severity, e.g. off to disable it.

---

All validation rules