Class LinearizabilityChecker.Event

java.lang.Object

org.opensearch.cluster.coordination.LinearizabilityChecker.Event

Enclosing class:

LinearizabilityChecker

public static class LinearizabilityChecker.Event
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
final int	id
final LinearizabilityChecker.EventType	type
final Object	value

Constructor Summary

Constructors

Constructor	Description
Event(LinearizabilityChecker.EventType type, Object value, int id)

Method Summary

Modifier and Type	Method	Description
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

type

public final LinearizabilityChecker.EventType type

value

public final Object value

id

public final int id

Constructor Details

Event

public Event(LinearizabilityChecker.EventType type,
 Object value,
 int id)

Method Details

toString

public String toString()

Overrides:

toString in class Object