|
|||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--Process | +--DistSensor
Constructor Summary | |
DistSensor(VCLinker initComm,
SensorUser app)
|
Method Summary | |
void |
handleMsg(Msg m,
int src,
java.lang.String tag)
|
void |
handleToken()
|
void |
localPredicateTrue(VectorClock vc)
|
void |
run()
|
Methods inherited from class Process |
broadcastMsg, isNeighbor, myWait, receiveMsg, sendMsg, sendMsg, sendMsg, sendMsg, sendToNeighbors |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface MsgHandler |
receiveMsg |
Constructor Detail |
public DistSensor(VCLinker initComm, SensorUser app)
Method Detail |
public void run()
run
in interface java.lang.Runnable
public void handleToken()
public void handleMsg(Msg m, int src, java.lang.String tag)
handleMsg
in interface MsgHandler
handleMsg
in class Process
public void localPredicateTrue(VectorClock vc)
localPredicateTrue
in interface Sensor
|
|||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |