Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
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.java99
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$
- }
-}

Back to the top