expose strong checker API, for use by analyzer_cli

lib/src/info.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.
 
 /// Defines static information collected by the type checker and used later by
 /// emitters to generate code.
 library dev_compiler.src.info;
 
-import 'dart:mirrors';
-
 import 'package:analyzer/src/generated/ast.dart';
 import 'package:analyzer/src/generated/element.dart';
 import 'package:analyzer/src/generated/error.dart' as analyzer;
 import 'package:logging/logging.dart' show Level;
 
 import 'package:dev_compiler/src/checker/rules.dart';
 import 'package:dev_compiler/src/utils.dart' as utils;
 
 import 'report.dart' show Message;
 
@@ skipping 382 matching lines @@
 }
 
 // Invalid override of an instance member of a class.
 abstract class InvalidOverride extends StaticError {
   /// Member delaration with the invalid override.
   final ExecutableElement element;
 
   /// Type (class or interface) that provides the base declaration.
   final InterfaceType base;
 
-  /// Actual type of the overriden member.
+  /// Actual type of the overridden member.
   final DartType subType;
 
   /// Actual type of the base member.
   final DartType baseType;
 
   /// Whether the error comes from combining a base class and an interface
   final bool fromBaseClass;
 
   /// Whether the error comes from a mixin (either overriding a base class or an
   /// interface declaration).
@@ skipping 83 matching lines @@
 /// <http://goo.gl/q1T4BB>
 ///
 /// For now this is the only pattern we support.
 class InvalidSuperInvocation extends StaticError {
   InvalidSuperInvocation(SuperConstructorInvocation node) : super(node);
 
   String get message => "super call must be last in an initializer list "
       "(see http://goo.gl/q1T4BB): $node";
 }
 
-/// Automatically infer list of types by scanning this library using mirrors.
-final List<Type> infoTypes = () {
-  var allTypes = new Set();
-  var baseTypes = new Set();
-  var infoMirror = reflectClass(StaticInfo);
-  var libMirror = infoMirror.owner as LibraryMirror;
-  var declarations = libMirror.declarations.values;
-  for (ClassMirror cls in declarations.where((d) => d is ClassMirror)) {
-    if (cls.isSubtypeOf(infoMirror)) {
-      allTypes.add(cls);
-      baseTypes.add(cls.superclass);
-    }
-  }
-  allTypes.removeAll(baseTypes);
-  return new List<Type>.from(allTypes.map((mirror) => mirror.reflectedType))
-    ..sort((t1, t2) => '$t1'.compareTo('$t2'));
-}();
-
 class AnalyzerError extends Message {
   factory AnalyzerError.from(analyzer.AnalysisError error) {
     var severity = error.errorCode.type.severity;
     var isError = severity == analyzer.ErrorSeverity.WARNING;
     var level = isError ? Level.SEVERE : Level.WARNING;
     int begin = error.offset;
     int end = begin + error.length;
     return new AnalyzerError(error.message, level, begin, end);
   }
 
   const AnalyzerError(String message, Level level, int begin, int end)
       : super(message, level, begin, end);
 }