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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
|
/*******************************************************************************
* Copyright (c) 2000, 2015 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* IBM Corporation - initial API and implementation
*******************************************************************************/
package org.eclipse.text.edits;
import java.util.List;
import org.eclipse.core.runtime.Assert;
import org.eclipse.jface.text.BadLocationException;
import org.eclipse.jface.text.IDocument;
/**
* 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 <code>
* MalformedTreeException</code> when executing the edit tree.
* <p>
* 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 <code>
* MalformedTreeException</code> as well.
*
* @see org.eclipse.text.edits.CopySourceEdit
*
* @since 3.0
*/
public final class CopyTargetEdit extends TextEdit {
private CopySourceEdit fSource;
/**
* Constructs a new copy target edit
*
* @param offset the edit's offset
*/
public CopyTargetEdit(int offset) {
super(offset, 0);
}
/**
* Constructs an new copy target edit
*
* @param offset the edit's offset
* @param source the corresponding source edit
*/
public CopyTargetEdit(int offset, CopySourceEdit source) {
this(offset);
setSourceEdit(source);
}
/*
* Copy constructor
*/
private CopyTargetEdit(CopyTargetEdit other) {
super(other);
}
/**
* Returns the associated source edit or <code>null</code>
* if no source edit is associated yet.
*
* @return the source edit or <code>null</code>
*/
public CopySourceEdit getSourceEdit() {
return fSource;
}
/**
* Sets the source edit.
*
* @param edit the source edit
*
* @exception MalformedTreeException is thrown if the target edit
* is a direct or indirect child of the source edit
*/
public void setSourceEdit(CopySourceEdit edit) throws MalformedTreeException {
Assert.isNotNull(edit);
if (fSource != edit) {
fSource= edit;
fSource.setTargetEdit(this);
TextEdit parent= getParent();
while (parent != null) {
if (parent == fSource)
throw new MalformedTreeException(parent, this, TextEditMessages.getString("CopyTargetEdit.wrong_parent")); //$NON-NLS-1$
parent= parent.getParent();
}
}
}
@Override
protected TextEdit doCopy() {
return new CopyTargetEdit(this);
}
@Override
protected void postProcessCopy(TextEditCopier copier) {
if (fSource != null) {
CopyTargetEdit target= (CopyTargetEdit)copier.getCopy(this);
CopySourceEdit source= (CopySourceEdit)copier.getCopy(fSource);
if (target != null && source != null)
target.setSourceEdit(source);
}
}
@Override
protected void accept0(TextEditVisitor visitor) {
boolean visitChildren= visitor.visit(this);
if (visitChildren) {
acceptChildren(visitor);
}
}
@Override
int traverseConsistencyCheck(TextEditProcessor processor, IDocument document, List<List<TextEdit>> sourceEdits) {
return super.traverseConsistencyCheck(processor, document, sourceEdits) + 1;
}
@Override
void performConsistencyCheck(TextEditProcessor processor, IDocument document) throws MalformedTreeException {
if (fSource == null)
throw new MalformedTreeException(getParent(), this, TextEditMessages.getString("CopyTargetEdit.no_source")); //$NON-NLS-1$
if (fSource.getTargetEdit() != this)
throw new MalformedTreeException(getParent(), this, TextEditMessages.getString("CopyTargetEdit.different_target")); //$NON-NLS-1$
}
@Override
int performDocumentUpdating(IDocument document) throws BadLocationException {
String source= fSource.getContent();
document.replace(getOffset(), getLength(), source);
fDelta= source.length() - getLength();
fSource.clearContent();
return fDelta;
}
@Override
boolean deleteChildren() {
return false;
}
}
|
