org.vaadin.aceeditor.client

Class GwtTextDiff.Patch

java.lang.Object

com.google.gwt.core.client.JavaScriptObject

org.vaadin.aceeditor.client.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
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 List<GwtTextDiff.Diff> getDiffs()