| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/AnalysisOptions.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/AnalysisOptions.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/AnalysisOptions.java
|
| index 5da2e362a637a610e91e6d6ebc977cb53af4e3e5..7b1ce37787b6fcd5e558a3c2751450b9a08ff8a3 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/AnalysisOptions.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/AnalysisOptions.java
|
| @@ -119,21 +119,21 @@ public class AnalysisOptions {
|
| /**
|
| * True if the client wants to enable support for the proposed async feature.
|
| */
|
| - public Boolean enableAsync() {
|
| + public Boolean getEnableAsync() {
|
| return enableAsync;
|
| }
|
|
|
| /**
|
| * True if the client wants to enable support for the proposed deferred loading feature.
|
| */
|
| - public Boolean enableDeferredLoading() {
|
| + public Boolean getEnableDeferredLoading() {
|
| return enableDeferredLoading;
|
| }
|
|
|
| /**
|
| * True if the client wants to enable support for the proposed enum feature.
|
| */
|
| - public Boolean enableEnums() {
|
| + public Boolean getEnableEnums() {
|
| return enableEnums;
|
| }
|
|
|
| @@ -141,14 +141,14 @@ public class AnalysisOptions {
|
| * True if hints that are specific to dart2js should be generated. This option is ignored if
|
| * generateHints is false.
|
| */
|
| - public Boolean generateDart2jsHints() {
|
| + public Boolean getGenerateDart2jsHints() {
|
| return generateDart2jsHints;
|
| }
|
|
|
| /**
|
| * True is hints should be generated as part of generating errors and warnings.
|
| */
|
| - public Boolean generateHints() {
|
| + public Boolean getGenerateHints() {
|
| return generateHints;
|
| }
|
|
|
|
|