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 |