CsBackLinkExtractedCheck class

codespecs_derivation_contract.md §6 check 36.

The converse of check 35, and a different defect rather than the same one read backwards. A DocRef naming a token no extract holds is a back-link with nothing behind it: either the token is stale — the model renamed the field and the trio still points at the old one — or the agent invented it to satisfy codespecs_derivation_contract.md §2.5's requirement that every declaration carry one. Both make the codespecs_mapping.md §9.6 trace lie, and both are silent otherwise: a token is a string, and no reading of the trio can tell a real token from a plausible one.

Check 32 deliberately skips a token the extracts do not know, on the grounds that it cannot judge a comment against text it does not have. This check is where that skip is accounted for, so an unknown token is reported exactly once and by the check whose rule it breaks.

Inheritance

Constructors

CsBackLinkExtractedCheck()
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