expose strong checker API, for use by analyzer_cli

lib/src/checker/rules.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 dev_compiler.src.checker.rules;
 
 import 'package:analyzer/src/generated/ast.dart';
 import 'package:analyzer/src/generated/element.dart';
 import 'package:analyzer/src/generated/resolver.dart';
 
 import 'package:dev_compiler/src/info.dart';
-import 'package:dev_compiler/src/options.dart';
 import 'package:dev_compiler/src/utils.dart' as utils;
+import 'package:dev_compiler/strong_mode.dart' show StrongModeOptions;
 
 abstract class TypeRules {
   final TypeProvider provider;
   LibraryInfo currentLibraryInfo = null;
 
   /// Map of fields / properties / methods on Object.
   final Map<String, DartType> objectMembers;
 
   TypeRules(TypeProvider provider)
       : provider = provider,
@@ skipping 85 matching lines @@
   /// By default, all invocations are dynamic in Dart.
   bool isDynamic(DartType t) => true;
   bool isDynamicTarget(Expression expr) => true;
   bool isDynamicCall(Expression call) => true;
 }
 
 typedef void MissingTypeReporter(Expression expr);
 
 class RestrictedRules extends TypeRules {
   MissingTypeReporter reportMissingType = null;
-  final RulesOptions options;
+  final StrongModeOptions options;
   final List<DartType> _nonnullableTypes;
   DownwardsInference inferrer;
 
   DartType _typeFromName(String name) {
     switch (name) {
       case 'int':
         return provider.intType;
       case 'double':
         return provider.doubleType;
       case 'num':
@@ skipping 648 matching lines @@
     var entries = e.entries;
     bool inferEntry(MapLiteralEntry entry) {
       return _inferExpression(entry.key, kType, errors) &&
           _inferExpression(entry.value, vType, errors);
     }
     var b = entries.every(inferEntry);
     if (b) annotateMapLiteral(e, targs);
     return b;
   }
 }