All Packages Class Hierarchy This Package Previous Next Index
The methods added allow any Terminal to manage the association with an ACDAddress in order to accept calls coming to the ACDAddress.
To observe state changes for the agent, an application must use the methods Terminal.addObserver and Terminal.deleteObserver.
public abstract void setAgents(Agent agents[]) throws PlatformException
If the state was set to LOG_IN, the Agent is added to this AgentTerminal and the post and pre conditions are as follows:
The pre-condition predicates for this method are:
1. (agentTerm.getProvider()).getState() == IN_SERVICE
2. agent.setState (appropriate state)
3. agent.agentAddress (an Address associated with the AgentTerminal)
4. agent.set (any attribute that is needed by the implementation
to associate the Agent with the AgentTerminal in the specified
state).
The post-condition predicates for this method are:
1. (agentTerm.getProvider()).getState() == IN_SERVICE
2. agent.getState() == (state specified from the setState)
If the Agent has already been added, this method can be used to change the Agent's state and the post and pre conditions are as follows:
The pre-condition predicates for this method are:
1. (agentTerm.getProvider()).getState() == IN_SERVICE
2. (agentTerm.getAgents() union agent) == agent
3. agent.setState (appropriate state)
The post-condition predicates for this method are:
1. (agentTerm.getProvider()).getState() == IN_SERVICE
2. agent.getState() == (state specified from the setState)
If the state was set to LOG_OUT, the Agent is removed from this AgentTerminal and the post and pre conditions are as follows:
The pre-condition predicates for this method are:
1. (agentTerm.getProvider()).getState() == IN_SERVICE
2. (agentTerm.getAgents() union agent) == agent
The post-condition predicates for this method are:
1. (agentTerm.getProvider()).getState() == IN_SERVICE
2. (agentTerm.getAgents() union agent) == nil
public abstract Agent[] getAgents() throws PlatformException
If an Agent has been removed from an AgentTerminal, no Agent object will be returned to represent that.
All Packages Class Hierarchy This Package Previous Next Index