herrendorf

Smell: Using the same trigger multiple times on a transition is redundant

2

A transition with reaction `always, oncycle, myEvent, myEvent [someGuardExpression] / someActions` contains redundant information and might also be expressed as `always, myEvent [someGuardExpression] / someActions` Note: Multiple `after` triggers (e.g....

Smell: All incoming transitions of a state have identical effects

3

analogue of #2047 for incoming transitions: If all incoming transitions of a state or a synchronization have identical effects (including guards), the effect could be defined in the state using...

If all outgoing transitions of a state or a choice have identical effects (including guards), the effect could be defined in the state using `onexit` or choice's incoming transitions. Might...