Record Class UserDirectory.UserRef

java.lang.Object
java.lang.Record
com.iizix.server.push.engine.store.UserDirectory.UserRef
Record Components:
uid - The user ID.
userName - The user name as entered.
email - The e-mail, may be empty.
Enclosing class:
UserDirectory
public static record UserDirectory.UserRef(long uid, String userName, String email) extends Record
A resolved user.
Author:
Christopher Mindus

  • Constructor Details

    • UserRef

      public UserRef(long uid, String userName, String email)
      Creates an instance of a UserRef record class.
      Parameters:
      uid - the value for the uid record component
      userName - the value for the userName record component
      email - the value for the email 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.

    • uid

      public long uid()
      Returns the value of the uid record component.
      Returns:
      the value of the uid record component

    • userName

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

    • email

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