public class MarkerUpdaterImpl extends java.lang.Object implements IMarkerUpdater
IMarkerUpdater that handles CheckMode.NORMAL_AND_FAST marker for all changed resources.
The implementation delegates to the language specific validator if
available.| Constructor and Description |
|---|
MarkerUpdaterImpl() |
| Modifier and Type | Method and Description |
|---|---|
protected IResourceUIValidatorExtension |
getResourceUIValidatorExtension(org.eclipse.emf.common.util.URI uri)
|
void |
updateMarkers(IResourceDescription.Delta delta,
org.eclipse.emf.ecore.resource.ResourceSet resourceSet,
org.eclipse.core.runtime.IProgressMonitor monitor)
Deletes or updates the
markers for the given resource delta. |
public void updateMarkers(IResourceDescription.Delta delta, @Nullable org.eclipse.emf.ecore.resource.ResourceSet resourceSet, org.eclipse.core.runtime.IProgressMonitor monitor)
markers for the given resource delta.updateMarkers in interface IMarkerUpdaterdelta - information about the changed resource. Never null.resourceSet - context resource set from which the updated resource may be obtained; may be null
if the delta represents a resource deletion.monitor - the progress monitor to use for reporting progress to the user. It is the caller's responsibility
to call done() on the given monitor. Accepts null, indicating that no progress should be
reported and that the operation cannot be cancelled.protected IResourceUIValidatorExtension getResourceUIValidatorExtension(org.eclipse.emf.common.util.URI uri)
IResourceUIValidatorExtension for the given URI or null if not found.IResourceServiceProvider.Registry.getResourceServiceProvider(URI),
IResourceServiceProvider.get(Class)