public static class Diff.Delta<T> extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
java.util.List<T> |
backwardPatch(java.util.List<T> b)
Applies the backward patch, i.e.
|
java.util.List<T> |
forwardPatch(java.util.List<T> a)
Applies the forward patch, i.e.
|
int |
getM()
Returns the size of the second word the delta was created for.
|
int |
getN()
Returns the size of the first word the delta was created for.
|
int |
getPosition(int i)
Returns the i-th element of the change positions.
|
int |
getSize()
Returns the size of the delta, i.e.
|
T |
getT(int i)
Returns the i-th element stored as addition or deletion.
|
java.lang.String |
toString() |
public int getSize()
public int getN()
public int getM()
public int getPosition(int i)
public java.util.List<T> forwardPatch(java.util.List<T> a)
public java.util.List<T> backwardPatch(java.util.List<T> b)
public java.lang.String toString()
toString
in class java.lang.Object