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 IMarkerUpdater
delta
- 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)