Package com.github.copilot.sdk.events

Record Class SessionCompactionCompleteEvent.SessionCompactionCompleteData

java.lang.Object
java.lang.Record
com.github.copilot.sdk.events.SessionCompactionCompleteEvent.SessionCompactionCompleteData
Enclosing class:
SessionCompactionCompleteEvent
public static record SessionCompactionCompleteEvent.SessionCompactionCompleteData(boolean success, String error, Double preCompactionTokens, Double postCompactionTokens, Double preCompactionMessagesLength, Double messagesRemoved, Double tokensRemoved, String summaryContent, Double checkpointNumber, String checkpointPath, SessionCompactionCompleteEvent.CompactionTokensUsed compactionTokensUsed, String requestId) extends Record

  • Constructor Details

    • SessionCompactionCompleteData

      public SessionCompactionCompleteData(boolean success, String error, Double preCompactionTokens, Double postCompactionTokens, Double preCompactionMessagesLength, Double messagesRemoved, Double tokensRemoved, String summaryContent, Double checkpointNumber, String checkpointPath, SessionCompactionCompleteEvent.CompactionTokensUsed compactionTokensUsed, String requestId)
      Creates an instance of a SessionCompactionCompleteData record class.
      Parameters:
      success - the value for the success record component
      error - the value for the error record component
      preCompactionTokens - the value for the preCompactionTokens record component
      postCompactionTokens - the value for the postCompactionTokens record component
      preCompactionMessagesLength - the value for the preCompactionMessagesLength record component
      messagesRemoved - the value for the messagesRemoved record component
      tokensRemoved - the value for the tokensRemoved record component
      summaryContent - the value for the summaryContent record component
      checkpointNumber - the value for the checkpointNumber record component
      checkpointPath - the value for the checkpointPath record component
      compactionTokensUsed - the value for the compactionTokensUsed record component
      requestId - the value for the requestId 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. Reference components are compared with Objects::equals(Object,Object); primitive components are compared with '=='.
      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.

    • success

      public boolean success()
      Returns the value of the success record component.
      Returns:
      the value of the success record component

    • error

      public String error()
      Returns the value of the error record component.
      Returns:
      the value of the error record component

    • preCompactionTokens

      public Double preCompactionTokens()
      Returns the value of the preCompactionTokens record component.
      Returns:
      the value of the preCompactionTokens record component

    • postCompactionTokens

      public Double postCompactionTokens()
      Returns the value of the postCompactionTokens record component.
      Returns:
      the value of the postCompactionTokens record component

    • preCompactionMessagesLength

      public Double preCompactionMessagesLength()
      Returns the value of the preCompactionMessagesLength record component.
      Returns:
      the value of the preCompactionMessagesLength record component

    • messagesRemoved

      public Double messagesRemoved()
      Returns the value of the messagesRemoved record component.
      Returns:
      the value of the messagesRemoved record component

    • tokensRemoved

      public Double tokensRemoved()
      Returns the value of the tokensRemoved record component.
      Returns:
      the value of the tokensRemoved record component

    • summaryContent

      public String summaryContent()
      Returns the value of the summaryContent record component.
      Returns:
      the value of the summaryContent record component

    • checkpointNumber

      public Double checkpointNumber()
      Returns the value of the checkpointNumber record component.
      Returns:
      the value of the checkpointNumber record component

    • checkpointPath

      public String checkpointPath()
      Returns the value of the checkpointPath record component.
      Returns:
      the value of the checkpointPath record component

    • compactionTokensUsed

      public SessionCompactionCompleteEvent.CompactionTokensUsed compactionTokensUsed()
      Returns the value of the compactionTokensUsed record component.
      Returns:
      the value of the compactionTokensUsed record component

    • requestId

      public String requestId()
      Returns the value of the requestId record component.
      Returns:
      the value of the requestId record component