| OLD | NEW |
| 1 // Copyright (c) 2014, the Fletch project authors. Please see the AUTHORS file | 1 // Copyright (c) 2014, 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 #ifndef SRC_VM_SESSION_H_ | 5 #ifndef SRC_VM_SESSION_H_ |
| 6 #define SRC_VM_SESSION_H_ | 6 #define SRC_VM_SESSION_H_ |
| 7 | 7 |
| 8 #ifndef FLETCH_ENABLE_LIVE_CODING | 8 #ifndef FLETCH_ENABLE_LIVE_CODING |
| 9 #include "src/vm/session_no_live_coding.h" | 9 #include "src/vm/session_no_live_coding.h" |
| 10 #else // FLETCH_ENABLE_LIVE_CODING | 10 #else // FLETCH_ENABLE_LIVE_CODING |
| 11 | 11 |
| (...skipping 213 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 225 void RestartFrame(int index); | 225 void RestartFrame(int index); |
| 226 | 226 |
| 227 Process* GetProcess(int process_id); | 227 Process* GetProcess(int process_id); |
| 228 }; | 228 }; |
| 229 | 229 |
| 230 } // namespace fletch | 230 } // namespace fletch |
| 231 | 231 |
| 232 #endif // FLETCH_ENABLE_LIVE_CODING | 232 #endif // FLETCH_ENABLE_LIVE_CODING |
| 233 | 233 |
| 234 #endif // SRC_VM_SESSION_H_ | 234 #endif // SRC_VM_SESSION_H_ |
| OLD | NEW |