public interface IMarkerUpdater
resources
that were
processed during a build.Modifier and Type | Method and Description |
---|---|
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. |
void updateMarkers(IResourceDescription.Delta delta, org.eclipse.emf.ecore.resource.ResourceSet resourceSet, org.eclipse.core.runtime.IProgressMonitor monitor)
markers
for the given resource delta.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.