Fixes in smoke, which in turn should fix todomvc.

pkg/smoke/test/common.dart

 // Copyright (c) 2014, 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.
 
 /// Common test code that is run by 3 tests: mirrors_test.dart,
 /// mirrors_used_test.dart, and static_test.dart.
 library smoke.test.common;
 
 import 'package:smoke/smoke.dart' as smoke;
 import 'package:unittest/unittest.dart';
@@ skipping 181 matching lines @@
     expect(d.name, #d);
     expect(d.isField, isTrue);
     expect(d.isProperty, isFalse);
     expect(d.isMethod, isFalse);
     expect(d.isFinal, isFalse);
     expect(d.isStatic, isFalse);
     expect(d.annotations, [32]);
     expect(d.type, int);
   });
 
+  test('isSuperclass', () {
+    expect(smoke.isSubclassOf(D, C), isTrue);
+    expect(smoke.isSubclassOf(H, G), isTrue);
+    expect(smoke.isSubclassOf(H, H), isTrue);
+    expect(smoke.isSubclassOf(H, Object), isTrue);
+    expect(smoke.isSubclassOf(B, Object), isTrue);
+    expect(smoke.isSubclassOf(A, Object), isTrue);
+    expect(smoke.isSubclassOf(AnnotB, Annot), isTrue);
+
+    expect(smoke.isSubclassOf(D, A), isFalse);
+    expect(smoke.isSubclassOf(H, B), isFalse);
+    expect(smoke.isSubclassOf(B, A), isFalse);
+    expect(smoke.isSubclassOf(Object, A), isFalse);
+  });
+
   group('query', () {
     test('default', () {
       var options = new smoke.QueryOptions();
       var res = smoke.query(A, options);
       expect(res.map((e) => e.name), [#i, #j, #j2]);
     });
 
     test('only fields', () {
       var options = new smoke.QueryOptions(includeProperties: false);
       var res = smoke.query(A, options);
@@ skipping 39 matching lines @@
       options = new smoke.QueryOptions(includeInherited: true,
           withAnnotations: const [a1, a2]);
       res = smoke.query(H, options);
       expect(res.map((e) => e.name), [#b, #d, #f, #g, #h]);
     });
 
     test('type annotation', () {
       var options = new smoke.QueryOptions(includeInherited: true,
           withAnnotations: const [Annot]);
       var res = smoke.query(H, options);
-      expect(res.map((e) => e.name), [#b, #f, #g]);
+      expect(res.map((e) => e.name), [#b, #f, #g, #i]);
     });
 
     test('mixed annotations (type and exact)', () {
       var options = new smoke.QueryOptions(includeInherited: true,
           withAnnotations: const [a2, Annot]);
       var res = smoke.query(H, options);
-      expect(res.map((e) => e.name), [#b, #d, #f, #g, #h]);
+      expect(res.map((e) => e.name), [#b, #d, #f, #g, #h, #i]);
     });
 
     test('symbol to name', () {
       expect(smoke.symbolToName(#i), 'i');
     });
 
     test('name to symbol', () {
       expect(smoke.nameToSymbol('i'), #i);
     });
   });
@@ skipping 53 matching lines @@
 
 class E2 extends E {}
 
 class F {
   static int staticMethod(A a) => a.i;
 }
 
 class F2 extends F {}
 
 class Annot { const Annot(); }
+class AnnotB extends Annot { const AnnotB(); }
 const a1 = const Annot();
 const a2 = 32;
+const a3 = const AnnotB();
 
 
 class G {
   int a;
   @a1 int b;
   int c;
   @a2 int d;
 }
 
 class H extends G {
   int e;
   @a1 int f;
   @a1 int g;
   @a2 int h;
+  @a3 int i;
 }