public class BasicResourceProblemMarkerFactory extends java.lang.Object implements IResourceProblemMarkerFactory
Constructor and Description |
---|
BasicResourceProblemMarkerFactory() |
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.
|
protected void |
createProblemMarker(org.eclipse.core.resources.IResource resource,
MarkerDescriptor markerDescriptor) |
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.
|
protected MarkerDescriptor |
createProblemMarkerDescriptor(java.lang.Exception exception,
int severity) |
protected MarkerDescriptor |
createProblemMarkerDescriptor(org.eclipse.emf.ecore.resource.Resource.Diagnostic diagnostic,
int severity,
java.util.Map<java.lang.Object,java.lang.Object> problemHandlingOptions) |
protected java.lang.String |
createProblemMarkerMessage(java.lang.Exception exception) |
void |
deleteMarkers(org.eclipse.core.resources.IResource resource)
Deletes markers on this resource.
|
protected java.util.List<java.lang.String> |
getProblemMarkerTypesToDelete() |
public 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)
IResourceProblemMarkerFactory
createProblemMarker
in interface IResourceProblemMarkerFactory
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
protected MarkerDescriptor createProblemMarkerDescriptor(org.eclipse.emf.ecore.resource.Resource.Diagnostic diagnostic, int severity, java.util.Map<java.lang.Object,java.lang.Object> problemHandlingOptions)
public void createProblemMarker(org.eclipse.core.resources.IResource resource, java.lang.Exception exception, int severity)
IResourceProblemMarkerFactory
createProblemMarker
in interface IResourceProblemMarkerFactory
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
protected MarkerDescriptor createProblemMarkerDescriptor(java.lang.Exception exception, int severity)
protected void createProblemMarker(org.eclipse.core.resources.IResource resource, MarkerDescriptor markerDescriptor)
protected java.lang.String createProblemMarkerMessage(java.lang.Exception exception)
public void deleteMarkers(org.eclipse.core.resources.IResource resource)
IResourceProblemMarkerFactory
deleteMarkers
in interface IResourceProblemMarkerFactory
resource
- The resource for which markers will be deleted.IResource.deleteMarkers(String, boolean, int)
protected java.util.List<java.lang.String> getProblemMarkerTypesToDelete()