final int
id
final LinearizabilityChecker.EventType
type
final Object
value
Event(LinearizabilityChecker.EventType type, Object value, int id)
String
toString()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
toString
Object