EASE.Agents.Specification
Class AllAgents

java.lang.Object
  |
  +--EASE.Agents.Specification.AllAgents
class AllAgents
extends java.lang.Object
implements java.io.Serializable

See Also:
Serialized Form

Field Summary
 javax.swing.JList agentList
           
 javax.swing.DefaultListModel agentListModel
           
 javax.swing.JButton editAgentB
           
private  java.util.Vector listeners
           
private  javax.swing.JScrollPane listScrollPane
           
private  javax.swing.JPanel main
           
 javax.swing.JButton newAgentB
           
(package private) static long serialVersionUID
           
 
Constructor Summary
AllAgents()
           
 
Method Summary
(package private)  void ()
           
 void addAgent(Agent a)
           
 void addListener(javax.swing.event.ChangeListener l)
           
 java.util.Enumeration getAgents()
           
 java.util.Vector getAgentVector()
           
 javax.swing.JPanel getAllAgentsPanel()
           
 Agent getSelectedAgent()
           
 boolean nameTaken(Agent a)
          Check if there is already an agent by this name
private  void notifyChange()
           
 void removeAgent(Agent a)
           
 void removeListener(javax.swing.event.ChangeListener l)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait
 

Field Detail

listeners

private java.util.Vector listeners

main

private javax.swing.JPanel main

agentListModel

public javax.swing.DefaultListModel agentListModel

listScrollPane

private javax.swing.JScrollPane listScrollPane

agentList

public javax.swing.JList agentList

newAgentB

public javax.swing.JButton newAgentB

editAgentB

public javax.swing.JButton editAgentB

serialVersionUID

static final long serialVersionUID
Constructor Detail

AllAgents

public AllAgents()
Method Detail

addAgent

public void addAgent(Agent a)

removeAgent

public void removeAgent(Agent a)

getSelectedAgent

public Agent getSelectedAgent()

getAgents

public java.util.Enumeration getAgents()

getAgentVector

public java.util.Vector getAgentVector()

nameTaken

public boolean nameTaken(Agent a)
Check if there is already an agent by this name

addListener

public void addListener(javax.swing.event.ChangeListener l)

removeListener

public void removeListener(javax.swing.event.ChangeListener l)

notifyChange

private void notifyChange()

getAllAgentsPanel

public javax.swing.JPanel getAllAgentsPanel()

void ()
Overrides:
in class java.lang.Object