Uses of Record Class
com.github.copilot.generated.rpc.Tool

Packages that use Tool

Package	Description
com.github.copilot.generated.rpc	Auto-generated RPC parameter and result types for the GitHub Copilot SDK.

Uses of Tool in com.github.copilot.generated.rpc

Methods in com.github.copilot.generated.rpc that return types with arguments of type Tool

Modifier and Type	Method	Description
List<Tool>	ToolsListResult.tools()	Returns the value of the tools record component.

Constructor parameters in com.github.copilot.generated.rpc with type arguments of type Tool

Modifier	Constructor	Description
	ToolsListResult(List<Tool> tools)	Creates an instance of a ToolsListResult record class.