Command<State, System> class abstract

A operation that can be performed on a state and system.

Implementers

• Action
• Finalize
• Initialize
• Sequence

Constructors

Command(String description)

Creates a new command.

Properties

description → String

A description of the command.

final

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) → void

Updates the state to the next state.

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.

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

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

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

Performs the command on the given system.

toString() → String

A string representation of this object.

inherited

Operators

operator ==(Object other) → bool

The equality operator.

inherited