diff options
Diffstat (limited to 'org.eclipse.text/src/org/eclipse/text/edits/ReplaceEdit.java')
-rw-r--r-- | org.eclipse.text/src/org/eclipse/text/edits/ReplaceEdit.java | 99 |
1 files changed, 0 insertions, 99 deletions
diff --git a/org.eclipse.text/src/org/eclipse/text/edits/ReplaceEdit.java b/org.eclipse.text/src/org/eclipse/text/edits/ReplaceEdit.java deleted file mode 100644 index b693351b1e4..00000000000 --- a/org.eclipse.text/src/org/eclipse/text/edits/ReplaceEdit.java +++ /dev/null @@ -1,99 +0,0 @@ -/******************************************************************************* - * Copyright (c) 2000, 2003 IBM Corporation and others. - * All rights reserved. This program and the accompanying materials - * are made available under the terms of the Common Public License v1.0 - * which accompanies this distribution, and is available at - * http://www.eclipse.org/legal/cpl-v10.html - * - * Contributors: - * IBM Corporation - initial API and implementation - *******************************************************************************/ -package org.eclipse.text.edits; - -import org.eclipse.jface.text.Assert; -import org.eclipse.jface.text.BadLocationException; -import org.eclipse.jface.text.IDocument; - -/** - * Text edit to replace a range in a document with a different - * string. - * - * @since 3.0 - */ -public final class ReplaceEdit extends TextEdit { - - private String fText; - - /** - * Constructs a new replace edit. - * - * @param offset the offset of the range to replace - * @param length the length of the range to replace - * @param text the new text - */ - public ReplaceEdit(int offset, int length, String text) { - super(offset, length); - Assert.isNotNull(text); - fText= text; - } - - /* - * Copy constructor - * - * @param other the edit to copy from - */ - private ReplaceEdit(ReplaceEdit other) { - super(other); - fText= other.fText; - } - - /** - * Returns the new text replacing the text denoted - * by the edit. - * - * @return the edit's text. - */ - public String getText() { - return fText; - } - - /* non Java-doc - * @see TextEdit#doCopy - */ - protected TextEdit doCopy() { - return new ReplaceEdit(this); - } - - /* (non-Javadoc) - * @see TextEdit#accept0 - */ - protected void accept0(TextEditVisitor visitor) { - boolean visitChildren = visitor.visit(this); - if (visitChildren) { - acceptChildren(visitor); - } - } - - /* non Java-doc - * @see TextEdit#performDocumentUpdating - */ - /* package */ int performDocumentUpdating(IDocument document) throws BadLocationException { - document.replace(getOffset(), getLength(), fText); - fDelta= fText.length() - getLength(); - return fDelta; - } - - /* non Java-doc - * @see TextEdit#deleteChildren - */ - /* package */ boolean deleteChildren() { - return true; - } - - /* non Java-doc - * @see java.lang.Object#toString() - */ - public String toString() { - return super.toString() + " <<" + fText; //$NON-NLS-1$ - } -} |