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

Class MarkerDiff

java.lang.Object

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

public class MarkerDiff
extends Object

Constructor Summary

Constructors

Constructor	Description
MarkerDiff(RangeDiff rangeDiff)

Method Summary

Modifier and Type	Method	Description
AceMarker	applyTo(AceMarker m)
TransportDiff.TransportMarkerDiff	asTransport()
static MarkerDiff	diff(AceMarker m1, AceMarker m2)
static MarkerDiff	fromTransport(TransportDiff.TransportMarkerDiff tmd)
boolean	isIdentity()
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

MarkerDiff

public MarkerDiff(RangeDiff rangeDiff)

Method Details

applyTo

public AceMarker applyTo(AceMarker m)

diff

public static MarkerDiff diff(AceMarker m1,
 AceMarker m2)

isIdentity

public boolean isIdentity()

toString

public String toString()

Overrides:

toString in class Object

asTransport

public TransportDiff.TransportMarkerDiff asTransport()

fromTransport

public static MarkerDiff fromTransport(TransportDiff.TransportMarkerDiff tmd)