VerifyDocument class

cux_ship verify --json.

checked and skipped are the point, not ok. A caller reading ok: true alone has learned nothing about coverage — which is the defect the prose version was changed to close, when a clean run printed one line and a reader could not tell whether the data safety declaration had been validated or silently passed over.

checked alone was not enough either, and the consumer said why: a reader notices an omission only by already holding the expected set in their head, so a check that silently did not run is invisible unless somebody is keeping the list. skipped makes it impossible to miss rather than merely possible to catch — absence stops being inferred from what is not in a list, which is a thing nobody does reliably.

Annotations
  • @JsonSerializable.new(explicitToJson: true)

Constructors

VerifyDocument({required int schema, required DocumentKind kind, required bool ok, required List<VerifyCheck> checked, required List<VerifyCheck> skipped, required List<String> problems, required List<String> display})
const
VerifyDocument.fromJson(Map<String, dynamic> json)
factory

Properties

checked → List<VerifyCheck>
Every artifact that was inspected, with where it was found.
final
display → List<String>
What cux_ship verify prints. Display text.
final
hashCode → int
The hash code for this object.
no setterinherited
kind → DocumentKind
final
ok → bool
Whether every check that ran found nothing.
final
problems → List<String>
What was wrong, each written for a person to read and fix.
final
runtimeType → Type
A representation of the runtime type of the object.
no setterinherited
schema → int
This kind's schema number. Refuse one you do not recognize.
final
skipped → List<VerifyCheck>
Every artifact that was not, with why.
final

Methods

noSuchMethod(Invocation invocation) → dynamic
Invoked when a nonexistent method or property is accessed.
inherited
toJson() → Map<String, dynamic>
toString() → String
A string representation of this object.
inherited

Operators

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