Uses of Record Class
com.github.copilot.generated.rpc.SessionWorkspacesEnsureResult.SessionWorkspacesEnsureResultWorkspace

Packages that use SessionWorkspacesEnsureResult.SessionWorkspacesEnsureResultWorkspace

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

Uses of SessionWorkspacesEnsureResult.SessionWorkspacesEnsureResultWorkspace in com.github.copilot.generated.rpc

Methods in com.github.copilot.generated.rpc that return SessionWorkspacesEnsureResult.SessionWorkspacesEnsureResultWorkspace

Modifier and Type	Method	Description
SessionWorkspacesEnsureResult.SessionWorkspacesEnsureResultWorkspace	SessionWorkspacesEnsureResult.workspace()	Returns the value of the workspace record component.

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

Modifier	Constructor	Description
	SessionWorkspacesEnsureResult(SessionWorkspacesEnsureResult.SessionWorkspacesEnsureResultWorkspace workspace, String path)	Creates an instance of a SessionWorkspacesEnsureResult record class.