Package com.github.copilot.sdk.generated

Record Class ToolExecutionCompleteEvent.ToolExecutionCompleteEventData

java.lang.Object

java.lang.Record

com.github.copilot.sdk.generated.ToolExecutionCompleteEvent.ToolExecutionCompleteEventData

Enclosing class:

ToolExecutionCompleteEvent

public static record ToolExecutionCompleteEvent.ToolExecutionCompleteEventData(String toolCallId, Boolean success, String model, String interactionId, Boolean isUserRequested, ToolExecutionCompleteEvent.ToolExecutionCompleteEventData.ToolExecutionCompleteEventDataResult result, ToolExecutionCompleteEvent.ToolExecutionCompleteEventData.ToolExecutionCompleteEventDataError error, Map<String,Object> toolTelemetry, String parentToolCallId)
extends Record

Data payload for ToolExecutionCompleteEvent.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final record	ToolExecutionCompleteEvent.ToolExecutionCompleteEventData.ToolExecutionCompleteEventDataError	Error details when the tool execution failed
static final record	ToolExecutionCompleteEvent.ToolExecutionCompleteEventData.ToolExecutionCompleteEventDataResult	Tool execution result on success

Constructor Summary

Constructors

Constructor	Description
ToolExecutionCompleteEventData(String toolCallId, Boolean success, String model, String interactionId, Boolean isUserRequested, ToolExecutionCompleteEvent.ToolExecutionCompleteEventData.ToolExecutionCompleteEventDataResult result, ToolExecutionCompleteEvent.ToolExecutionCompleteEventData.ToolExecutionCompleteEventDataError error, Map<String,Object> toolTelemetry, String parentToolCallId)	Creates an instance of a ToolExecutionCompleteEventData record class.

Method Summary

Modifier and Type	Method	Description
final boolean	equals(Object o)	Indicates whether some other object is "equal to" this one.
ToolExecutionCompleteEvent.ToolExecutionCompleteEventData.ToolExecutionCompleteEventDataError	error()	Returns the value of the error record component.
final int	hashCode()	Returns a hash code value for this object.
String	interactionId()	Returns the value of the interactionId record component.
Boolean	isUserRequested()	Returns the value of the isUserRequested record component.
String	model()	Returns the value of the model record component.
String	parentToolCallId()	Returns the value of the parentToolCallId record component.
ToolExecutionCompleteEvent.ToolExecutionCompleteEventData.ToolExecutionCompleteEventDataResult	result()	Returns the value of the result record component.
Boolean	success()	Returns the value of the success record component.
String	toolCallId()	Returns the value of the toolCallId record component.
Map<String,Object>	toolTelemetry()	Returns the value of the toolTelemetry record component.
final String	toString()	Returns a string representation of this record class.

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Details

ToolExecutionCompleteEventData

public ToolExecutionCompleteEventData(String toolCallId,
 Boolean success,
 String model,
 String interactionId,
 Boolean isUserRequested,
 ToolExecutionCompleteEvent.ToolExecutionCompleteEventData.ToolExecutionCompleteEventDataResult result,
 ToolExecutionCompleteEvent.ToolExecutionCompleteEventData.ToolExecutionCompleteEventDataError error,
 Map<String,Object> toolTelemetry,
 String parentToolCallId)

Creates an instance of a ToolExecutionCompleteEventData record class.

Parameters:

toolCallId - the value for the toolCallId record component

success - the value for the success record component

model - the value for the model record component

interactionId - the value for the interactionId record component

isUserRequested - the value for the isUserRequested record component

result - the value for the result record component

error - the value for the error record component

toolTelemetry - the value for the toolTelemetry record component

parentToolCallId - the value for the parentToolCallId record component

Method Details

toString

public final String toString()

Returns a string representation of this record class. The representation contains the name of the class, followed by the name and value of each of the record components.

Specified by:

toString in class Record

Returns:

a string representation of this object

hashCode

public final int hashCode()

Returns a hash code value for this object. The value is derived from the hash code of each of the record components.

Specified by:

hashCode in class Record

Returns:

a hash code value for this object

equals

public final boolean equals(Object o)

Indicates whether some other object is "equal to" this one. The objects are equal if the other object is of the same class and if all the record components are equal. All components in this record class are compared with Objects::equals(Object,Object).

Specified by:

equals in class Record

Parameters:

o - the object with which to compare

Returns:

true if this object is the same as the o argument; false otherwise.

toolCallId

public String toolCallId()

Returns the value of the toolCallId record component.

Returns:

the value of the toolCallId record component

success

public Boolean success()

Returns the value of the success record component.

Returns:

the value of the success record component

model

public String model()

Returns the value of the model record component.

Returns:

the value of the model record component

interactionId

public String interactionId()

Returns the value of the interactionId record component.

Returns:

the value of the interactionId record component

isUserRequested

public Boolean isUserRequested()

Returns the value of the isUserRequested record component.

Returns:

the value of the isUserRequested record component

result

public ToolExecutionCompleteEvent.ToolExecutionCompleteEventData.ToolExecutionCompleteEventDataResult result()

Returns the value of the result record component.

Returns:

the value of the result record component

error

public ToolExecutionCompleteEvent.ToolExecutionCompleteEventData.ToolExecutionCompleteEventDataError error()

Returns the value of the error record component.

Returns:

the value of the error record component

toolTelemetry

public Map<String,Object> toolTelemetry()

Returns the value of the toolTelemetry record component.

Returns:

the value of the toolTelemetry record component

parentToolCallId

public String parentToolCallId()

Returns the value of the parentToolCallId record component.

Returns:

the value of the parentToolCallId record component