Action<State, System, T, R> class final

A command that performs actions with generated values.

Inheritance

• Object
• Command<State, System>
• Action

Implementers

• Action0
• Action2
• Action3
• Action4
• Action5
• Action6
• Action7
• Action8

Constructors

Action.new(String description, Arbitrary<T>? arbitrary, {required FutureOr<void> nextState(State, T), required FutureOr<R> run(System, T), FutureOr<bool> precondition(State, T)?, FutureOr<bool> postcondition(State, T, R)?})

Creates a new action command.

Properties

description → String

A description of the command.

final, inherited

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

nextState(CommandContext<State, System> context, State state) → Future<void>

Updates the state to the next state.

override

noSuchMethod(Invocation invocation) → dynamic

Invoked when a nonexistent method or property is accessed.

inherited

postcondition(CommandContext<State, System> context, State state, dynamic result) → Future<bool>

Returns true if postcondition of the command is satisfied.

override

precondition(CommandContext<State, System> context, State state) → Future<bool>

Returns true if the command can be run on the given state.

override

run(CommandContext<State, System> context, System system) → Future<R>

Performs the command on the given system.

override

toString() → String

A string representation of this object.

inherited

Operators

operator ==(Object other) → bool

The equality operator.

inherited