Package io.jmix.ui.widget.client.addon.aceeditor

Class GwtTextDiff

java.lang.Object

io.jmix.ui.widget.client.addon.aceeditor.GwtTextDiff

public class GwtTextDiff
extends Object

Nested Class Summary

Nested Classes

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

Field Summary

Fields

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

Method Summary

Modifier and Type	Method	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 Details

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 Details

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()