2016-12-23 20:57:46 +00:00
|
|
|
/// WebSocket plugin for Angel.
|
2016-06-27 00:42:21 +00:00
|
|
|
library angel_websocket;
|
|
|
|
|
2016-12-23 20:57:46 +00:00
|
|
|
/// A notification from the server that something has occurred.
|
2018-10-21 08:15:51 +00:00
|
|
|
class WebSocketEvent<Data> {
|
2016-06-27 00:42:21 +00:00
|
|
|
String eventName;
|
2018-10-21 08:15:51 +00:00
|
|
|
Data data;
|
2016-06-27 00:42:21 +00:00
|
|
|
|
2016-07-06 01:28:00 +00:00
|
|
|
WebSocketEvent({String this.eventName, this.data});
|
2016-12-23 20:57:46 +00:00
|
|
|
|
2021-02-21 02:47:23 +00:00
|
|
|
factory WebSocketEvent.fromJson(Map data) => WebSocketEvent(
|
2018-10-21 08:15:51 +00:00
|
|
|
eventName: data['eventName'].toString(), data: data['data'] as Data);
|
2016-12-23 20:57:46 +00:00
|
|
|
|
2018-10-21 08:15:51 +00:00
|
|
|
WebSocketEvent<T> cast<T>() {
|
|
|
|
if (T == Data) {
|
|
|
|
return this as WebSocketEvent<T>;
|
|
|
|
} else {
|
2021-02-21 02:47:23 +00:00
|
|
|
return WebSocketEvent<T>(eventName: eventName, data: data as T);
|
2018-10-21 08:15:51 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
Map<String, dynamic> toJson() {
|
2016-12-23 20:57:46 +00:00
|
|
|
return {'eventName': eventName, 'data': data};
|
|
|
|
}
|
2016-06-27 00:42:21 +00:00
|
|
|
}
|
|
|
|
|
2016-12-23 20:57:46 +00:00
|
|
|
/// A command sent to the server, usually corresponding to a service method.
|
2016-06-27 00:42:21 +00:00
|
|
|
class WebSocketAction {
|
|
|
|
String id;
|
|
|
|
String eventName;
|
|
|
|
var data;
|
2018-10-02 15:32:06 +00:00
|
|
|
Map<String, dynamic> params;
|
2016-07-06 01:28:00 +00:00
|
|
|
|
2016-12-23 20:57:46 +00:00
|
|
|
WebSocketAction(
|
|
|
|
{String this.id, String this.eventName, this.data, this.params});
|
|
|
|
|
2021-02-21 02:47:23 +00:00
|
|
|
factory WebSocketAction.fromJson(Map data) => WebSocketAction(
|
2018-07-10 16:54:55 +00:00
|
|
|
id: data['id'].toString(),
|
|
|
|
eventName: data['eventName'].toString(),
|
2016-12-23 20:57:46 +00:00
|
|
|
data: data['data'],
|
2018-10-02 15:32:06 +00:00
|
|
|
params: data['params'] as Map<String, dynamic>);
|
2016-12-23 20:57:46 +00:00
|
|
|
|
2018-11-04 02:17:33 +00:00
|
|
|
Map<String, dynamic> toJson() {
|
2016-12-23 20:57:46 +00:00
|
|
|
return {'id': id, 'eventName': eventName, 'data': data, 'params': params};
|
|
|
|
}
|
2016-09-03 12:34:01 +00:00
|
|
|
}
|