MountPreconditionRow class final
One precondition's answer: the outcome, the evidence that produced it, and — when it does not pass — what to do about it.
The constructor is the GUARD that keeps the ruling "NAME THE REMEDY" true by construction rather than by review: a blank detail, a non-passing row with no remedy, or a passing row carrying one are each an ArgumentError, and a row whose evidence could be trimmed away without naming the read that retrieves it is one too.
Constructors
-
MountPreconditionRow({required MountPrecondition precondition, required MountOutcome outcome, required String detail, String remedy = '', List<
String> evidence = const <String>[], String retrievedBy = ''}) - Creates one answered precondition.
Properties
- detail → String
-
The human-readable evidence for outcome; never blank.
final
-
evidence
→ List<
String> -
The trimmable backing material, in a deterministic order.
final
- hashCode → int
-
The hash code for this object.
no setterinherited
- outcome → MountOutcome
-
What the precondition says.
final
- precondition → MountPrecondition
-
Which precondition this row answers.
final
- remedy → String
-
What to DO about a non-passing row; empty exactly when outcome passes.
final
- retrievedBy → String
-
The exact scoped read that returns evidence in full.
final
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
Methods
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
toJson(
) → Map< String, Object?> - Structured command/UI representation.
-
toString(
) → String -
A string representation of this object.
inherited
-
truncatedTo(
int keep) → MountPreconditionRow -
This row with only the leading
keepevidence entries — the ONE trim the bound performs. The row itself, its detail and its remedy are never cut.
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited