org.vanilladb.comm.protocols.zabelection

Class LeaderChanged

java.lang.Object

net.sf.appia.core.Event

org.vanilladb.comm.protocols.zabelection.LeaderChanged

public class LeaderChanged
extends net.sf.appia.core.Event

Field Summary

Fields inherited from class net.sf.appia.core.Event

DEFAULT_PRIORITY, MAX_PRIORITY, MIN_PRIORITY

Constructor Summary

Constructors

Constructor and Description
LeaderChanged(net.sf.appia.core.Channel channel, net.sf.appia.core.Session src, int newLeaderId, int newEpochId)

Method Summary

Modifier and Type	Method and Description
int	getNewEpochId()
int	getNewLeaderId()

Methods inherited from class net.sf.appia.core.Event

asyncGo, cloneEvent, currentSession, debug, getChannel, getDir, getPriority, getSchedulerData, getSource, getSourceSession, go, init, isAccepted, popSession, setChannel, setDir, setPriority, setSchedulerData, setSource, setSourceSession

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

LeaderChanged

public LeaderChanged(net.sf.appia.core.Channel channel,
                     net.sf.appia.core.Session src,
                     int newLeaderId,
                     int newEpochId)
              throws net.sf.appia.core.AppiaEventException

Throws:

net.sf.appia.core.AppiaEventException

Method Detail

getNewLeaderId

public int getNewLeaderId()

getNewEpochId

public int getNewEpochId()