| OLD | NEW |
| 1 // Copyright (c) 2015, the Fletch project authors. Please see the AUTHORS file | 1 // Copyright (c) 2015, the Dartino 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.md file. | 3 // BSD-style license that can be found in the LICENSE.md file. |
| 4 | 4 |
| 5 library fletchc.verbs.debug_verb; | 5 library fletchc.verbs.debug_verb; |
| 6 | 6 |
| 7 import 'dart:core' hide | 7 import 'dart:core' hide |
| 8 StackTrace; | 8 StackTrace; |
| 9 | 9 |
| 10 import 'infrastructure.dart'; | 10 import 'infrastructure.dart'; |
| 11 | 11 |
| (...skipping 691 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 703 | 703 |
| 704 if (argument != 'internal') { | 704 if (argument != 'internal') { |
| 705 // TODO(ager, lukechurch): Fix error reporting. | 705 // TODO(ager, lukechurch): Fix error reporting. |
| 706 throwInternalError("Invalid argument to toggle. " | 706 throwInternalError("Invalid argument to toggle. " |
| 707 "Valid arguments: 'internal'."); | 707 "Valid arguments: 'internal'."); |
| 708 } | 708 } |
| 709 await session.toggleInternal(); | 709 await session.toggleInternal(); |
| 710 | 710 |
| 711 return 0; | 711 return 0; |
| 712 } | 712 } |
| OLD | NEW |