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

Class DiffMatchPatchJSNI

java.lang.Object

com.google.gwt.core.client.JavaScriptObject

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

public class DiffMatchPatchJSNI
extends com.google.gwt.core.client.JavaScriptObject

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	DiffMatchPatchJSNI()

Method Summary

Modifier and Type	Method	Description
final com.google.gwt.core.client.JsArray<GwtTextDiff.Diff>	diff_main(String text1, String text2)
final int	diff_xIndex(com.google.gwt.core.client.JsArray<GwtTextDiff.Diff> diffs, int pos)
final int	diff_xIndex_patches(com.google.gwt.core.client.JsArray<GwtTextDiff.Patch> patches, int pos)
final int	match_main(String text, String pattern, int loc)
static final DiffMatchPatchJSNI	newInstance()
final String	patch_apply(com.google.gwt.core.client.JsArray<GwtTextDiff.Patch> patches, String text)
final com.google.gwt.core.client.JsArray<GwtTextDiff.Patch>	patch_fromText(String text)
final com.google.gwt.core.client.JsArray<GwtTextDiff.Patch>	patch_make(String text1, String text2)
final com.google.gwt.core.client.JsArray<GwtTextDiff.Patch>	patch_make_diff_main(String text1, String text2)
final String	patch_toText(com.google.gwt.core.client.JsArray<GwtTextDiff.Patch> patches)
final void	setDiff_EditCost(int c)
final void	setMatch_Distance(int m)
final void	setMatch_Threshold(double d)
final void	setPatch_Margin(int m)

Methods inherited from class com.google.gwt.core.client.JavaScriptObject

cast, createArray, createArray, createFunction, createObject, equals, hashCode, toSource, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

DiffMatchPatchJSNI

protected DiffMatchPatchJSNI()

Method Details

newInstance

public static final DiffMatchPatchJSNI newInstance()

diff_main

public final com.google.gwt.core.client.JsArray<GwtTextDiff.Diff> diff_main(String text1,
 String text2)

match_main

public final int match_main(String text,
 String pattern,
 int loc)

patch_apply

public final String patch_apply(com.google.gwt.core.client.JsArray<GwtTextDiff.Patch> patches,
 String text)

patch_fromText

public final com.google.gwt.core.client.JsArray<GwtTextDiff.Patch> patch_fromText(String text)

patch_toText

public final String patch_toText(com.google.gwt.core.client.JsArray<GwtTextDiff.Patch> patches)

diff_xIndex

public final int diff_xIndex(com.google.gwt.core.client.JsArray<GwtTextDiff.Diff> diffs,
 int pos)

diff_xIndex_patches

public final int diff_xIndex_patches(com.google.gwt.core.client.JsArray<GwtTextDiff.Patch> patches,
 int pos)

patch_make_diff_main

public final com.google.gwt.core.client.JsArray<GwtTextDiff.Patch> patch_make_diff_main(String text1,
 String text2)

patch_make

public final com.google.gwt.core.client.JsArray<GwtTextDiff.Patch> patch_make(String text1,
 String text2)

setMatch_Threshold

public final void setMatch_Threshold(double d)

setPatch_Margin

public final void setPatch_Margin(int m)

setMatch_Distance

public final void setMatch_Distance(int m)

setDiff_EditCost

public final void setDiff_EditCost(int c)