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

Packages that use ExtensionLaunchProfile

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

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

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

Modifier and Type	Method	Description
ExtensionLaunchProfile	ExtensionLaunchProviderResolveResult.launch()	Returns the value of the launch record component.

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

Modifier	Constructor	Description
	ExtensionLaunchProviderResolveResult(ExtensionLaunchProfile launch)	Creates an instance of a ExtensionLaunchProviderResolveResult record class.