Precondition Check

Kind: technique

Layer: Computation Core

Record: lexicon:precondition-check

Canonical: Lexicon

A technique for checking at the start of an operation that the state and arguments it requires hold.

Listed in Lexicon terms, after Validate as a Group and before Invariant Check.

Category

• Correctness / Determinism / Verification

Refactors

• Implicit Contract
• Temporal Coupling
• Exception Control Flow
• Manual Runbook Dependency
• Design by Contract
• Preconditions
• Defensive Programming
• Fail Fast

Linked from

• Anti-patterns
• Contracts / Interfaces / Compatibility
• Error Handling / Resilience