copyWith method

ListToolsResult copyWith({
  1. ResultMetaObject? meta,
  2. String? nextCursor,
  3. List<Tool>? tools,
  4. ListToolsResultCacheScope? cacheScope,
  5. String? resultType,
  6. int? ttlMs,
})

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

Implementation

ListToolsResult copyWith({
  ResultMetaObject? meta,
  String? nextCursor,
  List<Tool>? tools,
  ListToolsResultCacheScope? cacheScope,
  String? resultType,
  int? ttlMs,
}) =>
    ListToolsResult.fromJson({
      ...toJson(),
      if (meta != null) '_meta': $encode(meta),
      if (nextCursor != null) 'nextCursor': $encode(nextCursor),
      if (tools != null) 'tools': $encode(tools),
      if (cacheScope != null) 'cacheScope': $encode(cacheScope),
      if (resultType != null) 'resultType': $encode(resultType),
      if (ttlMs != null) 'ttlMs': $encode(ttlMs),
    });