Class PalladioComponentModelMarkerNavigationProvider
- java.lang.Object
-
- org.eclipse.gmf.runtime.common.core.service.AbstractProvider
-
- org.eclipse.gmf.runtime.common.ui.services.marker.AbstractMarkerNavigationProvider
-
- org.eclipse.gmf.runtime.emf.ui.providers.marker.AbstractModelMarkerNavigationProvider
-
- de.uka.ipd.sdq.pcm.gmf.repository.providers.PalladioComponentModelMarkerNavigationProvider
-
- All Implemented Interfaces:
org.eclipse.gmf.runtime.common.core.service.IProvider
,org.eclipse.gmf.runtime.common.ui.services.internal.marker.IMarkerNavigationProvider
public class PalladioComponentModelMarkerNavigationProvider extends org.eclipse.gmf.runtime.emf.ui.providers.marker.AbstractModelMarkerNavigationProvider
- Generated class or method.
-
-
Field Summary
Fields Modifier and Type Field Description static String
MARKER_TYPE
-
Constructor Summary
Constructors Constructor Description PalladioComponentModelMarkerNavigationProvider()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static IMarker
addMarker(IFile file, String elementId, String location, String message, int statusSeverity)
static void
deleteMarkers(IResource resource)
protected void
doGotoMarker(IMarker marker)
-
Methods inherited from class org.eclipse.gmf.runtime.emf.ui.providers.marker.AbstractModelMarkerNavigationProvider
getEObjects, getResource, gotoMarker
-
Methods inherited from class org.eclipse.gmf.runtime.common.ui.services.marker.AbstractMarkerNavigationProvider
getEditor, provides, setEditor
-
Methods inherited from class org.eclipse.gmf.runtime.common.core.service.AbstractProvider
addProviderChangeListener, fireProviderChange, removeProviderChangeListener
-
-
-
-
Field Detail
-
MARKER_TYPE
public static final String MARKER_TYPE
- See Also:
- Constant Field Values
- Generated class or method.
-
-
Method Detail
-
doGotoMarker
protected void doGotoMarker(IMarker marker)
- Specified by:
doGotoMarker
in classorg.eclipse.gmf.runtime.common.ui.services.marker.AbstractMarkerNavigationProvider
- Generated class or method.
-
deleteMarkers
public static void deleteMarkers(IResource resource)
- Generated class or method.
-
-