| 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 |