/******************************************************************************* * Copyright (c) 2000, 2015 IBM Corporation and others. * All rights reserved. This program and the accompanying materials * are made available under the terms of the Eclipse Public License v1.0 * which accompanies this distribution, and is available at * http://www.eclipse.org/legal/epl-v10.html * * Contributors: * IBM Corporation - initial API and implementation *******************************************************************************/ package org.eclipse.text.edits; import java.util.List; import org.eclipse.core.runtime.Assert; import org.eclipse.jface.text.BadLocationException; import org.eclipse.jface.text.IDocument; /** * A copy target edit denotes the target of a copy operation. Copy * target edits are only valid inside an edit tree if they have a * corresponding source edit. Furthermore a target edit can't * can't be a direct or indirect child of the associated source edit. * Violating one of two requirements will result in a <code> * MalformedTreeException</code> when executing the edit tree. * <p> * Copy target edits can't be used as a parent for other edits. * Trying to add an edit to a copy target edit results in a <code> * MalformedTreeException</code> as well. * * @see org.eclipse.text.edits.CopySourceEdit * * @since 3.0 */ public final class CopyTargetEdit extends TextEdit { private CopySourceEdit fSource; /** * Constructs a new copy target edit * * @param offset the edit's offset */ public CopyTargetEdit(int offset) { super(offset, 0); } /** * Constructs an new copy target edit * * @param offset the edit's offset * @param source the corresponding source edit */ public CopyTargetEdit(int offset, CopySourceEdit source) { this(offset); setSourceEdit(source); } /* * Copy constructor */ private CopyTargetEdit(CopyTargetEdit other) { super(other); } /** * Returns the associated source edit or <code>null</code> * if no source edit is associated yet. * * @return the source edit or <code>null</code> */ public CopySourceEdit getSourceEdit() { return fSource; } /** * Sets the source edit. * * @param edit the source edit * * @exception MalformedTreeException is thrown if the target edit * is a direct or indirect child of the source edit */ public void setSourceEdit(CopySourceEdit edit) throws MalformedTreeException { Assert.isNotNull(edit); if (fSource != edit) { fSource= edit; fSource.setTargetEdit(this); TextEdit parent= getParent(); while (parent != null) { if (parent == fSource) throw new MalformedTreeException(parent, this, TextEditMessages.getString("CopyTargetEdit.wrong_parent")); //$NON-NLS-1$ parent= parent.getParent(); } } } /* * @see TextEdit#doCopy */ @Override protected TextEdit doCopy() { return new CopyTargetEdit(this); } /* * @see TextEdit#postProcessCopy */ @Override protected void postProcessCopy(TextEditCopier copier) { if (fSource != null) { CopyTargetEdit target= (CopyTargetEdit)copier.getCopy(this); CopySourceEdit source= (CopySourceEdit)copier.getCopy(fSource); if (target != null && source != null) target.setSourceEdit(source); } } /* * @see TextEdit#accept0 */ @Override protected void accept0(TextEditVisitor visitor) { boolean visitChildren= visitor.visit(this); if (visitChildren) { acceptChildren(visitor); } } /* * @see TextEdit#traverseConsistencyCheck */ @Override int traverseConsistencyCheck(TextEditProcessor processor, IDocument document, List<List<TextEdit>> sourceEdits) { return super.traverseConsistencyCheck(processor, document, sourceEdits) + 1; } /* * @see TextEdit#performConsistencyCheck */ @Override void performConsistencyCheck(TextEditProcessor processor, IDocument document) throws MalformedTreeException { if (fSource == null) throw new MalformedTreeException(getParent(), this, TextEditMessages.getString("CopyTargetEdit.no_source")); //$NON-NLS-1$ if (fSource.getTargetEdit() != this) throw new MalformedTreeException(getParent(), this, TextEditMessages.getString("CopyTargetEdit.different_target")); //$NON-NLS-1$ } /* * @see TextEdit#performDocumentUpdating */ @Override int performDocumentUpdating(IDocument document) throws BadLocationException { String source= fSource.getContent(); document.replace(getOffset(), getLength(), source); fDelta= source.length() - getLength(); fSource.clearContent(); return fDelta; } /* * @see TextEdit#deleteChildren */ @Override boolean deleteChildren() { return false; } }