Copyright (c) 2000, 2006 IBM Corporation and others.
This program and the accompanying materials
are made available under the terms of the Eclipse Public License 2.0
which accompanies this distribution, and is available at
https://www.eclipse.org/legal/epl-2.0/
SPDX-License-Identifier: EPL-2.0
Contributors:
IBM Corporation - initial API and implementation
/*******************************************************************************
* Copyright (c) 2000, 2006 IBM Corporation and others.
*
* This program and the accompanying materials
* are made available under the terms of the Eclipse Public License 2.0
* which accompanies this distribution, and is available at
* https://www.eclipse.org/legal/epl-2.0/
*
* SPDX-License-Identifier: EPL-2.0
*
* Contributors:
* IBM Corporation - initial API and implementation
*******************************************************************************/
package org.eclipse.text.edits;
import org.eclipse.jface.text.BadLocationException;
import org.eclipse.jface.text.IDocument;
Text edit to delete a range in a document.
A delete edit is equivalent to ReplaceEdit(
offset, length, "")
.
Since: 3.0
/**
* Text edit to delete a range in a document.
* <p>
* A delete edit is equivalent to <code>ReplaceEdit(
* offset, length, "")</code>.
*
* @since 3.0
*/
public final class DeleteEdit extends TextEdit {
Constructs a new delete edit.
Params: - offset – the offset of the range to replace
- length – the length of the range to replace
/**
* Constructs a new delete edit.
*
* @param offset the offset of the range to replace
* @param length the length of the range to replace
*/
public DeleteEdit(int offset, int length) {
super(offset, length);
}
/*
* Copy constructor
*/
private DeleteEdit(DeleteEdit other) {
super(other);
}
@Override
protected TextEdit doCopy() {
return new DeleteEdit(this);
}
@Override
protected void accept0(TextEditVisitor visitor) {
boolean visitChildren= visitor.visit(this);
if (visitChildren) {
acceptChildren(visitor);
}
}
@Override
int performDocumentUpdating(IDocument document) throws BadLocationException {
document.replace(getOffset(), getLength(), ""); //$NON-NLS-1$
fDelta= -getLength();
return fDelta;
}
@Override
boolean deleteChildren() {
return true;
}
}