Use AnalysisOptions.signature as a way to check compatibility.

pkg/analyzer/lib/src/generated/engine.dart

 // Copyright (c) 2014, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 library analyzer.src.generated.engine;
 
 import 'dart:async';
 import 'dart:collection';
+import 'dart:typed_data';
 
 import 'package:analyzer/dart/ast/ast.dart';
 import 'package:analyzer/dart/ast/visitor.dart';
 import 'package:analyzer/dart/element/element.dart';
 import 'package:analyzer/error/error.dart';
 import 'package:analyzer/exception/exception.dart';
 import 'package:analyzer/instrumentation/instrumentation.dart';
 import 'package:analyzer/plugin/resolver_provider.dart';
 import 'package:analyzer/source/error_processor.dart';
 import 'package:analyzer/src/cancelable_future.dart';
 import 'package:analyzer/src/context/builder.dart' show EmbedderYamlLocator;
 import 'package:analyzer/src/context/cache.dart';
 import 'package:analyzer/src/context/context.dart';
 import 'package:analyzer/src/generated/constant.dart';
 import 'package:analyzer/src/generated/java_engine.dart';
 import 'package:analyzer/src/generated/resolver.dart';
 import 'package:analyzer/src/generated/source.dart';
 import 'package:analyzer/src/generated/utilities_general.dart';
 import 'package:analyzer/src/plugin/engine_plugin.dart';
 import 'package:analyzer/src/services/lint.dart';
+import 'package:analyzer/src/summary/api_signature.dart';
 import 'package:analyzer/src/task/dart.dart';
 import 'package:analyzer/src/task/general.dart';
 import 'package:analyzer/src/task/html.dart';
 import 'package:analyzer/src/task/manager.dart';
 import 'package:analyzer/src/task/options.dart';
 import 'package:analyzer/src/task/yaml.dart';
 import 'package:analyzer/task/dart.dart';
 import 'package:analyzer/task/model.dart';
 import 'package:front_end/src/base/timestamped_data.dart';
 import 'package:html/dom.dart' show Document;
@@ skipping 1085 matching lines @@
 class AnalysisNotScheduledError implements Exception {}
 
 /**
  * A set of analysis options used to control the behavior of an analysis
  * context.
  */
 abstract class AnalysisOptions {
   /**
    * The length of the list returned by [encodeCrossContextOptions].
    */
-  static const int crossContextOptionsLength = 1;
+  static const int signatureLength = 4;
 
   /**
    * Function that returns `true` if analysis is to parse and analyze function
    * bodies for a given source.
    */
   AnalyzeFunctionBodiesPredicate get analyzeFunctionBodiesPredicate;
 
   /**
    * DEPRECATED: Return the maximum number of sources for which AST structures should be
    * kept in the cache.
@@ skipping 155 matching lines @@
    * to patch files that should be applied to the library.
    */
   Map<String, List<String>> get patchPaths;
 
   /**
    * Return `true` if analysis is to parse comments.
    */
   bool get preserveComments;
 
   /**
+   * Return the opaque signature of the options.
+   *
+   * The length of the list is guaranteed to equal [signatureLength].
+   */
+  Uint32List get signature;
+
+  /**
    * Return `true` if strong mode analysis should be used.
    */
   bool get strongMode;
 
   /**
    * Return `true` if dependencies between computed results should be tracked
    * by analysis cache.  This option should only be set to `false` if analysis
    * is performed in such a way that none of the inputs is ever changed
    * during the life time of the context.
    */
   bool get trackCacheDependencies;
 
   /**
-   * Return a list of integers encoding of the values of the options that need
-   * to be the same across all of the contexts associated with partitions that
-   * are to be shared by a single analysis context.
-   *
-   * The length of the list is guaranteed to equal [crossContextOptionsLength].
-   */
-  List<int> encodeCrossContextOptions();
-
-  /**
    * Reset the state of this set of analysis options to its original state.
    */
   void resetToDefaults();
 
   /**
    * Set the values of the cross-context options to match those in the given set
    * of [options].
    */
   void setCrossContextOptionsFrom(AnalysisOptions options);
 
   /**
-   * Determine whether two lists returned by [encodeCrossContextOptions] are
-   * equal.
+   * Determine whether two signatures returned by [signature] are equal.
    */
-  static bool crossContextOptionsEqual(List<int> a, List<int> b) {
-    assert(a.length == crossContextOptionsLength);
-    assert(b.length == crossContextOptionsLength);
+  static bool signaturesEqual(Uint32List a, Uint32List b) {
+    assert(a.length == signatureLength);
+    assert(b.length == signatureLength);
     if (a.length != b.length) {
       return false;
     }
     for (int i = 0; i < a.length; i++) {
       if (a[i] != b[i]) {
         return false;
       }
     }
     return true;
   }
 }
 
 /**
  * A set of analysis options used to control the behavior of an analysis
  * context.
  */
 class AnalysisOptionsImpl implements AnalysisOptions {
   /**
    * DEPRECATED: The maximum number of sources for which data should be kept in
    * the cache.
    *
    * This constant no longer has any effect.
    */
   @deprecated
   static const int DEFAULT_CACHE_SIZE = 64;
 
-  static const int ENABLE_LAZY_ASSIGNMENT_OPERATORS = 0x01;
-  static const int ENABLE_STRICT_CALL_CHECKS_FLAG = 0x02;
-  static const int ENABLE_STRONG_MODE_FLAG = 0x04;
-  static const int ENABLE_STRONG_MODE_HINTS_FLAG = 0x08;
-  static const int ENABLE_SUPER_MIXINS_FLAG = 0x10;
-
   /**
    * The default list of non-nullable type names.
    */
   static const List<String> NONNULLABLE_TYPES = const <String>[];
 
   /**
    * A predicate indicating whether analysis is to parse and analyze function
    * bodies.
    */
   AnalyzeFunctionBodiesPredicate _analyzeFunctionBodiesPredicate =
       _analyzeAllFunctionBodies;
 
+  /**
+   * The cached [signature].
+   */
+  Uint32List _signature;
+
   @override
   @deprecated
   int cacheSize = 64;
 
   @override
   bool dart2jsHint = false;
 
   @override
   bool enableAssertInitializer = false;
 
@@ skipping 237 matching lines @@
 
   /**
    * Set the lint rules that are to be run in an analysis context if [lint]
    * returns `true`.
    */
   void set lintRules(List<Linter> rules) {
     _lintRules = rules;
   }
 
   @override
-  List<int> encodeCrossContextOptions() {
-    int flags =
-        (enableLazyAssignmentOperators ? ENABLE_LAZY_ASSIGNMENT_OPERATORS : 0) |
-            (enableStrictCallChecks ? ENABLE_STRICT_CALL_CHECKS_FLAG : 0) |
-            (enableSuperMixins ? ENABLE_SUPER_MIXINS_FLAG : 0) |
-            (strongMode ? ENABLE_STRONG_MODE_FLAG : 0) |
-            (strongModeHints ? ENABLE_STRONG_MODE_HINTS_FLAG : 0);
-    return <int>[flags];
+  Uint32List get signature {
+    if (_signature == null) {
+      ApiSignature buffer = new ApiSignature();
+
+      // Append boolean flags.
+      buffer.addBool(enableLazyAssignmentOperators);
+      buffer.addBool(enableStrictCallChecks);
+      buffer.addBool(enableSuperMixins);
+      buffer.addBool(strongMode);
+      buffer.addBool(strongModeHints);
+
+      // Append lints.
+      buffer.addInt(lintRules.length);
+      for (Linter lintRule in lintRules) {
+        buffer.addString(lintRule.lintCode.uniqueName);
+      }
+
+      // Hash and convert to Uint32List.
+      List<int> bytes = buffer.toByteList();
+      _signature = new Uint8List.fromList(bytes).buffer.asUint32List();
+    }
+    return _signature;
   }
 
   @override
   void resetToDefaults() {
     dart2jsHint = false;
     disableCacheFlushing = false;
     enableAssertInitializer = false;
     enableLazyAssignmentOperators = false;
     enableStrictCallChecks = false;
     enableSuperMixins = false;
@@ skipping 25 matching lines @@
     enableLazyAssignmentOperators = options.enableLazyAssignmentOperators;
     enableStrictCallChecks = options.enableStrictCallChecks;
     enableSuperMixins = options.enableSuperMixins;
     strongMode = options.strongMode;
     if (options is AnalysisOptionsImpl) {
       strongModeHints = options.strongModeHints;
     }
   }
 
   /**
-   * Produce a human readable list of option names corresponding to the options
-   * encoded in the given [encoding], presumably from invoking the method
-   * [encodeCrossContextOptions].
-   */
-  static String decodeCrossContextOptions(List<int> encoding) {
-    List<String> parts = [];
-    int flags = encoding[0];
-    if (flags & ENABLE_LAZY_ASSIGNMENT_OPERATORS > 0) {
-      parts.add('lazyAssignmentOperators');
-    }
-    if (flags & ENABLE_STRICT_CALL_CHECKS_FLAG > 0) {
-      parts.add('strictCallChecks');
-    }
-    if (flags & ENABLE_SUPER_MIXINS_FLAG > 0) {
-      parts.add('superMixins');
-    }
-    if (flags & ENABLE_STRONG_MODE_FLAG > 0) {
-      parts.add('strongMode');
-    }
-    if (flags & ENABLE_STRONG_MODE_HINTS_FLAG > 0) {
-      parts.add('strongModeHints');
-    }
-    int patchPlatform = encoding[1];
-    if (patchPlatform != 0) {
-      parts.add('patchPlatform=$patchPlatform');
-    }
-    if (parts.isEmpty) {
-      return 'none';
-    } else {
-      return parts.join(', ');
-    }
-  }
-
-  /**
    * Predicate used for [analyzeFunctionBodiesPredicate] when
    * [analyzeFunctionBodies] is set to `true`.
    */
   static bool _analyzeAllFunctionBodies(Source _) => true;
 
   /**
    * Predicate used for [analyzeFunctionBodiesPredicate] when
    * [analyzeFunctionBodies] is set to `false`.
    */
   static bool _analyzeNoFunctionBodies(Source _) => false;
@@ skipping 1156 matching lines @@
    */
   bool get wereSourcesAdded => _changeSet.addedSources.length > 0;
 
   /**
    * Return `true` if any sources were removed or deleted.
    */
   bool get wereSourcesRemoved =>
       _changeSet.removedSources.length > 0 ||
       _changeSet.removedContainers.length > 0;
 }