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 |