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; } }