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

Packages that use SessionsRegisterExtensionToolsOnSessionOptions

Package	Description
com.github.copilot.generated.rpc

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

Methods in com.github.copilot.generated.rpc that return SessionsRegisterExtensionToolsOnSessionOptions

Modifier and Type	Method	Description
SessionsRegisterExtensionToolsOnSessionOptions	SessionsRegisterExtensionToolsOnSessionParams.options()	Returns the value of the options record component.

Constructors in com.github.copilot.generated.rpc with parameters of type SessionsRegisterExtensionToolsOnSessionOptions

Modifier	Constructor	Description
	SessionsRegisterExtensionToolsOnSessionParams(String sessionId, Object loader, SessionsRegisterExtensionToolsOnSessionOptions options)	Creates an instance of a SessionsRegisterExtensionToolsOnSessionParams record class.