Record Class EvidenceSummary.Check

java.lang.Object
java.lang.Record
ch.so.agi.mcp.model.EvidenceSummary.Check
Enclosing class:
EvidenceSummary

public static record EvidenceSummary.Check(EvidenceSummary.Status status, String scope, String basis, int checkedCount, int errorCount, int warningCount, List<String> reasonCodes) extends Record
  • Constructor Details

    • Check

      public Check(EvidenceSummary.Status status, String scope, String basis, int checkedCount, int errorCount, int warningCount, List<String> reasonCodes)
      Creates an instance of a Check record class.
      Parameters:
      status - the value for the status record component
      scope - the value for the scope record component
      basis - the value for the basis record component
      checkedCount - the value for the checkedCount record component
      errorCount - the value for the errorCount record component
      warningCount - the value for the warningCount record component
      reasonCodes - the value for the reasonCodes 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.
    • status

      public EvidenceSummary.Status status()
      Returns the value of the status record component.
      Returns:
      the value of the status record component
    • scope

      public String scope()
      Returns the value of the scope record component.
      Returns:
      the value of the scope record component
    • basis

      public String basis()
      Returns the value of the basis record component.
      Returns:
      the value of the basis record component
    • checkedCount

      public int checkedCount()
      Returns the value of the checkedCount record component.
      Returns:
      the value of the checkedCount record component
    • errorCount

      public int errorCount()
      Returns the value of the errorCount record component.
      Returns:
      the value of the errorCount record component
    • warningCount

      public int warningCount()
      Returns the value of the warningCount record component.
      Returns:
      the value of the warningCount record component
    • reasonCodes

      public List<String> reasonCodes()
      Returns the value of the reasonCodes record component.
      Returns:
      the value of the reasonCodes record component