ui/client/features/requirement/domain/ProofTarget

Pure (DOMAIN-001): what the plan on screen says it proves.

Cockpit client (features), next. Source: ui/client/features/requirement/domain/ProofTarget.ts.

Functions#

proofTargetOf()#

proofTargetOf(result): { feature: string; screen: string; } | null

Defined in: ui/client/features/requirement/domain/ProofTarget.ts:5

What a plan says it proves: the feature its test.proof step runs and the screen's name, or null when it proves nothing (no shaped unit).

Parameters#

result

ReadResult | null

Returns#

{ feature: string; screen: string; } | null