Package org.elasticsearch.cluster.coordination

Class LinearizabilityChecker.Event

java.lang.Object

org.elasticsearch.cluster.coordination.LinearizabilityChecker.Event

Enclosing class:

LinearizabilityChecker

public static class LinearizabilityChecker.Event
extends java.lang.Object

Field Summary

Fields

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
java.lang.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 java.lang.Object value

id

public final int id

Constructor Details

Event

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

Method Details

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object