org.eclipse.xtext.builder.builderState

Interface IMarkerUpdater

All Known Implementing Classes:

MarkerUpdaterImpl

public interface IMarkerUpdater

Strategy that creates, updates or deletes markers for resources that were processed during a build.

Author:

Sven Efftinge - Initial contribution and API

Method Summary

Methods

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.

Method Detail

updateMarkers

void updateMarkers(IResourceDescription.Delta delta,
                 org.eclipse.emf.ecore.resource.ResourceSet resourceSet,
                 org.eclipse.core.runtime.IProgressMonitor monitor)
                   throws org.eclipse.core.runtime.OperationCanceledException

Deletes or updates the markers for the given resource delta.

Parameters:

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.

Throws:

org.eclipse.core.runtime.OperationCanceledException