public class PolychronyMarkerHelper
extends org.eclipse.emf.edit.ui.util.EditUIMarkerHelper
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ID_MARKER |
static PolychronyMarkerHelper |
INSTANCE |
Constructor and Description |
---|
PolychronyMarkerHelper() |
Modifier and Type | Method and Description |
---|---|
void |
createMarkers(org.eclipse.core.resources.IFile file,
org.eclipse.emf.common.util.Diagnostic diagnostic) |
void |
createMarkers(org.eclipse.emf.ecore.resource.Resource resource,
org.eclipse.emf.common.util.Diagnostic diagnostic) |
deleteMarkers, getMarkerDiagnostics, getTargetObjects, hasMarkers
public static final PolychronyMarkerHelper INSTANCE
public static final java.lang.String ID_MARKER