parseHashlinePatch function
Parses one section body (diff) into edits plus warnings. The input must
NOT contain the [path#tag] section header — section splitting happens in
input.dart (omp's parsePatch).
Implementation
HashlineParseResult parseHashlinePatch(String diff) {
final parser = HashlineParser();
for (final token in tokenizeHashline(diff)) {
parser.feed(token);
}
return parser.end();
}