|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.objectweb.proactive.core.body.ft.message.HistoryUpdater
This structure defines a part of a reception history. It is used to update a ReceptionHistory object.
Field Summary | |
long |
base
Reception index of the first element |
int |
checkpointIndex
Index of the associated checkpoint |
java.util.List |
elements
Reception events, i.e. id of the senders |
int |
incarnation
Incarnation number of the sender |
long |
last
Reception index of the last element |
UniqueID |
owner
ID of the owner |
Constructor Summary | |
HistoryUpdater(java.util.List elements,
long base,
long last,
UniqueID owner,
int checkpointIndex,
int incarnation)
Create an history updater. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
public java.util.List elements
public long base
public long last
public UniqueID owner
public int checkpointIndex
public int incarnation
Constructor Detail |
public HistoryUpdater(java.util.List elements, long base, long last, UniqueID owner, int checkpointIndex, int incarnation)
elements
- Reception events, i.e. id of the sendersbase
- Reception index of the first elementlast
- Reception index of the last elementowner
- ID of the ownercheckpointIndex
- Index of the associated checkpointincarnation
- Incarnation number of the sender
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |