public class DebugInfo
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
int |
eid |
int |
leader |
TOMMessage |
msg |
int |
round |
Constructor and Description |
---|
DebugInfo(int eid,
int round,
int leader,
TOMMessage msg) |
public final int eid
public final int round
public final int leader
public final TOMMessage msg
public DebugInfo(int eid, int round, int leader, TOMMessage msg)