public interface IResourceUIValidatorExtension
| Modifier and Type | Method and Description |
|---|---|
void |
deleteValidationMarkers(org.eclipse.core.resources.IFile file,
CheckMode checkMode,
org.eclipse.core.runtime.IProgressMonitor monitor)
Delete all validation markers corresponding to the given checkMode on the passed in file
|
void |
updateValidationMarkers(org.eclipse.core.resources.IFile file,
org.eclipse.emf.ecore.resource.Resource resource,
CheckMode mode,
org.eclipse.core.runtime.IProgressMonitor monitor)
Update the validation markers of the given file
|
void updateValidationMarkers(org.eclipse.core.resources.IFile file,
org.eclipse.emf.ecore.resource.Resource resource,
CheckMode mode,
org.eclipse.core.runtime.IProgressMonitor monitor)
throws org.eclipse.core.runtime.OperationCanceledException
file - the file to create validation markers forresource - the resource corresponding to the given filemode - the mode (normal,fast,expensive) of the validationorg.eclipse.core.runtime.OperationCanceledExceptionvoid deleteValidationMarkers(org.eclipse.core.resources.IFile file,
CheckMode checkMode,
org.eclipse.core.runtime.IProgressMonitor monitor)
throws org.eclipse.core.runtime.OperationCanceledException
file - the file to create validation markers forcheckMode - the mode (normal,fast,expensive) of the validationorg.eclipse.core.runtime.OperationCanceledException