Uses of Record Class
com.github.copilot.generated.ToolExecutionStartShellToolInfo

Packages that use ToolExecutionStartShellToolInfo

Package	Description
com.github.copilot.generated	Auto-generated session event types for the GitHub Copilot SDK.

Uses of ToolExecutionStartShellToolInfo in com.github.copilot.generated

Methods in com.github.copilot.generated that return ToolExecutionStartShellToolInfo

Modifier and Type	Method	Description
ToolExecutionStartShellToolInfo	ToolExecutionStartEvent.ToolExecutionStartEventData.shellToolInfo()	Returns the value of the shellToolInfo record component.

Constructors in com.github.copilot.generated with parameters of type ToolExecutionStartShellToolInfo

Modifier	Constructor	Description
	ToolExecutionStartEventData(String toolCallId, String toolName, Object arguments, ToolExecutionStartShellToolInfo shellToolInfo, String model, String mcpServerName, String mcpToolName, String turnId, Boolean displayVerbatim, ToolExecutionStartToolDescription toolDescription, String parentToolCallId)	Creates an instance of a ToolExecutionStartEventData record class.