post method

@nonVirtual void post({ required bool condition(), required String message(), })

Checks a postcondition.

Evaluates condition once when checks are enabled and evaluates message only when it fails. In ContractCheckingMode.assertionsOnly, a failed condition triggers an assertion; in ContractCheckingMode.alwaysThrow, it throws a ContractViolationError with kind ViolationKind.postCondition.

Implementation

@nonVirtual
void post({
  required bool Function() condition,
  required String Function() message,
}) => _evaluate(kind: .postCondition, condition: condition, message: message);