|
Eclipse Platform Release 3.0 |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.eclipse.text.edits.TextEdit
org.eclipse.text.edits.CopyTargetEdit
A copy target edit denotes the target of a copy operation. Copy
target edits are only valid inside an edit tree if they have a
corresponding source edit. Furthermore a target edit can't
can't be a direct or indirect child of the associated source edit.
Violating one of two requirements will result in a
MalformedTreeException
when executing the edit tree.
Copy target edits can't be used as a parent for other edits.
Trying to add an edit to a copy target edit results in a
MalformedTreeException
as well.
CopySourceEdit
Field Summary |
Fields inherited from class org.eclipse.text.edits.TextEdit |
CREATE_UNDO, NONE, UPDATE_REGIONS |
Constructor Summary | |
CopyTargetEdit(int offset)
Constructs a new copy target edit |
|
CopyTargetEdit(int offset,
CopySourceEdit source)
Constructs an new copy target edit |
Method Summary | |
protected void |
accept0(TextEditVisitor visitor)
Accepts the given visitor on a type-specific visit of the current edit. |
protected TextEdit |
doCopy()
Creates and returns a copy of this edit. |
CopySourceEdit |
getSourceEdit()
Returns the associated source edit or null
if no source edit is associated yet. |
protected void |
postProcessCopy(TextEditCopier copier)
This method is called on every edit of the copied tree to do some post-processing like connected an edit to a different edit in the tree. |
void |
setSourceEdit(CopySourceEdit edit)
Sets the source edit. |
Methods inherited from class org.eclipse.text.edits.TextEdit |
accept, acceptChildren, addChild, addChildren, apply, apply, canZeroLengthCover, copy, covers, equals, getChildren, getChildrenSize, getCoverage, getExclusiveEnd, getInclusiveEnd, getLength, getOffset, getParent, getRegion, hasChildren, hashCode, isDeleted, removeChild, removeChild, removeChildren, toString |
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public CopyTargetEdit(int offset)
offset
- the edit's offsetpublic CopyTargetEdit(int offset, CopySourceEdit source)
offset
- the edit's offsetsource
- the corresponding source editMethod Detail |
public CopySourceEdit getSourceEdit()
null
if no source edit is associated yet.
null
public void setSourceEdit(CopySourceEdit edit) throws MalformedTreeException
edit
- the source edit
MalformedTreeException
- is thrown if the target edit
is a direct or indirect child of the source editprotected TextEdit doCopy()
TextEdit
Implementers of this method should use the copy constructor
This method should not be called from outside the framework.
Please use
Edit#Edit(Edit source) to initialize the edit part of the copy.
Implementors aren't responsible to actually copy the children or
to set the right parent.
copy
to create a copy of a edit tree.
TextEdit.copy()
,
TextEdit.postProcessCopy(TextEditCopier)
,
TextEditCopier
protected void postProcessCopy(TextEditCopier copier)
TextEdit
This default implementation does nothing
postProcessCopy
in class TextEdit
copier
- the copier that manages a map between original and
copied edit.TextEditCopier
protected void accept0(TextEditVisitor visitor)
TextEdit
General template for implementation on each concrete TextEdit class:
boolean visitChildren = visitor.visit(this);
if (visitChildren) {
acceptChildren(visitor);
}
Note that the caller (accept
) takes care of invoking
visitor.preVisit(this)
and visitor.postVisit(this)
.
accept0
in class TextEdit
visitor
- the visitor object
|
Eclipse Platform Release 3.0 |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Guidelines for using Eclipse APIs.
Copyright (c) IBM Corp. and others 2000, 2004. All rights reserved.