expose strong checker API, for use by analyzer_cli

lib/src/checker/checker.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.checker;
 
 import 'package:analyzer/analyzer.dart';
 import 'package:analyzer/src/generated/ast.dart';
 import 'package:analyzer/src/generated/element.dart';
 import 'package:analyzer/src/generated/scanner.dart' show Token, TokenType;
 import 'package:logging/logging.dart' as logger;
 
 import 'package:dev_compiler/src/info.dart';
-import 'package:dev_compiler/src/options.dart';
 import 'package:dev_compiler/src/report.dart' show CheckerReporter;
 import 'package:dev_compiler/src/utils.dart' show getMemberType;
+import 'package:dev_compiler/strong_mode.dart' show StrongModeOptions;
 import 'rules.dart';
 
 /// Checks for overriding declarations of fields and methods. This is used to
 /// check overrides between classes and superclasses, interfaces, and mixin
 /// applications.
 class _OverrideChecker {
   bool _failure = false;
   final TypeRules _rules;
   final CheckerReporter _reporter;
   final bool _inferFromOverrides;
-  _OverrideChecker(this._rules, this._reporter, CompilerOptions options)
+  _OverrideChecker(this._rules, this._reporter, StrongModeOptions options)
       : _inferFromOverrides = options.inferFromOverrides;
 
   void check(ClassDeclaration node) {
     if (node.element.type.isObject) return;
     _checkSuperOverrides(node);
     _checkMixinApplicationOverrides(node);
     _checkAllInterfaceOverrides(node);
   }
 
   /// Check overrides from mixin applications themselves. For example, in:
@@ skipping 297 matching lines @@
 /// Checks the body of functions and properties.
 class CodeChecker extends RecursiveAstVisitor {
   final TypeRules _rules;
   final CheckerReporter _reporter;
   final _OverrideChecker _overrideChecker;
   bool _constantContext = false;
   bool _failure = false;
   bool get failure => _failure || _overrideChecker._failure;
 
   CodeChecker(
-      TypeRules rules, CheckerReporter reporter, CompilerOptions options)
+      TypeRules rules, CheckerReporter reporter, StrongModeOptions options)
       : _rules = rules,
         _reporter = reporter,
         _overrideChecker = new _OverrideChecker(rules, reporter, options);
 
   @override
   void visitCompilationUnit(CompilationUnit unit) {
     void report(Expression expr) {
       _reporter.log(new MissingTypeError(expr));
     }
     var callback = _rules.reportMissingType;
@@ skipping 592 matching lines @@
   void _recordMessage(StaticInfo info) {
     if (info == null) return;
     if (info.level >= logger.Level.SEVERE) _failure = true;
     _reporter.log(info);
     if (info is CoercionInfo) {
       assert(CoercionInfo.get(info.node) == null);
       CoercionInfo.set(info.node, info);
     }
   }
 }