github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-25 16:02:43 +03:00
Code Issues Projects Releases Wiki Activity

Use getK to simplify getOppositeEndpoint.

Browse Source
This commit is contained in:
Rob Rix 2017-03-14 13:58:34 -04:00
parent 69ee63b692
commit ca38c098f6
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/SES/Myers.hs
View File

@ -122,7 +122,7 @@ decompose myers = let ?callStack = popCallStack callStack in case myers of
(<|>) <$> for [negate d, negate d + 2 .. d] (searchAlongK graph (Distance d) Forward . Diagonal) (<|>) <$> for [negate d, negate d + 2 .. d] (searchAlongK graph (Distance d) Forward . Diagonal)
<*> for [negate d, negate d + 2 .. d] (searchAlongK graph (Distance d) Reverse . Diagonal) <*> for [negate d, negate d + 2 .. d] (searchAlongK graph (Distance d) Reverse . Diagonal)
SearchAlongK graph d direction (Diagonal k) -> do SearchAlongK graph d direction k -> do
(forwardEndpoint, reverseEndpoint) <- endpointsFor graph d direction k (forwardEndpoint, reverseEndpoint) <- endpointsFor graph d direction k
if shouldTestOn direction && diagonalFor direction k `inInterval` diagonalInterval direction d && overlaps graph forwardEndpoint reverseEndpoint then if shouldTestOn direction && diagonalFor direction k `inInterval` diagonalInterval direction d && overlaps graph forwardEndpoint reverseEndpoint then
return (done reverseEndpoint forwardEndpoint (editDistance direction d)) return (done reverseEndpoint forwardEndpoint (editDistance direction d))
@ -146,7 +146,7 @@ decompose myers = let ?callStack = popCallStack callStack in case myers of
return (v ! offsetFor direction + k) return (v ! offsetFor direction + k)
where (!) = (Vector.!) where (!) = (Vector.!)
EditGraph as bs = editGraph myers graph@(EditGraph as bs) = editGraph myers
n = length as n = length as
m = length bs m = length bs
delta = n - m delta = n - m
@ -157,8 +157,8 @@ decompose myers = let ?callStack = popCallStack callStack in case myers of
diagonalInterval Forward (Distance d) = (delta - pred d, delta + pred d) diagonalInterval Forward (Distance d) = (delta - pred d, delta + pred d)
diagonalInterval Reverse (Distance d) = (negate d, d) diagonalInterval Reverse (Distance d) = (negate d, d)
diagonalFor Forward k = Diagonal k diagonalFor Forward k = k
diagonalFor Reverse k = Diagonal (k + delta) diagonalFor Reverse k = Diagonal (unDiagonal k + delta)
shouldTestOn Forward = odd delta shouldTestOn Forward = odd delta
shouldTestOn Reverse = even delta shouldTestOn Reverse = even delta
@ -180,8 +180,8 @@ decompose myers = let ?callStack = popCallStack callStack in case myers of
Reverse -> return (there, here) Reverse -> return (there, here)
getOppositeEndpoint direction k = do getOppositeEndpoint direction k = do
v <- gets (case direction of { Reverse -> backward ; Forward -> forward }) x <- getK graph direction k
let x = v ! offsetFor direction + unDiagonal (diagonalFor direction k) in return $ Endpoint x (x - k) return $ Endpoint x (x - unDiagonal k)
done (Endpoint x y) uv d = Just (Snake (Endpoint (n - x) (m - y)) uv, d) done (Endpoint x y) uv d = Just (Snake (Endpoint (n - x) (m - y)) uv, d)
editDistance Forward (Distance d) = Distance (2 * d - 1) editDistance Forward (Distance d) = Distance (2 * d - 1)