Files
MujicaUI/internal/diff.go
T

192 lines
4.2 KiB
Go

package internal
import (
"strings"
"unicode"
)
// DiffOp says whether a diff line is kept, removed or added.
type DiffOp uint8
const (
DiffEqual DiffOp = iota
DiffDelete
DiffInsert
)
// DiffLine is one line of a line diff with its 1-based line numbers; 0 means absent.
type DiffLine struct {
Op DiffOp
Text string
Old, New int
}
// SplitLines splits text into lines without their line breaks; "" has no lines.
func SplitLines(s string) []string {
if s == "" {
return nil
}
return strings.Split(strings.TrimSuffix(s, "\n"), "\n")
}
// LineDiff returns a shortest edit script turning a into b (Myers, O((N+M)D)).
func LineDiff(a, b []string) []DiffLine {
// Common prefix and suffix need no search.
pre := 0
for pre < len(a) && pre < len(b) && a[pre] == b[pre] {
pre++
}
suf := 0
for suf < len(a)-pre && suf < len(b)-pre && a[len(a)-1-suf] == b[len(b)-1-suf] {
suf++
}
out := make([]DiffLine, 0, len(a)+len(b)-pre-suf)
for i := range pre {
out = append(out, DiffLine{DiffEqual, a[i], i + 1, i + 1})
}
out = myers(out, a[pre:len(a)-suf], b[pre:len(b)-suf], pre, pre)
for i := range suf {
ai, bi := len(a)-suf+i, len(b)-suf+i
out = append(out, DiffLine{DiffEqual, a[ai], ai + 1, bi + 1})
}
return out
}
// myers appends the edit script of a to b, numbering from offsets ao and bo.
func myers(out []DiffLine, a, b []string, ao, bo int) []DiffLine {
n, m := len(a), len(b)
total := n + m
if total == 0 {
return out
}
off := total + 1
v := make([]int, 2*total+3)
var trace [][]int
end := -1
for d := 0; d <= total && end < 0; d++ {
trace = append(trace, append([]int(nil), v[off-d:off+d+1]...)) // diagonals -d..d
for k := -d; k <= d; k += 2 {
var x int
if k == -d || k != d && v[off+k-1] < v[off+k+1] {
x = v[off+k+1]
} else {
x = v[off+k-1] + 1
}
y := x - k
for x < n && y < m && a[x] == b[y] {
x, y = x+1, y+1
}
v[off+k] = x
if x >= n && y >= m {
end = d
break
}
}
}
// Walk the trace back from (n, m), collecting moves in reverse.
var rev []DiffLine
x, y := n, m
for d := end; d >= 0; d-- {
vd := trace[d]
at := func(k int) int { return vd[k+d] }
k := x - y
var pk int
if k == -d || k != d && at(k-1) < at(k+1) {
pk = k + 1
} else {
pk = k - 1
}
px := 0
if d > 0 {
px = at(pk)
}
py := px - pk
for x > px && y > py {
x, y = x-1, y-1
rev = append(rev, DiffLine{DiffEqual, a[x], ao + x + 1, bo + y + 1})
}
if d == 0 {
break
}
if x == px {
y--
rev = append(rev, DiffLine{DiffInsert, b[y], 0, bo + y + 1})
} else {
x--
rev = append(rev, DiffLine{DiffDelete, a[x], ao + x + 1, 0})
}
}
for i := len(rev) - 1; i >= 0; i-- {
out = append(out, rev[i])
}
return out
}
// WordSpan is a run of a line that a word diff kept, removed or added.
type WordSpan struct {
Op DiffOp
Text string
}
// WordDiff compares two lines by words: from holds kept and removed spans, to kept and added.
func WordDiff(a, b string) (from, to []WordSpan) {
add := func(spans []WordSpan, op DiffOp, s string) []WordSpan {
if n := len(spans); n > 0 && spans[n-1].Op == op {
spans[n-1].Text += s
return spans
}
return append(spans, WordSpan{op, s})
}
for _, d := range LineDiff(wordTokens(a), wordTokens(b)) {
switch d.Op {
case DiffEqual:
from, to = add(from, DiffEqual, d.Text), add(to, DiffEqual, d.Text)
case DiffDelete:
from = add(from, DiffDelete, d.Text)
case DiffInsert:
to = add(to, DiffInsert, d.Text)
}
}
return from, to
}
// wordTokens splits s into words, runs of spaces and single other characters.
func wordTokens(s string) []string {
var out []string
kind := func(r rune) int {
switch {
case r == '_' || unicode.IsLetter(r) || unicode.IsDigit(r):
return 1
case unicode.IsSpace(r):
return 2
}
return 0
}
start, prev := 0, -1
for i, r := range s {
k := kind(r)
if i > start && (k != prev || k == 0) {
out = append(out, s[start:i])
start = i
}
prev = k
}
if start < len(s) {
out = append(out, s[start:])
}
return out
}
// DiffStats counts the added and removed lines of a diff.
func DiffStats(d []DiffLine) (added, removed int) {
for _, l := range d {
switch l.Op {
case DiffInsert:
added++
case DiffDelete:
removed++
}
}
return added, removed
}