Pass the 'strongMode' flag into SdkSummaryResynthesizer.

pkg/analyzer/lib/src/summary/summary_sdk.dart

 // Copyright (c) 2015, 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.summary.summary_sdk;
 
 import 'package:analyzer/dart/element/element.dart';
 import 'package:analyzer/dart/element/type.dart';
 import 'package:analyzer/src/context/cache.dart' show CacheEntry;
 import 'package:analyzer/src/context/context.dart';
@@ skipping 14 matching lines @@
     show AnalysisTarget, ResultDescriptor, TargetedResult;
 
 class SdkSummaryResultProvider implements SummaryResultProvider {
   final InternalAnalysisContext context;
   final PackageBundle bundle;
   final SummaryTypeProvider typeProvider = new SummaryTypeProvider();
 
   @override
   SummaryResynthesizer resynthesizer;
 
-  SdkSummaryResultProvider(this.context, this.bundle) {
+  SdkSummaryResultProvider(this.context, this.bundle, bool strongMode) {
     resynthesizer = new SdkSummaryResynthesizer(
-        context, typeProvider, context.sourceFactory, bundle);
+        context, typeProvider, context.sourceFactory, bundle, strongMode);
     _buildCoreLibrary();
     _buildAsyncLibrary();
     resynthesizer.finalizeCoreAsyncLibraries();
     context.typeProvider = typeProvider;
   }
 
   @override
   bool compute(CacheEntry entry, ResultDescriptor result) {
     if (result == TYPE_PROVIDER) {
       entry.setValue(result, typeProvider, TargetedResult.EMPTY_LIST);
@@ skipping 108 matching lines @@
 
 /**
  * The implementation of [SummaryResynthesizer] for Dart SDK.
  */
 class SdkSummaryResynthesizer extends SummaryResynthesizer {
   final PackageBundle bundle;
   final Map<String, UnlinkedUnit> unlinkedSummaries = <String, UnlinkedUnit>{};
   final Map<String, LinkedLibrary> linkedSummaries = <String, LinkedLibrary>{};
 
   SdkSummaryResynthesizer(AnalysisContext context, TypeProvider typeProvider,
-      SourceFactory sourceFactory, this.bundle)
-      : super(null, context, typeProvider, sourceFactory, false) {
-    // TODO(paulberry): we always resynthesize the summary in weak mode.  Is
-    // this ok?
+      SourceFactory sourceFactory, this.bundle, bool strongMode)
+      : super(null, context, typeProvider, sourceFactory, strongMode) {
     for (int i = 0; i < bundle.unlinkedUnitUris.length; i++) {
       unlinkedSummaries[bundle.unlinkedUnitUris[i]] = bundle.unlinkedUnits[i];
     }
     for (int i = 0; i < bundle.linkedLibraryUris.length; i++) {
       linkedSummaries[bundle.linkedLibraryUris[i]] = bundle.linkedLibraries[i];
     }
   }
 
   @override
   LinkedLibrary getLinkedSummary(String uri) {
@@ skipping 11 matching lines @@
   }
 }
 
 /**
  * An implementation of [DartSdk] which provides analysis results for `dart:`
  * libraries from the given summary file.  This implementation is limited and
  * suitable only for command-line tools, but not for IDEs - it does not
  * implement [sdkLibraries], [sdkVersion], [uris] and [fromFileUri].
  */
 class SummaryBasedDartSdk implements DartSdk {
+  final bool strongMode;
   SummaryDataStore _dataStore;
   InSummaryPackageUriResolver _uriResolver;
   PackageBundle _bundle;
 
   /**
    * The [AnalysisContext] which is used for all of the sources in this sdk.
    */
   InternalAnalysisContext _analysisContext;
 
-  SummaryBasedDartSdk(String summaryPath) {
+  SummaryBasedDartSdk(String summaryPath, this.strongMode) {
     _dataStore = new SummaryDataStore(<String>[summaryPath]);
     _uriResolver = new InSummaryPackageUriResolver(_dataStore);
     _bundle = _dataStore.bundles.single;
   }
 
   /**
    * Return the [PackageBundle] for this SDK, not `null`.
    */
   PackageBundle get bundle => _bundle;
 
   @override
   AnalysisContext get context {
     if (_analysisContext == null) {
-      _analysisContext = new SdkAnalysisContext(null);
+      AnalysisOptionsImpl analysisOptions = new AnalysisOptionsImpl()
+        ..strongMode = strongMode;
+      _analysisContext = new SdkAnalysisContext(analysisOptions);
       SourceFactory factory = new SourceFactory([new DartUriResolver(this)]);
       _analysisContext.sourceFactory = factory;
       _analysisContext.resultProvider =
-          new SdkSummaryResultProvider(_analysisContext, _bundle);
+          new SdkSummaryResultProvider(_analysisContext, _bundle, strongMode);
     }
     return _analysisContext;
   }
 
   @override
   List<SdkLibrary> get sdkLibraries {
     throw new UnimplementedError();
   }
 
   @override
@@ skipping 263 matching lines @@
    * throw a [StateError] if there is no class with the given name.
    */
   InterfaceType _getType(LibraryElement library, String name) {
     Element element = library.getType(name);
     if (element == null) {
       throw new StateError("No definition of type $name");
     }
     return (element as ClassElement).type;
   }
 }