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