org.vaadin.aceeditor.client

Class DiffMatchPatchJSNI

java.lang.Object

com.google.gwt.core.client.JavaScriptObject

org.vaadin.aceeditor.client.DiffMatchPatchJSNI

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

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	DiffMatchPatchJSNI()

Method Summary

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

DiffMatchPatchJSNI

protected DiffMatchPatchJSNI()

Method Detail

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)