OLD | NEW |
1 // Copyright (c) 2015, the Dartino 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.end_verb; | 5 library dartino_compiler.verbs.end_verb; |
6 | 6 |
7 import 'infrastructure.dart'; | 7 import 'infrastructure.dart'; |
8 | 8 |
9 import '../hub/session_manager.dart' show | 9 import '../hub/session_manager.dart' show |
10 endSession; | 10 endSession; |
11 | 11 |
12 import 'documentation.dart' show | 12 import 'documentation.dart' show |
13 endDocumentation; | 13 endDocumentation; |
14 | 14 |
15 const Action endAction = | 15 const Action endAction = |
(...skipping 20 matching lines...) Expand all Loading... |
36 return endSessionTask(name); | 36 return endSessionTask(name); |
37 } | 37 } |
38 } | 38 } |
39 | 39 |
40 Future<int> endSessionTask(String name) { | 40 Future<int> endSessionTask(String name) { |
41 assert(SessionState.internalCurrent.name == name); | 41 assert(SessionState.internalCurrent.name == name); |
42 SessionState.internalCurrent = null; | 42 SessionState.internalCurrent = null; |
43 print("Ended session '$name'."); | 43 print("Ended session '$name'."); |
44 return new Future<int>.value(0); | 44 return new Future<int>.value(0); |
45 } | 45 } |
OLD | NEW |