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

Packages that use CompletionReceiptFinalTool

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

Uses of CompletionReceiptFinalTool in com.github.copilot.generated

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

Modifier and Type	Method	Description
CompletionReceiptFinalTool	SessionCompletionReceiptEvent.SessionCompletionReceiptEventData.finalTool()	Returns the value of the finalTool record component.

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

Modifier	Constructor	Description
	SessionCompletionReceiptEventData(Long schemaVersion, Long attempt, String sourceEventId, CompletionReceiptEventRange eventRange, CompletionReceiptStopReason stopReason, CompletionReceiptFinalTool finalTool, Long successfulToolCount, Long failedToolCount)	Creates an instance of a SessionCompletionReceiptEventData record class.