copyWith method

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

Implementation

ClientCapabilities copyWith({
  Map<String, Map<String, Object?>>? experimental,
  ClientCapabilitiesRoots? roots,
  ClientCapabilitiesSampling? sampling,
  ClientCapabilitiesElicitation? elicitation,
  ClientCapabilitiesTasks? tasks,
  Map<String, Map<String, Object?>>? extensions,
}) =>
    ClientCapabilities.fromJson({
      ...toJson(),
      if (experimental != null) 'experimental': $encode(experimental),
      if (roots != null) 'roots': $encode(roots),
      if (sampling != null) 'sampling': $encode(sampling),
      if (elicitation != null) 'elicitation': $encode(elicitation),
      if (tasks != null) 'tasks': $encode(tasks),
      if (extensions != null) 'extensions': $encode(extensions),
    });