| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/context/AnalysisOptions.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/context/AnalysisOptions.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/context/AnalysisOptions.java
|
| index 04b7914fb2d76eff294cd7884cf4571795672ca5..bcd3f748263a618c5add0a8648a9afa5cc0bb926 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/context/AnalysisOptions.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/context/AnalysisOptions.java
|
| @@ -54,6 +54,13 @@ public interface AnalysisOptions {
|
| public boolean getDart2jsHint();
|
|
|
| /**
|
| + * Return {@code true} if analysis is to include the new "deferred loading" support.
|
| + *
|
| + * @return {@code true} if analysis is to include the new "deferred loading" support
|
| + */
|
| + public boolean getEnableDeferredLoading();
|
| +
|
| + /**
|
| * Return {@code true} if errors, warnings and hints should be generated for sources in the SDK.
|
| * The default value is {@code false}.
|
| *
|
|
|