CsColumnNotObservableCheck class

codespecs_derivation_contract.md §6 check 22.

The one asymmetry a reviewer cannot see by reading the entity: an observable member reads back correctly — MariadbDatasource normalises a String? onto String before dispatching to the observable's setter — but has no write path at all. TomSqlDatasourceRepository.save binds each column from TomColumnInformation.getVariableValue, which is invokeGetter(declaredName) and so yields the TomNString object rather than the String? it holds.

So the wrong shape compiles, analyses clean, and passes any test that only selects — right up to the first save, where it throws a TypeError deep in the repository. That is exactly the class of defect a generation-time check exists for, and it is why codespecs_derivation_contract.md §3.3.2 emits an optional CE-DB attribute as a plain nullable field T?. The observable family belongs to CE-ST (codespecs_derivation_contract.md §3.5.1), where there is no persistence step to break.

Inheritance

• Object
• CodeSpecsCheck
• CsColumnNotObservableCheck

Constructors

CsColumnNotObservableCheck()

Creates the check.

const

Properties

definedIn → String

The section that defines the rule, in the same two forms CodeSpecsViolation.definedIn takes.

no setter, override

hashCode → int

The hash code for this object.

no setter, inherited

number → int

The codespecs_derivation_contract.md §6 row number.

no setter, override

runtimeType → Type

A representation of the runtime type of the object.

no setter, inherited

title → String

The rule, in one line — the codespecs_derivation_contract.md §6 row text.

no setter, override

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