|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Chunk interface for UPD messages. An UPD message contains the information sent from the new leader to the process chosen for becoming the new backup.
Field Summary | |
static String |
DEFAULT_NAME
The default name for chunks of this type. |
static ChunkType |
TYPE
The Chunk type of chunks that implements this interface. |
Method Summary | |
Process[] |
getProcesses()
Returns the process array that is exchanged between the leader and the backup. |
long |
getSequenceNumber()
Returns the sequence number that is exchanged between the leader and the backup. |
void |
setProcesses(Process[] processes)
Sets the process array that is exchanged between the leader and the backup. |
void |
setSequenceNumber(long sn)
Sets the sequence number that is exchanged between the leader and the backup. |
Field Detail |
public static final String DEFAULT_NAME
public static final ChunkType TYPE
Method Detail |
public Process[] getProcesses()
public void setProcesses(Process[] processes)
processes
- the process array to be set.public long getSequenceNumber()
public void setSequenceNumber(long sn)
sn
- the sequence number to be set.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |