|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ARMEvent
Event types implementing the ARMEvent
interface may be
passed to the replication manager to notify it of certain events.
The event itself must provide the handle()
method,
enabling the replication manager to invoke the event handler. That
is, events provide self-handling.
Note that events must also implement the Externalizable
interface.
EDPresentEvent
,
ViewChangeEvent
,
ReplicaPingEvent
Method Summary | |
---|---|
int |
getGroupId()
Returns the groupd identifier associated with this event. |
java.lang.Object |
getObject()
Retreive an object associated with this event. |
void |
handle(DistributionScheme distScheme)
This method must implement the actual handling of the event, as recevied by the replication manager. |
Methods inherited from interface java.io.Externalizable |
---|
readExternal, writeExternal |
Method Detail |
---|
void handle(DistributionScheme distScheme) throws java.lang.Exception
distScheme
- access point to the replication manager for external events
java.lang.Exception
int getGroupId()
java.lang.Object getObject()
null
if the event internals need not or should
not be exposed externally.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |