StateMachineTester<STATE extends Object, ACTION extends Object> class

This class is used to test the state machine.

Constructors

StateMachineTester({required GraphBuilder<STATE, ACTION> graphBuilder, List<SideEffectCreator<STATE, ACTION, SideEffect>> sideEffectCreators = const []})

Creates a state machine tester.

Properties

hashCode → int

The hash code for this object.

no setter, inherited

runtimeType → Type

A representation of the runtime type of the object.

no setter, inherited

Methods

noSuchMethod(Invocation invocation) → dynamic

Invoked when a nonexistent method or property is accessed.

inherited

runTest() → void

Runs the test.

setTestCase({required STATE beforeState, required List<SMAssertObject<STATE, ACTION>> testCases}) → void

Sets the test case.

toString() → String

A string representation of this object.

inherited

Operators

operator ==(Object other) → bool

The equality operator.

inherited