| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/task/ParseDartTask.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/task/ParseDartTask.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/task/ParseDartTask.java
|
| index 5d2c9406890a497491e57165320f61d8b8e07d0e..6b6712f3a042cee62cc9185131fb53890e08bb7f 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/task/ParseDartTask.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/task/ParseDartTask.java
|
| @@ -24,6 +24,7 @@ import com.google.dart.engine.ast.UriBasedDirective;
|
| import com.google.dart.engine.ast.UriBasedDirective.UriValidationCode;
|
| import com.google.dart.engine.context.AnalysisContext;
|
| import com.google.dart.engine.context.AnalysisException;
|
| +import com.google.dart.engine.context.AnalysisOptions;
|
| import com.google.dart.engine.error.AnalysisError;
|
| import com.google.dart.engine.error.AnalysisErrorListener;
|
| import com.google.dart.engine.error.CompileTimeErrorCode;
|
| @@ -285,7 +286,9 @@ public class ParseDartTask extends AnalysisTask {
|
| try {
|
| final RecordingErrorListener errorListener = new RecordingErrorListener();
|
| Parser parser = new Parser(source, errorListener);
|
| - parser.setParseFunctionBodies(getContext().getAnalysisOptions().getAnalyzeFunctionBodies());
|
| + AnalysisOptions options = getContext().getAnalysisOptions();
|
| + parser.setParseFunctionBodies(options.getAnalyzeFunctionBodies());
|
| + parser.setParseDeferredLibraries(options.getEnableDeferredLoading());
|
| unit = parser.parseCompilationUnit(tokenStream);
|
| unit.setLineInfo(lineInfo);
|
| AnalysisContext analysisContext = getContext();
|
|
|