Record Class ApplicationSession

java.lang.Object
java.lang.Record
io.fluxzero.idp.bff.session.api.model.ApplicationSession

@Model(searchable=false, name="BffApplicationSession", persistence=DOCUMENT, eventPublication=NEVER, cached=false, conflictPolicy=FAIL, automaticHandling=DISABLED) public record ApplicationSession(ApplicationSessionId applicationSessionId, RelyingPartySessionId relyingPartySessionId, Instant expiresAt, long version, String refreshClaim, Instant refreshDeadline, SessionProtection.SealedValue protectedValue) extends Record
  • Constructor Details

    • ApplicationSession

      public ApplicationSession(ApplicationSessionId applicationSessionId, RelyingPartySessionId relyingPartySessionId, Instant expiresAt, long version, String refreshClaim, Instant refreshDeadline, SessionProtection.SealedValue protectedValue)
      Creates an instance of a ApplicationSession record class.
      Parameters:
      applicationSessionId - the value for the applicationSessionId record component
      relyingPartySessionId - the value for the relyingPartySessionId record component
      expiresAt - the value for the expiresAt record component
      version - the value for the version record component
      refreshClaim - the value for the refreshClaim record component
      refreshDeadline - the value for the refreshDeadline record component
      protectedValue - the value for the protectedValue 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 the compare method from their corresponding wrapper classes.
      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.
    • applicationSessionId

      @EntityId public ApplicationSessionId applicationSessionId()
      Returns the value of the applicationSessionId record component.
      Returns:
      the value of the applicationSessionId record component
    • relyingPartySessionId

      @Parent public RelyingPartySessionId relyingPartySessionId()
      Returns the value of the relyingPartySessionId record component.
      Returns:
      the value of the relyingPartySessionId record component
    • expiresAt

      public Instant expiresAt()
      Returns the value of the expiresAt record component.
      Returns:
      the value of the expiresAt record component
    • version

      public long version()
      Returns the value of the version record component.
      Returns:
      the value of the version record component
    • refreshClaim

      public String refreshClaim()
      Returns the value of the refreshClaim record component.
      Returns:
      the value of the refreshClaim record component
    • refreshDeadline

      public Instant refreshDeadline()
      Returns the value of the refreshDeadline record component.
      Returns:
      the value of the refreshDeadline record component
    • protectedValue

      public SessionProtection.SealedValue protectedValue()
      Returns the value of the protectedValue record component.
      Returns:
      the value of the protectedValue record component