|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectjava.awt.Component
java.awt.Container
java.awt.Window
java.awt.Frame
javax.swing.JFrame
zeus.visualiser.basic.BasicTool
zeus.visualiser.control.ControlTool
| Nested Class Summary |
| Nested classes inherited from class javax.swing.JFrame |
javax.swing.JFrame.AccessibleJFrame |
| Nested classes inherited from class java.awt.Frame |
java.awt.Frame.AccessibleAWTFrame |
| Nested classes inherited from class java.awt.Window |
java.awt.Window.AccessibleAWTWindow |
| Nested classes inherited from class java.awt.Container |
java.awt.Container.AccessibleAWTContainer |
| Nested classes inherited from class java.awt.Component |
java.awt.Component.AccessibleAWTComponent, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy |
| Field Summary | |
protected AgentContext |
context
|
private static int |
count
|
protected java.io.File |
file
|
protected SummaryTable |
goalTable
|
protected ControlMenuBar |
menubar
|
protected java.lang.String |
myName
|
protected SingleSelectionDialog |
sa_goal
|
protected ControlToolBar |
toolbar
|
| Fields inherited from class zeus.visualiser.basic.BasicTool |
filter, model |
| Fields inherited from class javax.swing.JFrame |
accessibleContext, EXIT_ON_CLOSE, rootPane, rootPaneCheckingEnabled |
| Fields inherited from class java.awt.Frame |
CROSSHAIR_CURSOR, DEFAULT_CURSOR, E_RESIZE_CURSOR, HAND_CURSOR, ICONIFIED, MAXIMIZED_BOTH, MAXIMIZED_HORIZ, MAXIMIZED_VERT, MOVE_CURSOR, N_RESIZE_CURSOR, NE_RESIZE_CURSOR, NORMAL, NW_RESIZE_CURSOR, S_RESIZE_CURSOR, SE_RESIZE_CURSOR, SW_RESIZE_CURSOR, TEXT_CURSOR, W_RESIZE_CURSOR, WAIT_CURSOR |
| Fields inherited from class java.awt.Window |
|
| Fields inherited from class java.awt.Container |
|
| Fields inherited from class java.awt.Component |
BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT |
| Fields inherited from interface javax.swing.WindowConstants |
DISPOSE_ON_CLOSE, DO_NOTHING_ON_CLOSE, HIDE_ON_CLOSE |
| Fields inherited from interface java.awt.image.ImageObserver |
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH |
| Constructor Summary | |
ControlTool(AgentContext context,
VisualiserModel model)
|
|
| Method Summary | |
void |
actionPerformed(java.awt.event.ActionEvent evt)
|
void |
add(Goal g)
|
void |
add(Goal g,
java.lang.String ref)
|
void |
AddFact()
|
void |
AddGoal()
|
void |
addNotify()
|
void |
AddRelation()
|
void |
AddStrategy()
|
void |
AddTask()
|
void |
BrowseAgents()
|
void |
BrowseFacts()
|
void |
BrowseGoals()
|
void |
BrowseRelations()
|
void |
BrowseStrategies()
|
void |
BrowseTasks()
|
void |
CancelGoals(java.lang.String agent,
java.lang.String[] ids)
|
void |
executeCommand(java.lang.String cmd,
java.lang.String[] agents)
|
protected java.io.File |
getFile(int type)
|
protected boolean |
incomingMessage(Performative msg)
|
private void |
KillAgents()
|
void |
LoadOntology()
|
static void |
main(java.lang.String[] arg)
a main method so the control tool can work by itself |
protected void |
registerAgent(java.lang.String name,
java.lang.String type)
|
protected void |
removeRequestKeys()
|
void |
RequestGoals(java.lang.String agent)
|
void |
ResumeGoals(java.lang.String agent,
java.lang.String[] ids)
|
void |
SendCommand()
|
void |
showHelp()
|
void |
StreamFacts(boolean mode)
|
void |
StreamGoals(boolean mode)
|
void |
StreamRelations(boolean mode)
|
void |
StreamStrategies(boolean mode)
|
void |
StreamTasks(boolean mode)
|
void |
SuspendGoals(java.lang.String agent,
java.lang.String[] ids)
|
void |
TuneAgent()
|
| Methods inherited from class zeus.visualiser.basic.BasicTool |
About, Connect, Exit, Filter, filterMsg, getAgentContext, getModel, hubOK, log_address, query, query, quickConnect, removeSubscriptions, request, request, subscribe, subscribe |
| Methods inherited from class javax.swing.JFrame |
addImpl, createRootPane, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getJMenuBar, getLayeredPane, getRootPane, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processWindowEvent, remove, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, update |
| Methods inherited from class java.awt.Frame |
finalize, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, remove, removeNotify, setCursor, setExtendedState, setIconImage, setMaximizedBounds, setMenuBar, setResizable, setState, setTitle, setUndecorated |
| Methods inherited from class java.awt.Window |
addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getGraphicsConfiguration, getInputContext, getListeners, getLocale, getMostRecentFocusOwner, getOwnedWindows, getOwner, getToolkit, getWarningString, getWindowFocusListeners, getWindowListeners, getWindowStateListeners, hide, isActive, isFocusableWindow, isFocusCycleRoot, isFocused, isShowing, pack, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, setCursor, setFocusableWindowState, setFocusCycleRoot, setLocationRelativeTo, show, toBack, toFront |
| Methods inherited from class java.awt.Container |
add, add, add, add, add, addContainerListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getContainerListeners, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, getMinimumSize, getPreferredSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paint, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, setFocusTraversalKeys, setFocusTraversalPolicy, setFont, transferFocusBackward, transferFocusDownCycle, validate, validateTree |
| Methods inherited from class java.awt.Component |
action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, contains, createImage, createImage, createVolatileImage, createVolatileImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphics, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getSize, getTreeLock, getWidth, getX, getY, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isDoubleBuffered, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isOpaque, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, prepareImage, prepareImage, printAll, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processKeyEvent, processMouseEvent, processMouseMotionEvent, processMouseWheelEvent, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, reshape, resize, resize, setBackground, setBounds, setBounds, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, setVisible, show, size, toString, transferFocus, transferFocusUpCycle |
| Methods inherited from class java.lang.Object |
clone, equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Methods inherited from interface java.awt.MenuContainer |
getFont, postEvent |
| Field Detail |
private static int count
protected ControlMenuBar menubar
protected SingleSelectionDialog sa_goal
protected ControlToolBar toolbar
protected java.io.File file
protected SummaryTable goalTable
protected java.lang.String myName
protected AgentContext context
| Constructor Detail |
public ControlTool(AgentContext context,
VisualiserModel model)
| Method Detail |
public void addNotify()
public void actionPerformed(java.awt.event.ActionEvent evt)
actionPerformed in interface java.awt.event.ActionListenerpublic void SendCommand()
public void executeCommand(java.lang.String cmd,
java.lang.String[] agents)
public void LoadOntology()
protected java.io.File getFile(int type)
public void AddGoal()
public void BrowseGoals()
public void StreamGoals(boolean mode)
public void RequestGoals(java.lang.String agent)
public void SuspendGoals(java.lang.String agent,
java.lang.String[] ids)
public void ResumeGoals(java.lang.String agent,
java.lang.String[] ids)
public void CancelGoals(java.lang.String agent,
java.lang.String[] ids)
public void add(Goal g)
public void add(Goal g,
java.lang.String ref)
private void KillAgents()
public void BrowseAgents()
public void TuneAgent()
public void BrowseFacts()
public void AddFact()
public void StreamFacts(boolean mode)
public void BrowseTasks()
public void AddTask()
public void StreamTasks(boolean mode)
public void BrowseRelations()
public void AddRelation()
public void StreamRelations(boolean mode)
public void BrowseStrategies()
public void AddStrategy()
public void StreamStrategies(boolean mode)
protected void removeRequestKeys()
protected void registerAgent(java.lang.String name,
java.lang.String type)
registerAgent in class BasicToolprotected boolean incomingMessage(Performative msg)
public void showHelp()
public static void main(java.lang.String[] arg)
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||