Pulling the element model out of global type inference.

pkg/compiler/lib/src/options.dart

 // Copyright (c) 2016, 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 dart2js.src.options;
 
 import '../compiler.dart' show PackagesDiscoveryProvider;
 import 'commandline_options.dart' show Flags;
 
 /// Options used for controlling diagnostic messages.
@@ skipping 184 matching lines @@
 
   /// Whether to trust type annotations during inference and optimizations.
   final bool trustTypeAnnotations;
 
   /// Whether to generate code compliant with content security policy (CSP).
   final bool useContentSecurityPolicy;
 
   /// Whether to use kernel internally as part of compilation.
   final bool useKernel;
 
+  // Whether to use kernel internally for global type inference calculations.
+  // TODO(efortuna): Remove this and consolidate with useKernel.
+  final bool kernelGlobalInference;
+
   /// When obfuscating for minification, whether to use the frequency of a name
   /// as an heuristic to pick shorter names.
   final bool useFrequencyNamer;
 
   /// Whether to generate source-information from both the old and the new
   /// source-information engines. (experimental)
   final bool useMultiSourceInfo;
 
   /// Whether to use the new source-information implementation for source-maps.
   /// (experimental)
@@ skipping 57 matching lines @@
         enableExperimentalMirrors:
             _hasOption(options, Flags.enableExperimentalMirrors),
         enableMinification: _hasOption(options, Flags.minify),
         enableNativeLiveTypeAnalysis:
             !_hasOption(options, Flags.disableNativeLiveTypeAnalysis),
         enableTypeAssertions: _hasOption(options, Flags.enableCheckedMode),
         enableUserAssertions: _hasOption(options, Flags.enableCheckedMode),
         generateCodeWithCompileTimeErrors:
             _hasOption(options, Flags.generateCodeWithCompileTimeErrors),
         generateSourceMap: !_hasOption(options, Flags.noSourceMaps),
+        kernelGlobalInference: _hasOption(options, Flags.kernelGlobalInference),
         outputUri: _extractUriOption(options, '--out='),
         platformConfigUri:
             _resolvePlatformConfigFromOptions(libraryRoot, options),
         preserveComments: _hasOption(options, Flags.preserveComments),
         preserveUris: _hasOption(options, Flags.preserveUris),
         resolutionInputs: resolutionInputs,
         resolutionOutput: resolutionOutput,
         resolveOnly: _hasOption(options, Flags.resolveOnly),
         sourceMapUri: _extractUriOption(options, '--source-map='),
         strips: _extractCsvOption(options, '--force-strip='),
@@ skipping 42 matching lines @@
       bool disableTypeInference: false,
       bool dumpInfo: false,
       bool enableAssertMessage: true,
       bool enableExperimentalMirrors: false,
       bool enableMinification: false,
       bool enableNativeLiveTypeAnalysis: true,
       bool enableTypeAssertions: false,
       bool enableUserAssertions: false,
       bool generateCodeWithCompileTimeErrors: false,
       bool generateSourceMap: true,
+      bool kernelGlobalInference: false,
       Uri outputUri: null,
       Uri platformConfigUri: null,
       bool preserveComments: false,
       bool preserveUris: false,
       List<Uri> resolutionInputs: null,
       Uri resolutionOutput: null,
       bool resolveOnly: false,
       Uri sourceMapUri: null,
       List<String> strips: const [],
       bool testMode: false,
@@ skipping 50 matching lines @@
         disableTypeInference: disableTypeInference,
         dumpInfo: dumpInfo,
         enableAssertMessage: enableAssertMessage,
         enableExperimentalMirrors: enableExperimentalMirrors,
         enableMinification: enableMinification,
         enableNativeLiveTypeAnalysis: enableNativeLiveTypeAnalysis,
         enableTypeAssertions: enableTypeAssertions,
         enableUserAssertions: enableUserAssertions,
         generateCodeWithCompileTimeErrors: generateCodeWithCompileTimeErrors,
         generateSourceMap: generateSourceMap,
+        kernelGlobalInference: kernelGlobalInference,
         outputUri: outputUri,
         platformConfigUri: platformConfigUri ??
             _resolvePlatformConfig(libraryRoot, null, const []),
         preserveComments: preserveComments,
         preserveUris: preserveUris,
         resolutionInputs: resolutionInputs,
         resolutionOutput: resolutionOutput,
         resolveOnly: resolveOnly,
         sourceMapUri: sourceMapUri,
         strips: strips,
@@ skipping 29 matching lines @@
       this.disableTypeInference: false,
       this.dumpInfo: false,
       this.enableAssertMessage: true,
       this.enableExperimentalMirrors: false,
       this.enableMinification: false,
       this.enableNativeLiveTypeAnalysis: false,
       this.enableTypeAssertions: false,
       this.enableUserAssertions: false,
       this.generateCodeWithCompileTimeErrors: false,
       this.generateSourceMap: true,
+      this.kernelGlobalInference: false,
       this.outputUri: null,
       this.platformConfigUri: null,
       this.preserveComments: false,
       this.preserveUris: false,
       this.resolutionInputs: null,
       this.resolutionOutput: null,
       this.resolveOnly: false,
       this.compileOnly: false,
       this.sourceMapUri: null,
       this.strips: const [],
@@ skipping 36 matching lines @@
       disableTypeInference,
       dumpInfo,
       enableAssertMessage,
       enableExperimentalMirrors,
       enableMinification,
       enableNativeLiveTypeAnalysis,
       enableTypeAssertions,
       enableUserAssertions,
       generateCodeWithCompileTimeErrors,
       generateSourceMap,
+      kernelGlobalInference,
       outputUri,
       platformConfigUri,
       preserveComments,
       preserveUris,
       resolutionInputs,
       resolutionOutput,
       resolveOnly,
       compileOnly,
       sourceMapUri,
       strips,
@@ skipping 42 matching lines @@
         enableMinification: enableMinification ?? options.enableMinification,
         enableNativeLiveTypeAnalysis: enableNativeLiveTypeAnalysis ??
             options.enableNativeLiveTypeAnalysis,
         enableTypeAssertions:
             enableTypeAssertions ?? options.enableTypeAssertions,
         enableUserAssertions:
             enableUserAssertions ?? options.enableUserAssertions,
         generateCodeWithCompileTimeErrors: generateCodeWithCompileTimeErrors ??
             options.generateCodeWithCompileTimeErrors,
         generateSourceMap: generateSourceMap ?? options.generateSourceMap,
+        kernelGlobalInference:
+            kernelGlobalInference ?? options.kernelGlobalInference,
         outputUri: outputUri ?? options.outputUri,
         platformConfigUri: platformConfigUri ?? options.platformConfigUri,
         preserveComments: preserveComments ?? options.preserveComments,
         preserveUris: preserveUris ?? options.preserveUris,
         resolutionInputs: resolutionInputs ?? options.resolutionInputs,
         resolutionOutput: resolutionOutput ?? options.resolutionOutput,
         resolveOnly: resolveOnly ?? options.resolveOnly,
         compileOnly: compileOnly ?? options.compileOnly,
         sourceMapUri: sourceMapUri ?? options.sourceMapUri,
         strips: strips ?? options.strips,
@@ skipping 105 matching lines @@
       _extractStringOption(options, "--platform-config=", null),
       _extractCsvOption(options, '--categories='));
 }
 
 /// Locations of the platform descriptor files relative to the library root.
 const String _clientPlatform = "lib/dart_client.platform";
 const String _serverPlatform = "lib/dart_server.platform";
 const String _sharedPlatform = "lib/dart_shared.platform";
 
 const String _UNDETERMINED_BUILD_ID = "build number could not be determined";