copyWith method

InitializeResult copyWith({
  1. Map<String, Object?>? meta,
  2. ServerCapabilities? capabilities,
  3. String? instructions,
  4. String? protocolVersion,
  5. Implementation? serverInfo,
})

A copy with the given properties replaced; everything else, unknown keys included, is kept.

Implementation

InitializeResult copyWith({
  Map<String, Object?>? meta,
  ServerCapabilities? capabilities,
  String? instructions,
  String? protocolVersion,
  Implementation? serverInfo,
}) =>
    InitializeResult.fromJson({
      ...toJson(),
      if (meta != null) '_meta': $encode(meta),
      if (capabilities != null) 'capabilities': $encode(capabilities),
      if (instructions != null) 'instructions': $encode(instructions),
      if (protocolVersion != null) 'protocolVersion': $encode(protocolVersion),
      if (serverInfo != null) 'serverInfo': $encode(serverInfo),
    });