api: Add handler for realm_user events via RealmUserEvent.

Initially only log the event.

Event check added.

Author: neiljp

lib/api/model/events.dart

@@ -19,6 +19,7 @@ abstract class Event {
     final type = json['type'] as String;
     switch (type) {
       case 'alert_words': return AlertWordsEvent.fromJson(json);
+      case 'realm_user': return RealmUserEvent.fromJson(json);
       case 'message': return MessageEvent.fromJson(json);
       case 'heartbeat': return HeartbeatEvent.fromJson(json);
       // TODO add many more event types
@@ -63,6 +64,24 @@ class AlertWordsEvent extends Event {
   Map<String, dynamic> toJson() => _$AlertWordsEventToJson(this);
 }
 
+/// A Zulip event of type `realm_user`.
+@JsonSerializable()
+class RealmUserEvent extends Event {
+  @override
+  @JsonKey(includeToJson: true)
+  String get type => 'realm_user';
+
+  final RealmUserEventPerson person;
+
+  RealmUserEvent({required super.id, required this.person});
+
+  factory RealmUserEvent.fromJson(Map<String, dynamic> json) =>
+      _$RealmUserEventFromJson(json);
+
+  @override
+  Map<String, dynamic> toJson() => _$RealmUserEventToJson(this);
+}
+
 /// A Zulip event of type `message`.
 // TODO use [JsonSerializable] here too, using its customization features,
 //   in order to skip the boilerplate in [fromJson] and [toJson].

lib/api/model/events.g.dart

@@ -150,6 +150,8 @@ class PerAccountStore extends ChangeNotifier {
       for (final view in _messageListViews) {
         view.maybeAddMessage(event.message);
       }
+    } else if (event is RealmUserEvent) {
+      debugPrint("server event: realm_user"); // TODO Update our data, and others
     } else if (event is UnexpectedEvent) {
       debugPrint("server event: ${jsonEncode(event.toJson())}"); // TODO log better
     } else {

lib/model/store.dart

@@ -17,6 +17,10 @@ extension AlertWordsEventChecks on Subject<AlertWordsEvent> {
   Subject<List<String>> get alert_words => has((e) => e.alert_words, 'alert_words');
 }
 
+extension RealmUserEventChecks on Subject<RealmUserEvent> {
+  Subject<RealmUserEventPerson> get person => has((e) => e.person, 'realm_user');
+}
+
 extension MessageEventChecks on Subject<MessageEvent> {
   Subject<Message> get message => has((e) => e.message, 'message');
 }