Types of TypedException: the response properties a declaration
carries, and its named examples.
Evidence
contracts/common.md#principled-implementation The decorator records each declared status, description, and example on the method's metadata list, so the document generator can add the responses; the overloads without a type argument return never so a missing type argument is a compile error.
Evidence
contracts/common.md#clear-and-simple-design One decorator whose overloads split the property form and the positional form.
Evidence
contracts/common.md#prohibited-implementation-shortcuts It records declarations and never changes how the route responds.
Evidence
contracts/common.md#meaningful-documentation The comment documents the forms and that the status accepts range spellings.
Evidence Exclude
contracts/portability.md#os-neutral-implementation Response declarations contain HTTP status codes and examples, without native files or subprocesses.
Types of TypedException: the response properties a declaration carries, and its named examples.
Evidence
contracts/common.md#principled-implementation The decorator records each declared status, description, and example on the method's metadata list, so the document generator can add the responses; the overloads without a type argument return
neverso a missing type argument is a compile error.Evidence
contracts/common.md#clear-and-simple-design One decorator whose overloads split the property form and the positional form.
Evidence
contracts/common.md#prohibited-implementation-shortcuts It records declarations and never changes how the route responds.
Evidence
contracts/common.md#meaningful-documentation The comment documents the forms and that the status accepts range spellings.
Evidence Exclude
contracts/portability.md#os-neutral-implementation Response declarations contain HTTP status codes and examples, without native files or subprocesses.