|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectdarx.ObservationManager
public class ObservationManager
Constructor Summary | |
---|---|
ObservationManager()
Constructs a new ObservationManager. |
Method Summary | |
---|---|
void |
registerAgent(TaskShell shell,
double criticity)
Adds a new agent to the list of those observed locally. |
void |
setAgentCriticity(java.lang.String agent_name,
double criticity)
Updates the criticity fo a given agent. |
void |
unregisterAgent(java.lang.String agent_name)
Removes an agent from the list of those observed locally. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public ObservationManager()
Method Detail |
---|
public void registerAgent(TaskShell shell, double criticity)
task
- the generic task, leader of its replication group,
which is being evaluated wrt the rest of the appcriticity
- the criticity of the agentpublic void unregisterAgent(java.lang.String agent_name) throws InexistentNameException
agent_name
- the generic name of the task
InexistentNameException
public void setAgentCriticity(java.lang.String agent_name, double criticity) throws java.rmi.RemoteException, InexistentNameException
agent_name
- the generic name of the taskcriticity
- the newly computed criticity for this task
java.rmi.RemoteException
InexistentNameException
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |