Record Class SessionMutations.AcceptBackchannelLogout

java.lang.Object
java.lang.Record
io.fluxzero.idp.bff.session.api.SessionMutations.AcceptBackchannelLogout
Enclosing class:
SessionMutations

public static record SessionMutations.AcceptBackchannelLogout(BackchannelLogoutId backchannelLogoutId, RelyingPartySessionId relyingPartySessionId, String evidenceDigest, Instant retainUntil) extends Record
Replay identity and exact RP fence share one commit; external verification already completed.
  • Constructor Details

    • AcceptBackchannelLogout

      public AcceptBackchannelLogout(BackchannelLogoutId backchannelLogoutId, RelyingPartySessionId relyingPartySessionId, String evidenceDigest, Instant retainUntil)
      Creates an instance of a AcceptBackchannelLogout record class.
      Parameters:
      backchannelLogoutId - the value for the backchannelLogoutId record component
      relyingPartySessionId - the value for the relyingPartySessionId record component
      evidenceDigest - the value for the evidenceDigest record component
      retainUntil - the value for the retainUntil 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.
    • backchannelLogoutId

      public BackchannelLogoutId backchannelLogoutId()
      Returns the value of the backchannelLogoutId record component.
      Returns:
      the value of the backchannelLogoutId record component
    • relyingPartySessionId

      public RelyingPartySessionId relyingPartySessionId()
      Returns the value of the relyingPartySessionId record component.
      Returns:
      the value of the relyingPartySessionId record component
    • evidenceDigest

      public String evidenceDigest()
      Returns the value of the evidenceDigest record component.
      Returns:
      the value of the evidenceDigest record component
    • retainUntil

      public Instant retainUntil()
      Returns the value of the retainUntil record component.
      Returns:
      the value of the retainUntil record component