public class XMLResourceProblemMarkerFactory extends BasicResourceProblemMarkerFactory
| Constructor and Description |
|---|
XMLResourceProblemMarkerFactory() |
| Modifier and Type | Method and Description |
|---|---|
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.String format,
java.lang.Exception exception) |
protected java.util.List<java.lang.String> |
getProblemMarkerTypesToDelete() |
createProblemMarker, createProblemMarker, createProblemMarker, createProblemMarkerDescriptor, createProblemMarkerMessage, deleteMarkersprotected MarkerDescriptor createProblemMarkerDescriptor(org.eclipse.emf.ecore.resource.Resource.Diagnostic diagnostic, int severity, java.util.Map<java.lang.Object,java.lang.Object> problemHandlingOptions)
createProblemMarkerDescriptor in class BasicResourceProblemMarkerFactoryprotected java.lang.String createProblemMarkerMessage(java.lang.String format,
java.lang.Exception exception)
protected java.util.List<java.lang.String> getProblemMarkerTypesToDelete()