private void sourceDeleted(Source source) {
SourceEntry sourceEntry = cache.get(source);
if (sourceEntry instanceof HtmlEntry) {
HtmlEntryImpl htmlCopy = ((HtmlEntry) sourceEntry).getWritableCopy();
invalidateAngularResolution(htmlCopy);
htmlCopy.recordContentError(new AnalysisException("This source was marked as being deleted"));
cache.put(source, htmlCopy);
} else if (sourceEntry instanceof DartEntry) {
HashSet<Source> libraries = new HashSet<Source>();
for (Source librarySource : getLibrariesContaining(source)) {
libraries.add(librarySource);