| 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 part of fletch.vm_session; | 5 part of fletch.vm_session; |
| 6 | 6 |
| 7 const String BANNER = """ | 7 const String BANNER = """ |
| 8 Starting session. Type 'help' for a list of commands. | 8 Starting session. Type 'help' for a list of commands. |
| 9 """; | 9 """; |
| 10 | 10 |
| 11 const String HELP = """ | 11 const String HELP = """ |
| (...skipping 493 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 505 int choice = int.parse(line, onError: (_) => 0); | 505 int choice = int.parse(line, onError: (_) => 0); |
| 506 if (choice > 0 && choice <= length) { | 506 if (choice > 0 && choice <= length) { |
| 507 return <int>[choice - 1]; | 507 return <int>[choice - 1]; |
| 508 } | 508 } |
| 509 writeStdoutLine("Invalid choice: $choice"); | 509 writeStdoutLine("Invalid choice: $choice"); |
| 510 writeStdoutLine("Please select a number between 1 and $length, " + | 510 writeStdoutLine("Please select a number between 1 and $length, " + |
| 511 "'a' for all, or 'n' for none."); | 511 "'a' for all, or 'n' for none."); |
| 512 } | 512 } |
| 513 } | 513 } |
| 514 } | 514 } |
| OLD | NEW |