Package dev.tachyonmcp.core.server.session

Record Class SessionEvent.ResponseEvent

java.lang.Object
java.lang.Record
dev.tachyonmcp.core.server.session.SessionEvent.ResponseEvent
Record Components:
sessionId - the session this event belongs to
requestId - the request identifier
resultJson - the JSON-encoded result payload
timestamp - the event timestamp (epoch millis)
sseEventId - the SSE event id for replay
streamKey - the SSE stream key, or null for the general-purpose stream
All Implemented Interfaces:
SessionEvent
Enclosing interface:
SessionEvent
public static record SessionEvent.ResponseEvent(String sessionId, RequestId requestId, String resultJson, long timestamp, long sseEventId, @Nullable String streamKey) extends Record implements SessionEvent
A response sent to the client.

  • Constructor Details

    • ResponseEvent

      public ResponseEvent(String sessionId, RequestId requestId, String resultJson, long timestamp, long sseEventId, @Nullable String streamKey)
      Creates an instance of a ResponseEvent record class.
      Parameters:
      sessionId - the value for the sessionId record component
      requestId - the value for the requestId record component
      resultJson - the value for the resultJson record component
      timestamp - the value for the timestamp record component
      sseEventId - the value for the sseEventId record component
      streamKey - the value for the streamKey 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.

    • sessionId

      public String sessionId()
      Returns the value of the sessionId record component.
      Specified by:
      sessionId in interface SessionEvent
      Returns:
      the value of the sessionId record component

    • requestId

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

    • resultJson

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

    • timestamp

      public long timestamp()
      Returns the value of the timestamp record component.
      Specified by:
      timestamp in interface SessionEvent
      Returns:
      the value of the timestamp record component

    • sseEventId

      public long sseEventId()
      Returns the value of the sseEventId record component.
      Specified by:
      sseEventId in interface SessionEvent
      Returns:
      the value of the sseEventId record component

    • streamKey

      public @Nullable String streamKey()
      Returns the value of the streamKey record component.
      Specified by:
      streamKey in interface SessionEvent
      Returns:
      the value of the streamKey record component