postcondition abstract method

bool postcondition(
  1. CommandContext<State, System> context,
  2. State state,
  3. dynamic result
)

Returns true if postcondition of the command is satisfied.

Implementation

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