when<TResult extends Object?> method

@optionalTypeArgs TResult when<TResult extends Object?>(TResult $default(String codeVerifier, String state, String dpopNonce))

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 codeVerifier,  String state,  String dpopNonce)  $default,) {final _that = this;
switch (_that) {
case _OAuthContext():
return $default(_that.codeVerifier,_that.state,_that.dpopNonce);case _:
  throw StateError('Unexpected subclass');

}
}