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 | 4 |
5 import 'package:observatory/dominator_tree.dart'; | 5 import 'package:observatory/dominator_tree.dart'; |
6 import 'package:unittest/unittest.dart'; | 6 import 'package:unittest/unittest.dart'; |
7 | 7 |
8 void main() { | 8 void main() { |
9 test('small example from [Lenguaer & Tarjan 1979]', smallTest); | 9 test('small example from [Lenguaer & Tarjan 1979]', smallTest); |
10 test('non-flowgraph', nonFlowgraph); | 10 test('non-flowgraph', nonFlowgraph); |
(...skipping 34 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
45 expect(d.dominator('J'), equals('G')); | 45 expect(d.dominator('J'), equals('G')); |
46 expect(d.dominator('L'), equals('D')); | 46 expect(d.dominator('L'), equals('D')); |
47 expect(d.dominator('R'), isNull); | 47 expect(d.dominator('R'), isNull); |
48 } | 48 } |
49 | 49 |
50 void nonFlowgraph() { | 50 void nonFlowgraph() { |
51 var d = new Dominator(); | 51 var d = new Dominator(); |
52 d.addEdges('A', ['B']); | 52 d.addEdges('A', ['B']); |
53 expect(() => d.computeDominatorTree('B'), throwsStateError); | 53 expect(() => d.computeDominatorTree('B'), throwsStateError); |
54 } | 54 } |
OLD | NEW |