fork-node-successions

Available in: SysML

This checks that fork nodes have at least two outgoing successions. Otherwise, a fork node can be removed as nothing needs to be forked.

Example

action {
    action a;
    action b;

    first start;
    then fork; // warning: A fork node should have at least two outgoing successions
        then a;
}

Add the missing successions:

action {
    action a;
    action b;

    first start;
    then fork; // ok
        then a;
        then b;
}

Options

• lint.fork-node-successions:

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

---

All validation rules