if (thrownException == null) {
dartCopy.setValueInLibrary(DartEntry.VERIFICATION_ERRORS, librarySource, task.getErrors());
ChangeNoticeImpl notice = getNotice(source);
notice.setErrors(dartCopy.getAllErrors(), dartCopy.getValue(SourceEntry.LINE_INFO));
} else {
dartCopy.recordVerificationErrorInLibrary(librarySource, thrownException);
}
cache.put(source, dartCopy);
dartEntry = dartCopy;
} else {
logInformation("Generated errors discarded for " + debuggingString(source)