org.eclipse.text.edits |
Text Edits
Provides support for describing and applying textual document editions.
A complex textual edition can be described by a tree of TextEdits. An edit
can be applied to an IDocument by calling TextEdit.apply or by
using a TextEditProcessor. Applying a text edit can record a reverse edit
description that can be used to undo the edition.
Use the standard edit kinds to describe the basic document editing operations:
- replace a document range: ReplaceEdit
- delete a document range: DeleteEdit
- insert text: InsertEdit
- track a range while the document is being modified: RangeMarker
Other subclasses of TextEdit exist for specialized tasks. Use MultiTextEdit to
compose a complex edit tree, or subclass it to provide a custom edit.
|
Java Source File Name | Type | Comment |
CopyingRangeMarker.java | Class | A CopyingRangeMarker can be used to track positions when executing
text edits. |
CopySourceEdit.java | Class | A copy source edit denotes the source of a copy operation. |
CopyTargetEdit.java | Class | A copy target edit denotes the target of a copy operation. |
DeleteEdit.java | Class | Text edit to delete a range in a document. |
EditDocument.java | Class | |
InsertEdit.java | Class | Text edit to insert a text at a given position in a
document. |
ISourceModifier.java | Interface | A source modifier can be used to modify the source of
a move or copy edit before it gets inserted at the target
position. |
MalformedTreeException.java | Class | Thrown to indicate that an edit got added to a parent edit
but the child edit somehow conflicts with the parent or
one of it siblings. |
MoveSourceEdit.java | Class | A move source edit denotes the source of a move operation. |
MoveTargetEdit.java | Class | A move target edit denotes the target of a move operation. |
MultiTextEdit.java | Class | A multi-text edit can be used to aggregate several edits into
one edit. |
RangeMarker.java | Class | A range marker can be used to track positions when executing
text edits. |
ReplaceEdit.java | Class | Text edit to replace a range in a document with a different
string. |
TextEdit.java | Class | A text edit describes an elementary text manipulation operation. |
TextEditCopier.java | Class | Copies a tree of text edits. |
TextEditGroup.java | Class | A text edit group combines a list of
TextEdit s
and a name into a single object. |
TextEditMessages.java | Class | |
TextEditProcessor.java | Class | A TextEditProcessor manages a set of edits and applies
them as a whole to an IDocument . |
TextEditVisitor.java | Class | A visitor for text edits.
For each different concrete text edit type T there is a method:
public boolean visit(T node) - Visits the given edit to
perform some arbitrary operation. |
TreeIterationInfo.java | Class | |
UndoCollector.java | Class | |
UndoEdit.java | Class | This class encapsulates the reverse changes of an executed text
edit tree. |