public static class ValidateAction.EclipseResourcesUtil extends EditUIMarkerHelper
Constructor and Description |
---|
ValidateAction.EclipseResourcesUtil() |
Modifier and Type | Method and Description |
---|---|
protected void |
adjustMarker(IMarker marker,
Diagnostic diagnostic,
Diagnostic parentDiagnostic)
Clients should override this method to update the marker associated with the diagnostic.
|
protected java.lang.String |
composeMessage(Diagnostic diagnostic,
Diagnostic parentDiagnostic)
Returns the message that will be used with the marker associated with the given diagnostic.
|
void |
createMarkers(Resource resource,
Diagnostic diagnostic) |
protected java.lang.String |
getMarkerID() |
IRunnableWithProgress |
getWorkspaceModifyOperation(IRunnableWithProgress runnableWithProgress) |
adjustMarker, deleteMarkers, getFile, getMarkerDiagnostics, getTargetObjects, hasMarkers
createMarkers, createMarkers, deleteMarkers, getDiagnosticSource, getEditorInput, getFile, getFile, hasMarkers
public IRunnableWithProgress getWorkspaceModifyOperation(IRunnableWithProgress runnableWithProgress)
protected java.lang.String getMarkerID()
getMarkerID
in class MarkerHelper
public void createMarkers(Resource resource, Diagnostic diagnostic)
protected java.lang.String composeMessage(Diagnostic diagnostic, Diagnostic parentDiagnostic)
MarkerHelper
composeMessage
in class MarkerHelper
diagnostic
- the diagnostic.parentDiagnostic
- the parent of the diagnostic, if any.protected void adjustMarker(IMarker marker, Diagnostic diagnostic, Diagnostic parentDiagnostic) throws CoreException
MarkerHelper
adjustMarker
in class EditUIMarkerHelper
marker
- the marker to be updated.diagnostic
- the diagnostic associated with the marker.parentDiagnostic
- the parent of the diagnostic, if any.CoreException