Document.java
1.2 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
/*
* Decompiled with CFR 0_118.
*/
package com.day.util.diff;
import com.day.util.diff.DocumentDiff;
import com.day.util.diff.DocumentDiff3;
import com.day.util.diff.DocumentSource;
import com.day.util.diff.ElementsFactory;
public class Document {
static final String CVS_ID = "$URL$ $Rev$ $Date$";
private final DocumentSource source;
private final Element[] elements;
public Document(DocumentSource source, ElementsFactory factory) {
this.source = source;
this.elements = factory.getElements();
}
public DocumentSource getSource() {
return this.source;
}
public Element[] getElements() {
return this.elements;
}
public DocumentDiff diff(Document right) {
return new DocumentDiff(this, right);
}
public DocumentDiff reverseDiff(Document left) {
return new DocumentDiff(left, this);
}
public DocumentDiff3 diff3(Document left, Document right) {
return new DocumentDiff3(this, left, right);
}
public static interface AnnotatedElement
extends Element {
public DocumentSource getDocumentSource();
}
public static interface Element {
public String getString();
}
}