HashlineSnapshot class final
One full-file version observed at a point in time. The tag the model sees is hash; diagnostics replay against text.
Constructors
- HashlineSnapshot({required String path, required String text, required String hash, required int recordedAt})
- Creates a snapshot; prefer HashlineSnapshotStore.record.
Properties
- hash → String
-
Content-derived tag for text (see computeFileHash).
final
- hashCode → int
-
The hash code for this object.
no setterinherited
- path → String
-
Canonical path this version belongs to.
final
- recordedAt ↔ int
-
Timestamp (ms since epoch) the version was recorded or last re-seen.
getter/setter pair
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
-
seenLines
↔ Set<
int> ? -
1-indexed file lines a producer actually displayed under this tag. A
partial read (offset/limit, or a truncated prefix) leaves this sparse;
a whole-file read fills every line. Multiple reads of the same content
union into one set.
nullmeans "no provenance recorded" — the patcher then skips the seen-line check and applies as before. Mutated in place as more of the same content is read.getter/setter pair - text → String
-
Full normalized (LF, no BOM) file text as observed.
final
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