/* * Copyright (c) 2013, IETR/INSA of Rennes * All rights reserved. * * Redistribution and use in source and binary forms, with or without * modification, are permitted provided that the following conditions are met: * * * Redistributions of source code must retain the above copyright notice, * this list of conditions and the following disclaimer. * * Redistributions in binary form must reproduce the above copyright notice, * this list of conditions and the following disclaimer in the documentation * and/or other materials provided with the distribution. * * Neither the name of the IETR/INSA of Rennes nor the names of its * contributors may be used to endorse or promote products derived from this * software without specific prior written permission. * * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY * WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF * SUCH DAMAGE. */ package net.sf.orcc.xdf.ui.editors; import org.eclipse.emf.common.util.URI; import org.eclipse.graphiti.ui.editor.DiagramEditorInput; import org.eclipse.ui.part.FileEditorInput; /** * This class implements a customized EditorInput. It inherits default * DiagramEditorInput but override the {@link #equals(Object)} method to ensure * the same tab will always be reused when a user open a network or a diagram * file (*.xdf or *.diag). * * @author Antoine Lorence * */ public class XdfEditorInput extends DiagramEditorInput { public XdfEditorInput(URI diagramUri, String providerId) { super(diagramUri, providerId); } @Override public boolean equals(Object obj) { if (super.equals(obj)) { return true; } final URI otherURI; if (obj instanceof FileEditorInput) { otherURI = URI.createPlatformResourceURI(((FileEditorInput) obj).getFile().getFullPath().toString(), true); } else if (obj instanceof DiagramEditorInput) { otherURI = ((DiagramEditorInput) obj).getUri(); } else { return false; } return getUri().trimFileExtension().trimFragment().equals(otherURI.trimFileExtension().trimFragment()); } }