1 package org.vaadin.aceeditor.client;
2
3 import org.vaadin.aceeditor.client.TransportDiff.TransportMarkerDiff;
4
5
6
7
8
9
10
11
12 public class MarkerDiff {
13 private final RangeDiff rangeDiff;
14 public MarkerDiff(RangeDiff rangeDiff) {
15 this.rangeDiff = rangeDiff;
16 }
17 public AceMarker./../../../org/vaadin/aceeditor/client/AceMarker.html#AceMarker">AceMarker applyTo(AceMarker m) {
18 return m.withNewPosition(rangeDiff.applyTo(m.getRange()));
19 }
20 public static MarkerDiff diff(AceMarkerf="../../../../org/vaadin/aceeditor/client/AceMarker.html#AceMarker">AceMarker m1, AceMarker m2) {
21 return new MarkerDiff(RangeDiff.diff(m1.getRange(), m2.getRange()));
22 }
23 public boolean isIdentity() {
24 return rangeDiff.isIdentity();
25 }
26 @Override
27 public String toString() {
28 return rangeDiff.toString();
29 }
30 public TransportMarkerDiff asTransport() {
31 return new TransportMarkerDiff(rangeDiff.asTransport());
32 }
33 public static MarkerDiff fromTransport(TransportMarkerDiff tmd) {
34 return new MarkerDiff(RangeDiff.fromTransport(tmd.rangeDiff));
35 }
36 }