public interface IResourceProblemMarkerFactory
Modifier and Type | Method and Description |
---|---|
void |
createProblemMarker(org.eclipse.core.resources.IResource resource,
java.lang.Exception exception,
int severity)
Creates a problem marker for the given resource from the given exception.
|
void |
createProblemMarker(org.eclipse.core.resources.IResource resource,
org.eclipse.emf.ecore.resource.Resource.Diagnostic diagnostic,
int severity,
java.util.Map<java.lang.Object,java.lang.Object> problemHandlingOptions)
Creates a problem marker for the given resource from the given diagnostic.
|
void |
deleteMarkers(org.eclipse.core.resources.IResource resource)
Deletes markers on this resource.
|
void createProblemMarker(org.eclipse.core.resources.IResource resource, org.eclipse.emf.ecore.resource.Resource.Diagnostic diagnostic, int severity, java.util.Map<java.lang.Object,java.lang.Object> problemHandlingOptions)
resource
- The resource
to create problem markers for.diagnostic
- The issue in the document.severity
- Severity marker attribute. A number from the set of error, warning and info severities defined by the
platform.problemHandlingOptions
- The map of options that are used to control the handling of problems encountered while the resource
has been loaded or saved.#SEVERITY_ERROR
,
#SEVERITY_WARNING
,
#SEVERITY_INFO
void createProblemMarker(org.eclipse.core.resources.IResource resource, java.lang.Exception exception, int severity)
resource
- The resource
to create problem markers for.exception
- The issue in the document.severity
- Severity marker attribute. A number from the set of error, warning and info severities defined by the
platform.#SEVERITY_ERROR
,
#SEVERITY_WARNING
,
#SEVERITY_INFO
void deleteMarkers(org.eclipse.core.resources.IResource resource)
resource
- The resource for which markers will be deleted.IResource.deleteMarkers(String, boolean, int)