when<TResult extends Object?> method

  1. @optionalTypeArgs
TResult when<TResult extends Object?>(
  1. TResult $default(
    1. String id,
    2. String sessionId,
    3. String message,
    4. Map<String, dynamic>? metadata,
    5. String? toolName,
    6. String? toolResult,
    7. GithubCopilotSessionLogLevel level,
    8. ModelTimestamp timestamp,
    9. bool fromServer,
    )
)

A switch-like method, using callbacks.

As opposed to map, this offers destructuring. It is equivalent to doing:

switch (sealedClass) {
  case Subclass(:final field):
    return ...;
  case Subclass2(:final field2):
    return ...;
}

Implementation

@optionalTypeArgs
TResult when<TResult extends Object?>(
  TResult Function(
          String id,
          String sessionId,
          String message,
          Map<String, dynamic>? metadata,
          String? toolName,
          String? toolResult,
          GithubCopilotSessionLogLevel level,
          ModelTimestamp timestamp,
          bool fromServer)
      $default,
) {
  final _that = this;
  switch (_that) {
    case _GithubCopilotSessionLogModel():
      return $default(
          _that.id,
          _that.sessionId,
          _that.message,
          _that.metadata,
          _that.toolName,
          _that.toolResult,
          _that.level,
          _that.timestamp,
          _that.fromServer);
    case _:
      throw StateError('Unexpected subclass');
  }
}