public class CollectData
extends java.lang.Object
implements java.io.Externalizable
Constructor and Description |
---|
CollectData()
Empty constructor
|
CollectData(int pid,
int eid,
TimestampValuePair quorumWeaks,
java.util.HashSet<TimestampValuePair> writeSet)
Constructor
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
int |
getEid()
Get execution id
|
int |
getPid()
Get process id
|
TimestampValuePair |
getQuorumWeaks()
Get value received from a Byzantine quorum of WEAKS
|
java.util.HashSet<TimestampValuePair> |
getWriteSet()
Get set of values written by the replica
|
int |
hashCode() |
void |
readExternal(java.io.ObjectInput in) |
void |
writeExternal(java.io.ObjectOutput out) |
public CollectData()
public CollectData(int pid, int eid, TimestampValuePair quorumWeaks, java.util.HashSet<TimestampValuePair> writeSet)
pid
- process ideid
- execution idquorumWeaks
- last value recevied from a Byzantine quorum of WEAKSwriteSet
- values written by the replicapublic int getEid()
public int getPid()
public TimestampValuePair getQuorumWeaks()
public java.util.HashSet<TimestampValuePair> getWriteSet()
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public void writeExternal(java.io.ObjectOutput out) throws java.io.IOException
writeExternal
in interface java.io.Externalizable
java.io.IOException
public void readExternal(java.io.ObjectInput in) throws java.io.IOException, java.lang.ClassNotFoundException
readExternal
in interface java.io.Externalizable
java.io.IOException
java.lang.ClassNotFoundException