Preconditions
Kind: constraint
Layer: Contracts Core
Record: architecture:preconditions
Severity: mandatory
Scope: function, method, API
Canonical: Ontology
A rule or precondition that must hold on an operation's input and state before the operation runs.
Listed in Architecture principles, after Semantic Contracts and before Postconditions.
Requires
Reinforces
Enables
Conflicts with
In tension with
Tensions
Violated by
Refactored by
Severity
Category
Required by
Linked from
- Contracts / Interfaces / Compatibility
- Correctness / Determinism / Verification
- SOLID / Object-Oriented Design
- Error Handling / Resilience
- Security / Privacy / Compliance / Governance
- Contracts / Interfaces / Compatibility
- Correctness / Determinism / Verification
- Error Handling / Resilience
- SOLID / Object-Oriented Design
- Severity levels
- The resolutions