copyWith method

ServerCapabilitiesTasksRequests copyWith({
  1. ServerCapabilitiesTasksRequestsTools? tools,
})

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

Implementation

ServerCapabilitiesTasksRequests copyWith({
  ServerCapabilitiesTasksRequestsTools? tools,
}) =>
    ServerCapabilitiesTasksRequests.fromJson({
      ...toJson(),
      if (tools != null) 'tools': $encode(tools),
    });