Record Class McpHeadersRefreshRequiredEvent.McpHeadersRefreshRequiredEventData
java.lang.Object
java.lang.Record
com.github.copilot.generated.McpHeadersRefreshRequiredEvent.McpHeadersRefreshRequiredEventData
- Enclosing class:
McpHeadersRefreshRequiredEvent
public static record McpHeadersRefreshRequiredEvent.McpHeadersRefreshRequiredEventData(String requestId, String serverName, String serverUrl, McpHeadersRefreshRequiredReason reason)
extends Record
Data payload for
McpHeadersRefreshRequiredEvent.- Since:
- 1.0.0
-
Constructor Summary
ConstructorsConstructorDescriptionMcpHeadersRefreshRequiredEventData(String requestId, String serverName, String serverUrl, McpHeadersRefreshRequiredReason reason) Creates an instance of aMcpHeadersRefreshRequiredEventDatarecord class. -
Method Summary
Modifier and TypeMethodDescriptionfinal booleanIndicates whether some other object is "equal to" this one.final inthashCode()Returns a hash code value for this object.reason()Returns the value of thereasonrecord component.Returns the value of therequestIdrecord component.Returns the value of theserverNamerecord component.Returns the value of theserverUrlrecord component.final StringtoString()Returns a string representation of this record class.
-
Constructor Details
-
McpHeadersRefreshRequiredEventData
public McpHeadersRefreshRequiredEventData(String requestId, String serverName, String serverUrl, McpHeadersRefreshRequiredReason reason) Creates an instance of aMcpHeadersRefreshRequiredEventDatarecord class.- Parameters:
requestId- the value for therequestIdrecord componentserverName- the value for theserverNamerecord componentserverUrl- the value for theserverUrlrecord componentreason- the value for thereasonrecord component
-
-
Method Details
-
toString
-
hashCode
-
equals
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 withObjects::equals(Object,Object). -
requestId
Returns the value of therequestIdrecord component.- Returns:
- the value of the
requestIdrecord component
-
serverName
Returns the value of theserverNamerecord component.- Returns:
- the value of the
serverNamerecord component
-
serverUrl
Returns the value of theserverUrlrecord component.- Returns:
- the value of the
serverUrlrecord component
-
reason
Returns the value of thereasonrecord component.- Returns:
- the value of the
reasonrecord component
-