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 |
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); |
11 test('non-flowgraph', nonFlowgraph); | 11 test('non-flowgraph', nonFlowgraph); |
12 } | 12 } |
13 | 13 |
14 void smallTest() { | 14 void smallTest() { |
(...skipping 30 matching lines...) Expand all Loading... |
45 expect(d.dominator('G'), equals('C')); | 45 expect(d.dominator('G'), equals('C')); |
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 |