/** Convenience method to delete resources. */
protected void deleteResources(IResource[] resources, boolean forceFlag)
throws DartModelException {
if (resources == null || resources.length == 0) {
return;
}
IProgressMonitor subProgressMonitor = getSubProgressMonitor(resources.length);
IWorkspace workspace = resources[0].getWorkspace();
try {
workspace.delete(
resources,
forceFlag ? IResource.FORCE | IResource.KEEP_HISTORY : IResource.KEEP_HISTORY,
subProgressMonitor);
setAttribute(HAS_MODIFIED_RESOURCE_ATTR, TRUE);
} catch (CoreException e) {
throw new DartModelException(e);
}
}
