Finalize<State, System> class final

A command that finalizes the state and system with another command.

Inheritance

• Object
• Command<State, System>
• Finalize

Constructors

Finalize(Command<State, System> command)

Creates a new finalize 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) → 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) → bool

Returns true if postcondition of the command is satisfied.

override

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

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

override

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

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