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.OperationCanceledException
void 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