public class GwtTextDiff
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
GwtTextDiff.Diff |
static class |
GwtTextDiff.Patch |
Modifier and Type | Field and Description |
---|---|
static int |
DIFF_DELETE |
static int |
DIFF_EQUAL |
static int |
DIFF_INSERT |
Modifier and Type | Method and Description |
---|---|
int |
adjustPosition(int pos) |
java.lang.String |
applyTo(java.lang.String value) |
static GwtTextDiff |
diff(java.lang.String v1,
java.lang.String v2) |
static GwtTextDiff |
fromString(java.lang.String s) |
java.lang.String |
getDiffString() |
static DiffMatchPatchJSNI |
getDMP() |
java.util.List<GwtTextDiff.Patch> |
getPatches() |
boolean |
isIdentity() |
static int |
positionInNewText(java.lang.String text1,
int cursorPos,
java.lang.String text2) |
public static final int DIFF_DELETE
public static final int DIFF_INSERT
public static final int DIFF_EQUAL
public static GwtTextDiff diff(java.lang.String v1, java.lang.String v2)
public java.lang.String applyTo(java.lang.String value)
public boolean isIdentity()
public java.lang.String getDiffString()
public static int positionInNewText(java.lang.String text1, int cursorPos, java.lang.String text2)
public static DiffMatchPatchJSNI getDMP()
public static GwtTextDiff fromString(java.lang.String s)
public int adjustPosition(int pos)
public java.util.List<GwtTextDiff.Patch> getPatches()