copyWith method

CallToolRequestParams copyWith({
  1. RequestMetaObject? meta,
  2. Map<String, Object?>? arguments,
  3. String? name,
  4. TaskMetadata? task,
  5. Map<String, Map<String, Object?>>? inputResponses,
  6. String? requestState,
})

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

Implementation

CallToolRequestParams copyWith({
  RequestMetaObject? meta,
  Map<String, Object?>? arguments,
  String? name,
  TaskMetadata? task,
  Map<String, Map<String, Object?>>? inputResponses,
  String? requestState,
}) =>
    CallToolRequestParams.fromJson({
      ...toJson(),
      if (meta != null) '_meta': $encode(meta),
      if (arguments != null) 'arguments': $encode(arguments),
      if (name != null) 'name': $encode(name),
      if (task != null) 'task': $encode(task),
      if (inputResponses != null) 'inputResponses': $encode(inputResponses),
      if (requestState != null) 'requestState': $encode(requestState),
    });