CsExtractCoverageCheck class

codespecs_derivation_contract.md §6 check 35.

codespecs_mapping.md §9.6 comparison 1, at the granularity it names: the set of routed extract tokens, set-differenced against what the trio's back-links cite. A token on the left and not on the right is a specification fact that reached no code, and it is invisible from the trio alone — the output is the answer, and this comparison needs the question.

Why the extract is what makes it decidable. Nothing in a generated file states what was supposed to be in it, so a complete transfer and a partial one read identically. The extract is the other side: it enumerates, bounded and verbatim, exactly what the authoring step was given, so "did everything arrive" becomes a set difference over two artifacts instead of a search through a document set.

Whole tree or none. The extract tree and the trio are two artifacts of one run, so the check compares them as such. A partial --extracts directory understates the left-hand set and the check passes on a gap it simply could not see; that is the same "a skipped check must not read as a passed one" reason the CLI announces an absent input, applied to a half-present one.

Inheritance

Constructors

CsExtractCoverageCheck()
Creates the check.
const

Properties

definedIn → String
The section that defines the rule, in the same two forms CodeSpecsViolation.definedIn takes.
no setteroverride
hashCode → int
The hash code for this object.
no setterinherited
number → int
The codespecs_derivation_contract.md §6 row number.
no setteroverride
runtimeType → Type
A representation of the runtime type of the object.
no setterinherited
title → String
The rule, in one line — the codespecs_derivation_contract.md §6 row text.
no setteroverride

Methods

fail(String message, [CsLocation? at, String? token, String? area]) → CodeSpecsViolation
Builds a violation attributed to this check.
inherited
noSuchMethod(Invocation invocation) → dynamic
Invoked when a nonexistent method or property is accessed.
inherited
run(CodeSpecsValidationInput input) → List<CodeSpecsViolation>
Runs the check, returning one violation per breach.
override
toString() → String
A string representation of this object.
inherited

Operators

operator ==(Object other) → bool
The equality operator.
inherited