Package de.uni_kiel.rz.fdr.repl

Record Class REPLJob.JobEvent

java.lang.Object
java.lang.Record
de.uni_kiel.rz.fdr.repl.REPLJob.JobEvent
Record Components:
job - The job that generated the event
timestamp - The event's timestamp
eventType - The type of event that happened
inputIndex - The index of the input that generated the event (if applicable)
Enclosing class:
REPLJob
public static record REPLJob.JobEvent(REPLJob job, Instant timestamp, REPLJob.JobEventType eventType, Integer inputIndex) extends Record
Represents an event that occured during job processing, to be consumed by an event handler.

  • Constructor Details

    • JobEvent

      public JobEvent(REPLJob job, Instant timestamp, REPLJob.JobEventType eventType, Integer inputIndex)
      Creates an instance of a JobEvent record class.
      Parameters:
      job - the value for the job record component
      timestamp - the value for the timestamp record component
      eventType - the value for the eventType record component
      inputIndex - the value for the inputIndex 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. All components in this record class are compared with Objects::equals(Object,Object).
      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.

    • job

      public REPLJob job()
      Returns the value of the job record component.
      Returns:
      the value of the job record component

    • timestamp

      public Instant timestamp()
      Returns the value of the timestamp record component.
      Returns:
      the value of the timestamp record component

    • eventType

      public REPLJob.JobEventType eventType()
      Returns the value of the eventType record component.
      Returns:
      the value of the eventType record component

    • inputIndex

      public Integer inputIndex()
      Returns the value of the inputIndex record component.
      Returns:
      the value of the inputIndex record component