| 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 node HttpsRequest { | 5 node HttpsRequest { |
| 6 String authorization; | 6 String authorization; |
| 7 String url; | 7 String url; |
| 8 void handleResponse(String data); | 8 void handleResponse(String data); |
| 9 } | 9 } |
| 10 | 10 |
| 11 node Login { | 11 node Login { |
| 12 Node state; | 12 Node state; |
| 13 } | 13 } |
| 14 | 14 |
| 15 node LoggedOutState { | 15 node LoggedOutState { |
| 16 void login(String name, String password); | 16 void login(String name, String password); |
| 17 String message; | 17 String message; |
| 18 } | 18 } |
| 19 | 19 |
| 20 node LoginRequestState { | 20 node LoginRequestState { |
| 21 HttpsRequest request; | 21 HttpsRequest request; |
| 22 } | 22 } |
| 23 | 23 |
| 24 node LoggedInState { | 24 node LoggedInState { |
| 25 void logout(); | 25 void logout(); |
| 26 String user; | 26 String user; |
| 27 } | 27 } |
| OLD | NEW |