Record Class AutoconfigRunState.StatusSnapshot

java.lang.Object
java.lang.Record
es.urjc.etsii.grafo.autoconfig.service.AutoconfigRunState.StatusSnapshot
Enclosing class:
AutoconfigRunState

public static record AutoconfigRunState.StatusSnapshot(String runId, AutoconfigRunState.Role role, AutoconfigRunState.RunStatus state, Instant preparedAt, Instant startedAt, Instant finishedAt, Long elapsedMillis, AutoconfigRunState.BudgetSnapshot budget, AutoconfigRunState.EvaluationCounts evaluations, int generatedParameterCount, AutoconfigRunState.IraceProgress irace, AutoconfigRunState.FailureSnapshot failure) extends Record
  • Constructor Details

    • StatusSnapshot

      public StatusSnapshot(String runId, AutoconfigRunState.Role role, AutoconfigRunState.RunStatus state, Instant preparedAt, Instant startedAt, Instant finishedAt, Long elapsedMillis, AutoconfigRunState.BudgetSnapshot budget, AutoconfigRunState.EvaluationCounts evaluations, int generatedParameterCount, AutoconfigRunState.IraceProgress irace, AutoconfigRunState.FailureSnapshot failure)
      Creates an instance of a StatusSnapshot record class.
      Parameters:
      runId - the value for the runId record component
      role - the value for the role record component
      state - the value for the state record component
      preparedAt - the value for the preparedAt record component
      startedAt - the value for the startedAt record component
      finishedAt - the value for the finishedAt record component
      elapsedMillis - the value for the elapsedMillis record component
      budget - the value for the budget record component
      evaluations - the value for the evaluations record component
      generatedParameterCount - the value for the generatedParameterCount record component
      irace - the value for the irace record component
      failure - the value for the failure 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.
    • runId

      public String runId()
      Returns the value of the runId record component.
      Returns:
      the value of the runId record component
    • role

      public AutoconfigRunState.Role role()
      Returns the value of the role record component.
      Returns:
      the value of the role record component
    • state

      Returns the value of the state record component.
      Returns:
      the value of the state record component
    • preparedAt

      public Instant preparedAt()
      Returns the value of the preparedAt record component.
      Returns:
      the value of the preparedAt record component
    • startedAt

      public Instant startedAt()
      Returns the value of the startedAt record component.
      Returns:
      the value of the startedAt record component
    • finishedAt

      public Instant finishedAt()
      Returns the value of the finishedAt record component.
      Returns:
      the value of the finishedAt record component
    • elapsedMillis

      public Long elapsedMillis()
      Returns the value of the elapsedMillis record component.
      Returns:
      the value of the elapsedMillis record component
    • budget

      Returns the value of the budget record component.
      Returns:
      the value of the budget record component
    • evaluations

      Returns the value of the evaluations record component.
      Returns:
      the value of the evaluations record component
    • generatedParameterCount

      public int generatedParameterCount()
      Returns the value of the generatedParameterCount record component.
      Returns:
      the value of the generatedParameterCount record component
    • irace

      Returns the value of the irace record component.
      Returns:
      the value of the irace record component
    • failure

      Returns the value of the failure record component.
      Returns:
      the value of the failure record component