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

Class GwtTextDiff.Patch

java.lang.Object

com.google.gwt.core.client.JavaScriptObject

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

Enclosing class:

GwtTextDiff

public static final class GwtTextDiff.Patch
extends com.google.gwt.core.client.JavaScriptObject

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Patch()

Method Summary

Modifier and Type	Method and Description
java.util.List<GwtTextDiff.Diff>	getDiffs()
com.google.gwt.core.client.JsArray<GwtTextDiff.Diff>	getDiffsJsArray()

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

Patch

protected Patch()

Method Detail

getDiffsJsArray

public com.google.gwt.core.client.JsArray<GwtTextDiff.Diff> getDiffsJsArray()

getDiffs

public java.util.List<GwtTextDiff.Diff> getDiffs()