/*
* Copyright (c) 2012, the Dart project authors.
*
* Licensed under the Eclipse Public License v1.0 (the "License"); you may not use this file except
* in compliance with the License. You may obtain a copy of the License at
*
* http://www.eclipse.org/legal/epl-v10.html
*
* Unless required by applicable law or agreed to in writing, software distributed under the License
* is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
* or implied. See the License for the specific language governing permissions and limitations under
* the License.
*/
package com.google.dart.tools.internal.corext.refactoring.changes;
import org.eclipse.core.runtime.Assert;
import org.eclipse.ltk.core.refactoring.CategorizedTextEditGroup;
import org.eclipse.ltk.core.refactoring.GroupCategorySet;
import org.eclipse.ltk.core.refactoring.TextChange;
import org.eclipse.ltk.core.refactoring.TextEditChangeGroup;
import org.eclipse.text.edits.MalformedTreeException;
import org.eclipse.text.edits.MultiTextEdit;
import org.eclipse.text.edits.TextEdit;
import org.eclipse.text.edits.TextEditGroup;
/**
* A utility class to provide compatibility with the old text change API of adding text edits
* directly and auto inserting them into the tree.
*
* @coverage dart.editor.ui.refactoring.core
*/
public class TextChangeCompatibility {
public static void addTextEdit(TextChange change, String name, TextEdit edit)
throws MalformedTreeException {
Assert.isNotNull(change);
Assert.isNotNull(name);
Assert.isNotNull(edit);
TextEdit root = change.getEdit();
if (root == null) {
root = new MultiTextEdit();
change.setEdit(root);
}
insert(root, edit);
change.addTextEditGroup(new TextEditGroup(name, edit));
}
public static void addTextEdit(TextChange change, String name, TextEdit edit,
GroupCategorySet groupCategories) throws MalformedTreeException {
Assert.isNotNull(change);
Assert.isNotNull(name);
Assert.isNotNull(edit);
TextEdit root = change.getEdit();
if (root == null) {
root = new MultiTextEdit();
change.setEdit(root);
}
insert(root, edit);
change.addTextEditChangeGroup(new TextEditChangeGroup(change, new CategorizedTextEditGroup(
name,
edit,
groupCategories)));
}
public static void insert(TextEdit parent, TextEdit edit) throws MalformedTreeException {
if (!parent.hasChildren()) {
parent.addChild(edit);
return;
}
TextEdit[] children = parent.getChildren();
// First dive down to find the right parent.
for (int i = 0; i < children.length; i++) {
TextEdit child = children[i];
if (covers(child, edit)) {
insert(child, edit);
return;
}
}
// We have the right parent. Now check if some of the children have to
// be moved under the new edit since it is covering it.
int removed = 0;
for (int i = 0; i < children.length; i++) {
TextEdit child = children[i];
if (covers(edit, child)) {
parent.removeChild(i - removed++);
edit.addChild(child);
}
}
parent.addChild(edit);
}
private static boolean covers(TextEdit thisEdit, TextEdit otherEdit) {
if (thisEdit.getLength() == 0) {
return false;
}
int thisOffset = thisEdit.getOffset();
int thisEnd = thisEdit.getExclusiveEnd();
if (otherEdit.getLength() == 0) {
int otherOffset = otherEdit.getOffset();
return thisOffset < otherOffset && otherOffset < thisEnd;
} else {
int otherOffset = otherEdit.getOffset();
int otherEnd = otherEdit.getExclusiveEnd();
return thisOffset <= otherOffset && otherEnd <= thisEnd;
}
}
}