Postconditions

Kind: constraint

Layer: Contracts Core

Record: architecture:postconditions

Severity: recommended

Scope: function, method, transaction

Canonical: Ontology

A rule or precondition that an operation's result and resulting state must satisfy when it returns.

Listed in Architecture principles, after Preconditions and before Invariant.

Requires

• Result Validation
• Invariant

Reinforces

• Correctness
• Predictability

Enables

• Testability

Conflicts with

• Undefined Results

In tension with

• Runtime Cost

Tensions

• Postconditions / Runtime Cost

Violated by

• Undefined Results

Refactored by

• Invariant Check
• Introduce Typed Result
• Contract Testing

Severity

• recommended

Category

• Contracts / Interfaces / Compatibility

Required by

• Design by Contract
• Liskov Substitution Principle

Linked from

• Contracts / Interfaces / Compatibility
• Correctness / Determinism / Verification
• SOLID / Object-Oriented Design
• Contracts / Interfaces / Compatibility
• Correctness / Determinism / Verification
• Error Handling / Resilience
• SOLID / Object-Oriented Design
• Severity levels
• The resolutions