public class Document
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static interface |
Document.AnnotatedElement
The annotated element include the document source.
|
static interface |
Document.Element
Elements form a document.
|
Constructor and Description |
---|
Document(DocumentSource source,
ElementsFactory factory)
Create a new document with the given source and element factory
|
Modifier and Type | Method and Description |
---|---|
DocumentDiff |
diff(Document right)
Create a diff between this document and the given one.
|
DocumentDiff3 |
diff3(Document left,
Document right)
Create a tree-way-diff using this document as base.
|
Document.Element[] |
getElements()
Return the elements of this document
|
DocumentSource |
getSource()
Return the source of this document
|
DocumentDiff |
reverseDiff(Document left)
Create a diff between the given document and this one.
|
public Document(DocumentSource source, ElementsFactory factory)
source
- the sourcefactory
- the element factorypublic DocumentSource getSource()
public Document.Element[] getElements()
public DocumentDiff diff(Document right)
right
- the other document to diff to.public DocumentDiff reverseDiff(Document left)
left
- the other document.public DocumentDiff3 diff3(Document left, Document right)
left
- the left documentright
- the right document"Copyright © 2010 - 2020 Adobe Systems Incorporated. All Rights Reserved"