factory PingMessage.fromJSON(Map<String, dynamic> obj) { obj.verify('type', MessageType.ping.toJSON()); return PingMessage(); }