OLD | NEW |
1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 // VMOptions=--compile-all --error_on_bad_type --error_on_bad_override --checked | 4 // VMOptions=--compile-all --error_on_bad_type --error_on_bad_override --checked |
5 | 5 |
6 import 'package:observatory/dominator_tree.dart'; | 6 import 'package:observatory/dominator_tree.dart'; |
7 import 'package:unittest/unittest.dart'; | 7 import 'package:unittest/unittest.dart'; |
8 | 8 |
9 void main() { | 9 void main() { |
10 test('small example from [Lenguaer & Tarjan 1979]', smallTest); | 10 test('small example from [Lenguaer & Tarjan 1979]', smallTest); |
(...skipping 35 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
46 expect(d.dominator('J'), equals('G')); | 46 expect(d.dominator('J'), equals('G')); |
47 expect(d.dominator('L'), equals('D')); | 47 expect(d.dominator('L'), equals('D')); |
48 expect(d.dominator('R'), isNull); | 48 expect(d.dominator('R'), isNull); |
49 } | 49 } |
50 | 50 |
51 void nonFlowgraph() { | 51 void nonFlowgraph() { |
52 var d = new Dominator(); | 52 var d = new Dominator(); |
53 d.addEdges('A', ['B']); | 53 d.addEdges('A', ['B']); |
54 expect(() => d.computeDominatorTree('B'), throwsStateError); | 54 expect(() => d.computeDominatorTree('B'), throwsStateError); |
55 } | 55 } |
OLD | NEW |