/******************************************************************************* | |
* Copyright (c) 2016 KPIT Technologies. | |
* | |
* All rights reserved. This program and the accompanying materials | |
* are made available under the terms of the Eclipse Public License v2.0 | |
* which accompanies this distribution, and is available at | |
* https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html | |
* | |
* SPDX-License-Identifier: EPL-2.0 | |
* | |
* Contributors: | |
* Jan Mauersberger- initial API and implementation | |
* Sascha Baumgart- initial API and implementation | |
*******************************************************************************/ | |
/* | |
* | |
*/ | |
package org.eclipse.opencert.vocabulary.diagram.providers; | |
import java.util.Arrays; | |
import java.util.Map; | |
import org.eclipse.core.resources.IFile; | |
import org.eclipse.core.resources.IMarker; | |
import org.eclipse.core.resources.IResource; | |
import org.eclipse.core.runtime.CoreException; | |
import org.eclipse.core.runtime.IStatus; | |
import org.eclipse.emf.ecore.EObject; | |
import org.eclipse.gef.EditPart; | |
import org.eclipse.gmf.runtime.diagram.ui.parts.DiagramEditor; | |
import org.eclipse.gmf.runtime.emf.ui.providers.marker.AbstractModelMarkerNavigationProvider; | |
import org.eclipse.opencert.vocabulary.diagram.part.VocabularyDiagramEditorPlugin; | |
import org.eclipse.opencert.vocabulary.diagram.part.VocabularyDiagramEditorUtil; | |
/** | |
* @generated | |
*/ | |
public class VocabularyMarkerNavigationProvider extends | |
AbstractModelMarkerNavigationProvider { | |
/** | |
* @generated | |
*/ | |
public static final String MARKER_TYPE = VocabularyDiagramEditorPlugin.ID | |
+ ".diagnostic"; //$NON-NLS-1$ | |
/** | |
* @generated | |
*/ | |
protected void doGotoMarker(IMarker marker) { | |
String elementId = marker | |
.getAttribute( | |
org.eclipse.gmf.runtime.common.core.resources.IMarker.ELEMENT_ID, | |
null); | |
if (elementId == null || !(getEditor() instanceof DiagramEditor)) { | |
return; | |
} | |
DiagramEditor editor = (DiagramEditor) getEditor(); | |
Map editPartRegistry = editor.getDiagramGraphicalViewer() | |
.getEditPartRegistry(); | |
EObject targetView = editor.getDiagram().eResource() | |
.getEObject(elementId); | |
if (targetView == null) { | |
return; | |
} | |
EditPart targetEditPart = (EditPart) editPartRegistry.get(targetView); | |
if (targetEditPart != null) { | |
VocabularyDiagramEditorUtil.selectElementsInDiagram(editor, | |
Arrays.asList(new EditPart[] { targetEditPart })); | |
} | |
} | |
/** | |
* @generated | |
*/ | |
public static void deleteMarkers(IResource resource) { | |
try { | |
resource.deleteMarkers(MARKER_TYPE, true, IResource.DEPTH_ZERO); | |
} catch (CoreException e) { | |
VocabularyDiagramEditorPlugin.getInstance().logError( | |
"Failed to delete validation markers", e); //$NON-NLS-1$ | |
} | |
} | |
/** | |
* @generated | |
*/ | |
public static IMarker addMarker(IFile file, String elementId, | |
String location, String message, int statusSeverity) { | |
IMarker marker = null; | |
try { | |
marker = file.createMarker(MARKER_TYPE); | |
marker.setAttribute(IMarker.MESSAGE, message); | |
marker.setAttribute(IMarker.LOCATION, location); | |
marker.setAttribute( | |
org.eclipse.gmf.runtime.common.ui.resources.IMarker.ELEMENT_ID, | |
elementId); | |
int markerSeverity = IMarker.SEVERITY_INFO; | |
if (statusSeverity == IStatus.WARNING) { | |
markerSeverity = IMarker.SEVERITY_WARNING; | |
} else if (statusSeverity == IStatus.ERROR | |
|| statusSeverity == IStatus.CANCEL) { | |
markerSeverity = IMarker.SEVERITY_ERROR; | |
} | |
marker.setAttribute(IMarker.SEVERITY, markerSeverity); | |
} catch (CoreException e) { | |
VocabularyDiagramEditorPlugin.getInstance().logError( | |
"Failed to create validation marker", e); //$NON-NLS-1$ | |
} | |
return marker; | |
} | |
} |