Action8<State, System, T1, T2, T3, T4, T5, T6, T7, T8, R> class final

A command Action with 8 arbitraries.

Inheritance

• Object
• Command<State, System>
• Action<State, System, (T1, T2, T3, T4, T5, T6, T7, T8), R>
• Action8

Constructors

Action8.new(String description, Arbitrary<T1> arbitrary1, Arbitrary<T2> arbitrary2, Arbitrary<T3> arbitrary3, Arbitrary<T4> arbitrary4, Arbitrary<T5> arbitrary5, Arbitrary<T6> arbitrary6, Arbitrary<T7> arbitrary7, Arbitrary<T8> arbitrary8, {required FutureOr<void> nextState(State, T1, T2, T3, T4, T5, T6, T7, T8), required FutureOr<R> run(System, T1, T2, T3, T4, T5, T6, T7, T8), FutureOr<bool> precondition(State, T1, T2, T3, T4, T5, T6, T7, T8)?, FutureOr<bool> postcondition(State, T1, T2, T3, T4, T5, T6, T7, T8, R)?})

Creates a new action command with 8 arbitraries.

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.

inherited

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.

inherited

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

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

inherited

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

Performs the command on the given system.

inherited

toString() → String

A string representation of this object.

inherited

Operators

operator ==(Object other) → bool

The equality operator.

inherited