EditRunPatch class final
Run hashline-patch mode. A usable patch wins whenever present (E1); parsed is the ONE shared parse — the executor consumes it directly so the gate and the apply can never drift apart again (issue #862 review). The raw input string stays reachable as parsed's source via the original arguments; the plan carries only the parse.
- Inheritance
-
- Object
- EditModePlan
- EditRunPatch
Constructors
- EditRunPatch({required HashlinePatch parsed, String? notice})
-
const
Properties
- hashCode → int
-
The hash code for this object.
no setterinherited
- notice → String?
-
Notice appended to the result naming what was ignored and why; null
when nothing was coerced (the model sent exactly one mode).
final
- parsed → HashlinePatch
-
The patch parsed once by parsePatch (with the executor's
fallbackPathcontract honored).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
-
toString(
) → String -
A string representation of this object.
inherited
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited