| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/resolver/LibraryResolver2.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/resolver/LibraryResolver2.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/resolver/LibraryResolver2.java
|
| index e0d38e7a8a642f0290fdd0dceaf981fbec1cab71..5a11f6bf554be029d23ccaf55c3ea9e8ce72afb5 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/resolver/LibraryResolver2.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/resolver/LibraryResolver2.java
|
| @@ -60,6 +60,7 @@ import com.google.dart.engine.source.SourceKind;
|
| import com.google.dart.engine.utilities.general.TimeCounter.TimeCounterHandle;
|
| import com.google.dart.engine.utilities.instrumentation.Instrumentation;
|
| import com.google.dart.engine.utilities.instrumentation.InstrumentationBuilder;
|
| +import com.google.dart.engine.utilities.translation.DartBlockBody;
|
|
|
| import java.io.File;
|
| import java.util.ArrayList;
|
| @@ -81,6 +82,7 @@ public class LibraryResolver2 {
|
| * @param coreLibrarySource the source representing the core library
|
| * @throws AnalysisException always
|
| */
|
| + @DartBlockBody({"throw new AnalysisException(\"Could not resolve dart:core\");"})
|
| public static void missingCoreLibrary(AnalysisContext analysisContext, Source coreLibrarySource)
|
| throws AnalysisException {
|
| InstrumentationBuilder instrumentation = Instrumentation.builder("ErrorNoCoreLibrary");
|
|
|