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

Packages that use DiscoveredExtensionPlugin

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

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

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

Modifier and Type	Method	Description
DiscoveredExtensionPlugin	DiscoveredExtension.plugin()	Returns the value of the plugin record component.

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

Modifier	Constructor	Description
	DiscoveredExtension(String id, String name, String path, DiscoveredExtensionSource source, Boolean enabled, DiscoveredExtensionPlugin plugin)	Creates an instance of a DiscoveredExtension record class.