HashlinePatchSection class final

One section of a parsed HashlinePatch: a target file plus the lazily-parsed list of edits that should land on it.

Properties

diff → String

The raw section body (ops + payload rows).

final

edits → List<HashlineEdit>

Parsed edits for this section.

no setter

fileHash → String?

The 4-hex snapshot tag from the section header, when present.

final

hasAnchorScopedEdit → bool

True when at least one edit anchors to concrete file content. Pure INS.HEAD: / INS.TAIL: literal inserts do not count: those are safe to apply even when the tagged content drifted.

no setter

hashCode → int

The hash code for this object.

no setter, inherited

path → String

Section path as authored.

final

runtimeType → Type

A representation of the runtime type of the object.

no setter, inherited

warnings → List<String>

Warnings emitted during parsing of this section.

no setter

Methods

applyTo(String text) → HashlineApplyResult

Applies this section's edits to text and returns the post-edit result. Pure: does no I/O and does not validate the snapshot tag. The HashlinePatcher owns tag validation; reach for this directly when you've already validated the file content.

collectAnchorLines() → List<int>

Anchor lines touched by this section, sorted ascending and deduplicated.

noSuchMethod(Invocation invocation) → dynamic

Invoked when a nonexistent method or property is accessed.

inherited

parse() → HashlineParseResult

Parses this section's diff body. Cached: subsequent calls return the same result object.

toString() → String

A string representation of this object.

inherited

withPath(String path) → HashlinePatchSection

A copy of this section rebound to a different target path, preserving the snapshot tag, diff body, and any cached parse result. Used by the patcher's tag-based path recovery.

Operators

operator ==(Object other) → bool

The equality operator.

inherited