Record Class MassCredentialStatusChange.Report

java.lang.Object
java.lang.Record
com.svenruppert.jsentinel.credential.emergency.MassCredentialStatusChange.Report
Enclosing class:
MassCredentialStatusChange

public static record MassCredentialStatusChange.Report(int changed, int alreadyAtTarget, int notFound, int stale) extends Record
Aggregate report of a mass status change. Counts only — the report deliberately does not list affected usernames so the incident-response output stream stays small and free of any subject-level identifiers.
  • Constructor Summary

    Constructors
    Constructor
    Description
    Report(int changed, int alreadyAtTarget, int notFound, int stale)
    Creates an instance of a Report record class.
  • Method Summary

    Modifier and Type
    Method
    Description
    int
    Returns the value of the alreadyAtTarget record component.
    int
    Returns the value of the changed record component.
    final boolean
    Indicates whether some other object is "equal to" this one.
    final int
    Returns a hash code value for this object.
    int
    Returns the value of the notFound record component.
    int
    Returns the value of the stale record component.
    final String
    Returns a string representation of this record class.
    int
     

    Methods inherited from class Object

    clone, finalize, getClass, notify, notifyAll, wait, wait, wait
  • Constructor Details

    • Report

      public Report(int changed, int alreadyAtTarget, int notFound, int stale)
      Creates an instance of a Report record class.
      Parameters:
      changed - the value for the changed record component
      alreadyAtTarget - the value for the alreadyAtTarget record component
      notFound - the value for the notFound record component
      stale - the value for the stale record component
  • Method Details

    • total

      public int total()
    • 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 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.
    • changed

      public int changed()
      Returns the value of the changed record component.
      Returns:
      the value of the changed record component
    • alreadyAtTarget

      public int alreadyAtTarget()
      Returns the value of the alreadyAtTarget record component.
      Returns:
      the value of the alreadyAtTarget record component
    • notFound

      public int notFound()
      Returns the value of the notFound record component.
      Returns:
      the value of the notFound record component
    • stale

      public int stale()
      Returns the value of the stale record component.
      Returns:
      the value of the stale record component