Record Class ConsensusSimulationReport

java.lang.Object
java.lang.Record
org.j7m.middleware.api.consensus.ConsensusSimulationReport
Record Components:
seed - deterministic seed
messagesSent - sent messages
messagesDropped - dropped messages
messagesDuplicated - duplicated messages
messagesReordered - reordered messages
crashes - crashes
restarts - restarts
trace - safe simulation trace
safetyReport - safety invariant report
All Implemented Interfaces:
Serializable
public record ConsensusSimulationReport(long seed, long messagesSent, long messagesDropped, long messagesDuplicated, long messagesReordered, long crashes, long restarts, List<String> trace, ConsensusSafetyReport safetyReport) extends Record implements Serializable
Deterministic simulation evidence.
See Also:

  • Constructor Details

    • ConsensusSimulationReport

      public ConsensusSimulationReport(long seed, long messagesSent, long messagesDropped, long messagesDuplicated, long messagesReordered, long crashes, long restarts, List<String> trace, ConsensusSafetyReport safetyReport)
      Creates a simulation report.

  • 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.

    • seed

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

    • messagesSent

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

    • messagesDropped

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

    • messagesDuplicated

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

    • messagesReordered

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

    • crashes

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

    • restarts

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

    • trace

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

    • safetyReport

      public ConsensusSafetyReport safetyReport()
      Returns the value of the safetyReport record component.
      Returns:
      the value of the safetyReport record component