Comment on page

Static Analysis

FSM2 is able to perform a static analysis on your state machine. The static analysis tool is able to detect a number of issues with your FSM including:
  • States which cannot be reached
  • Duplicate States
  • Events which target an non-registered state.
To perform a static analysis I usually set up a unit tests. This allows me to manually run the static analysis with a single click on the unit test.
test('export', () async {
final machine = _createMachine();
await machine.analyse();