DocumentDiff |
Document.diff(Document right) |
Create a diff between this document and the given one.
|
DocumentDiff3 |
Document.diff3(Document left,
Document right) |
Create a tree-way-diff using this document as base.
|
static String |
Hunk3.getMarker(String[] fmt,
Document doc) |
Returns the marker string for the given format and document
|
void |
ChangeListener.onDocumentsEnd(Document left,
Document right) |
Invoked after the iteration over the changes finished.
|
void |
DefaultChangeListener.onDocumentsEnd(Document left,
Document right) |
Invoked after the iteration over the changes finished.
|
void |
InlineChangeListener.onDocumentsEnd(Document left,
Document right) |
|
void |
ChangeListener.onDocumentsStart(Document left,
Document right) |
Invoked before the iteration over the changes start.
|
void |
DefaultChangeListener.onDocumentsStart(Document left,
Document right) |
Invoked before the iteration over the changes start.
|
void |
InlineChangeListener.onDocumentsStart(Document left,
Document right) |
|
DocumentDiff |
Document.reverseDiff(Document left) |
Create a diff between the given document and this one.
|