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

Class MarkerDiff

java.lang.Object

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

public class MarkerDiff
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
MarkerDiff(RangeDiff rangeDiff)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

MarkerDiff

public MarkerDiff(RangeDiff rangeDiff)

Method Detail

applyTo

public AceMarker applyTo(AceMarker m)

diff

public static MarkerDiff diff(AceMarker m1,
                              AceMarker m2)

isIdentity

public boolean isIdentity()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

asTransport

public TransportDiff.TransportMarkerDiff asTransport()

fromTransport

public static MarkerDiff fromTransport(TransportDiff.TransportMarkerDiff tmd)