Lexicon

Undefined Results

Kind: anti-pattern

Layer: Contracts Core

Record: lexicon:undefined-results

Canonical: Lexicon

Returning results a contract never specifies for a given input, leaving callers with undefined behavior.

Listed in Lexicon terms, after Strict Fragile Parsers and before Compatibility Policy.

Category

  • Contracts / Interfaces / Compatibility

Negated by

  • Postconditions

Violates

  • Postconditions

Linked from

  • Contracts / Interfaces / Compatibility