org.eclipse.emf.edit.ui.action
Class ValidateAction.EclipseResourcesUtil
java.lang.Object
org.eclipse.emf.common.ui.MarkerHelper
org.eclipse.emf.edit.ui.util.EditUIMarkerHelper
org.eclipse.emf.edit.ui.action.ValidateAction.EclipseResourcesUtil
- Enclosing class:
- ValidateAction
public static class ValidateAction.EclipseResourcesUtil
- extends EditUIMarkerHelper
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ValidateAction.EclipseResourcesUtil
public ValidateAction.EclipseResourcesUtil()
getWorkspaceModifyOperation
public IRunnableWithProgress getWorkspaceModifyOperation(IRunnableWithProgress runnableWithProgress)
getMarkerID
protected java.lang.String getMarkerID()
- Overrides:
getMarkerID
in class MarkerHelper
createMarkers
public void createMarkers(Resource resource,
Diagnostic diagnostic)
composeMessage
protected java.lang.String composeMessage(Diagnostic diagnostic,
Diagnostic parentDiagnostic)
- Description copied from class:
MarkerHelper
- Returns the message that will be used with the marker associated with the given diagnostic.
- Overrides:
composeMessage
in class MarkerHelper
- Parameters:
diagnostic
- the diagnostic.parentDiagnostic
- the parent of the diagnostic, if any.
- Returns:
- the message that will be used with the marker associated with the given diagnostic.
adjustMarker
protected void adjustMarker(IMarker marker,
Diagnostic diagnostic,
Diagnostic parentDiagnostic)
throws CoreException
- Description copied from class:
MarkerHelper
- Clients should override this method to update the marker associated with the diagnostic.
- Overrides:
adjustMarker
in class EditUIMarkerHelper
- Parameters:
marker
- the marker to be updated.diagnostic
- the diagnostic associated with the marker.parentDiagnostic
- the parent of the diagnostic, if any.
- Throws:
CoreException