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

Packages that use ProtocolExternalToolDefinition

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

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

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

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

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

Modifier	Constructor	Description
	SessionToolsSetParams(String sessionId, List<ProtocolExternalToolDefinition> tools)	Creates an instance of a SessionToolsSetParams record class.