copyWith method

ListToolsResultResponse copyWith({
  1. Object? id,
  2. ListToolsResult? result,
})

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

Implementation

ListToolsResultResponse copyWith({
  Object? id,
  ListToolsResult? result,
}) =>
    ListToolsResultResponse.fromJson({
      ...toJson(),
      if (id != null) 'id': $encode(id),
      if (result != null) 'result': $encode(result),
    });