| // 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. |
| |
| // Test for iterators on for [SubclassNode]. |
| |
| library world_test; |
| |
| import 'package:expect/expect.dart'; |
| import 'package:async_helper/async_helper.dart'; |
| import 'type_test_helper.dart'; |
| import 'package:compiler/src/elements/elements.dart' |
| show Element, ClassElement; |
| import 'package:compiler/src/universe/class_set.dart'; |
| import 'package:compiler/src/world.dart'; |
| |
| void main() { |
| asyncTest(() => TypeEnvironment.create(r""" |
| /// A |
| /// / \ |
| /// B C |
| /// / /|\ |
| /// D E F G |
| /// |
| class A { |
| call(H h, I i) {} // Make `H` and `I` part of the world. |
| } |
| class B extends A implements C {} |
| class C extends A {} |
| class D extends B implements A {} |
| class E extends C implements B {} |
| class F extends C {} |
| class G extends C {} |
| class H implements C {} |
| class I implements H {} |
| """, |
| mainSource: r""" |
| main() { |
| new A(); |
| new C(); |
| new D(); |
| new E(); |
| new F(); |
| new G(); |
| } |
| """, |
| useMockCompiler: false).then((env) { |
| World world = env.compiler.world; |
| |
| ClassElement A = env.getElement("A"); |
| ClassElement B = env.getElement("B"); |
| ClassElement C = env.getElement("C"); |
| ClassElement D = env.getElement("D"); |
| ClassElement E = env.getElement("E"); |
| ClassElement F = env.getElement("F"); |
| ClassElement G = env.getElement("G"); |
| ClassElement H = env.getElement("H"); |
| ClassElement I = env.getElement("I"); |
| |
| void checkClass(ClassElement cls, |
| List<ClassElement> subtypes) { |
| ClassSet node = world.getClassSet(cls); |
| print('$cls:\n${node}'); |
| Expect.listEquals(subtypes, |
| node.subtypes().toList(), |
| "Unexpected subtypes of ${cls.name}:\n" |
| "Expected: $subtypes\n" |
| "Found : ${node.subtypes().toList()}"); |
| } |
| |
| checkClass(A, [A, C, E, F, G, B, D, H, I]); |
| checkClass(B, [B, D, E]); |
| checkClass(C, [C, E, F, G, H, B, D, I]); |
| checkClass(D, [D]); |
| checkClass(E, [E]); |
| checkClass(F, [F]); |
| checkClass(G, [G]); |
| checkClass(H, [H, I]); |
| checkClass(I, [I]); |
| })); |
| } |