org.vaadin.aceeditor.client

Class GwtTextDiff

java.lang.Object

org.vaadin.aceeditor.client.GwtTextDiff

public class GwtTextDiff
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	GwtTextDiff.Diff
static class	GwtTextDiff.Patch

Field Summary

Fields

Modifier and Type	Field and Description
static int	DIFF_DELETE
static int	DIFF_EQUAL
static int	DIFF_INSERT

Method Summary

Modifier and Type	Method and Description
int	adjustPosition(int pos)
String	applyTo(String value)
static GwtTextDiff	diff(String v1, String v2)
static GwtTextDiff	fromString(String s)
String	getDiffString()
static DiffMatchPatchJSNI	getDMP()
List<GwtTextDiff.Patch>	getPatches()
boolean	isIdentity()
static int	positionInNewText(String text1, int cursorPos, String text2)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

DIFF_DELETE

public static final int DIFF_DELETE

See Also:

Constant Field Values

DIFF_INSERT

public static final int DIFF_INSERT

See Also:

Constant Field Values

DIFF_EQUAL

public static final int DIFF_EQUAL

See Also:

Constant Field Values

Method Detail

diff

public static GwtTextDiff diff(String v1,
                               String v2)

applyTo

public String applyTo(String value)

isIdentity

public boolean isIdentity()

getDiffString

public String getDiffString()

positionInNewText

public static int positionInNewText(String text1,
                                    int cursorPos,
                                    String text2)

getDMP

public static DiffMatchPatchJSNI getDMP()

fromString

public static GwtTextDiff fromString(String s)

adjustPosition

public int adjustPosition(int pos)

getPatches

public List<GwtTextDiff.Patch> getPatches()