org.eclipse.sphinx.emf.resource

Class BasicResourceProblemMarkerFactory

java.lang.Object

org.eclipse.sphinx.emf.resource.BasicResourceProblemMarkerFactory

All Implemented Interfaces:

IResourceProblemMarkerFactory

Direct Known Subclasses:

XMLResourceProblemMarkerFactory

public class BasicResourceProblemMarkerFactory
extends java.lang.Object
implements IResourceProblemMarkerFactory

Constructor Summary

Constructors

Constructor and Description
BasicResourceProblemMarkerFactory()

Method Summary

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()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

BasicResourceProblemMarkerFactory

public BasicResourceProblemMarkerFactory()

Method Detail

createProblemMarker

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)

Description copied from interface: IResourceProblemMarkerFactory

Creates a problem marker for the given resource from the given diagnostic.

Specified by:

createProblemMarker in interface IResourceProblemMarkerFactory

Parameters:

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.

See Also:

#SEVERITY_ERROR, #SEVERITY_WARNING, #SEVERITY_INFO

createProblemMarkerDescriptor

protected MarkerDescriptor createProblemMarkerDescriptor(org.eclipse.emf.ecore.resource.Resource.Diagnostic diagnostic,
                                                         int severity,
                                                         java.util.Map<java.lang.Object,java.lang.Object> problemHandlingOptions)

createProblemMarker

public void createProblemMarker(org.eclipse.core.resources.IResource resource,
                                java.lang.Exception exception,
                                int severity)

Description copied from interface: IResourceProblemMarkerFactory

Creates a problem marker for the given resource from the given exception.

Specified by:

createProblemMarker in interface IResourceProblemMarkerFactory

Parameters:

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.

See Also:

#SEVERITY_ERROR, #SEVERITY_WARNING, #SEVERITY_INFO

createProblemMarkerDescriptor

protected MarkerDescriptor createProblemMarkerDescriptor(java.lang.Exception exception,
                                                         int severity)

createProblemMarker

protected void createProblemMarker(org.eclipse.core.resources.IResource resource,
                                   MarkerDescriptor markerDescriptor)

createProblemMarkerMessage

protected java.lang.String createProblemMarkerMessage(java.lang.Exception exception)

deleteMarkers

public void deleteMarkers(org.eclipse.core.resources.IResource resource)

Description copied from interface: IResourceProblemMarkerFactory

Deletes markers on this resource. It's up to the developer to specify the type for which markers are to be removed.

Specified by:

deleteMarkers in interface IResourceProblemMarkerFactory

Parameters:

resource - The resource for which markers will be deleted.

See Also:

IResource.deleteMarkers(String, boolean, int)

getProblemMarkerTypesToDelete

protected java.util.List<java.lang.String> getProblemMarkerTypesToDelete()