1 files changed, 99 insertions, 0 deletions
diff --git a/org.eclipse.emf.refactor.comrel.diagram/src/comrel/diagram/providers/ComrelMarkerNavigationProvider.java b/org.eclipse.emf.refactor.comrel.diagram/src/comrel/diagram/providers/ComrelMarkerNavigationProvider.java
new file mode 100644
index 0000000..49ce2cf
--- /dev/null
+++ b/org.eclipse.emf.refactor.comrel.diagram/src/comrel/diagram/providers/ComrelMarkerNavigationProvider.java
@@ -0,0 +1,99 @@
+/*
+ * 
+ */
+package comrel.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 comrel.diagram.part.ComrelDiagramEditorPlugin;
+import comrel.diagram.part.ComrelDiagramEditorUtil;
+
+/**
+ * @generated
+ */
+public class ComrelMarkerNavigationProvider extends
+		AbstractModelMarkerNavigationProvider {
+
+	/**
+	 * @generated
+	 */
+	public static final String MARKER_TYPE = ComrelDiagramEditorPlugin.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) {
+			ComrelDiagramEditorUtil.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) {
+			ComrelDiagramEditorPlugin.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) {
+			ComrelDiagramEditorPlugin.getInstance().logError(
+					"Failed to create validation marker", e); //$NON-NLS-1$
+		}
+		return marker;
+	}
+}