copyWith method
Creates a copy with the given fields replaced.
Implementation
FileSearchTool copyWith({
Object? maxNumResults = unsetCopyWithValue,
Object? rankingOptions = unsetCopyWithValue,
}) {
return FileSearchTool(
maxNumResults: maxNumResults == unsetCopyWithValue
? this.maxNumResults
: maxNumResults as int?,
rankingOptions: rankingOptions == unsetCopyWithValue
? this.rankingOptions
: rankingOptions as FileSearchRankingOptions?,
);
}