| 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 ad1715fab4dc9807988978fd9da54bb61e4f8d52..b2bd51b1ad94b6cccea6af262380ce8845dabd35 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
|
| @@ -58,6 +58,7 @@ public interface AnalysisOptions {
|
| *
|
| * @return {@code true} if analysis is to include the new async support
|
| */
|
| + @Deprecated
|
| public boolean getEnableAsync();
|
|
|
| /**
|
| @@ -65,6 +66,7 @@ public interface AnalysisOptions {
|
| *
|
| * @return {@code true} if analysis is to include the new deferred loading support
|
| */
|
| + @Deprecated
|
| public boolean getEnableDeferredLoading();
|
|
|
| /**
|
| @@ -72,6 +74,7 @@ public interface AnalysisOptions {
|
| *
|
| * @return {@code true} if analysis is to include the new enum support
|
| */
|
| + @Deprecated
|
| public boolean getEnableEnum();
|
|
|
| /**
|
|
|