Action2<State, System, T1, T2, R> class final

A command Action with 2 arbitraries.

Inheritance

Constructors

Action2(String description, Arbitrary<T1> arbitrary1, Arbitrary<T2> arbitrary2, {required void nextState(State, T1, T2), required R run(System, T1, T2), bool precondition(State, T1, T2)?, bool postcondition(State, T1, T2, R)?})
Creates a new action command with 2 arbitraries.

Properties

description → String
A description of the command.
finalinherited
hashCode → int
The hash code for this object.
no setterinherited
runtimeType → Type
A representation of the runtime type of the object.
no setterinherited

Methods

nextState(CommandContext<State, System> context, State state) → 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) → bool
Returns true if postcondition of the command is satisfied.
inherited
precondition(CommandContext<State, System> context, State state) → bool
Returns true if the command can be run on the given state.
inherited
run(CommandContext<State, System> context, System system) → 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