postcondition
A constraint that must be true at the completion of an operation.
Semantics
A postcondition is a Boolean expression that must be true after the execution of an operation completes. It is an assertion, not an executable statement. Depending on the exact form of the expression, it might be possible to verify it automatically in advance. It can be useful to test the postcondition after the operation, but this is in the nature of debugging a program. The condition is supposed to be true, and anything else is a programming error. A postcondition is a constraint on the implementor of an operation. If it is not satisfied, then the operation has been implemented incorrectly.
See also invariant, precondition.
Structure
A postconditions is ...
Get Unified Modeling Language Reference Manual, The, Second Edition now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
