//
// We could not determine whether the sources were up-to-date or out-of-date. Mark the
// cache so that we won't attempt to re-analyze the sources until there's a good chance
// that we'll be able to do so without error.
//
dartCopy.recordParseError(thrownException);
}
cache.put(source, dartCopy);
dartEntry = dartCopy;
}
}