withPath method

HashlinePatchSection withPath(
  1. String path
)

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.

Implementation

HashlinePatchSection withPath(String path) {
  final next = HashlinePatchSection._(
    path: path,
    fileHash: fileHash,
    diff: diff,
  );
  next._parsed = _parsed;
  return next;
}