Package jadex.tools.debugger.bdiv3
Class BDIViewerPanel
- java.lang.Object
-
- java.awt.Component
-
- java.awt.Container
-
- javax.swing.JComponent
-
- javax.swing.JPanel
-
- jadex.tools.debugger.bdiv3.BDIViewerPanel
-
- All Implemented Interfaces:
java.awt.image.ImageObserver
,java.awt.MenuContainer
,java.io.Serializable
,javax.accessibility.Accessible
public class BDIViewerPanel extends javax.swing.JPanel
A panel showing the internals of a BDI agent.- See Also:
- Serialized Form
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class javax.swing.JPanel
javax.swing.JPanel.AccessibleJPanel
-
Nested classes/interfaces inherited from class javax.swing.JComponent
javax.swing.JComponent.AccessibleJComponent
-
-
Field Summary
Fields Modifier and Type Field Description protected IExternalAccess
access
The external access to the agent.protected java.util.List<jadex.bdiv3.runtime.impl.BeliefInfo>
allbeliefs
The beliefs of all beliefs.protected java.util.List<jadex.bdiv3.runtime.impl.GoalInfo>
allgoals
The goals.protected java.util.List<jadex.bdiv3.runtime.impl.PlanInfo>
allplans
The plans.protected java.util.List<jadex.bdiv3.runtime.impl.BeliefInfo>
beliefs
The beliefs.protected java.util.Set<java.lang.String>
capas
The known capabilities (full name).protected java.util.List<jadex.bdiv3.runtime.impl.GoalInfo>
goals
The goals of selected capabilities.protected static javax.swing.UIDefaults
icons
The image icons.protected java.util.List<jadex.bdiv3.runtime.impl.PlanInfo>
plans
The plans of selected capabilities.protected jadex.bdiv3.runtime.impl.BeliefInfo
selbel
The selected belief (if any).protected java.util.Set<java.lang.String>
shown
The shown capabilities (full name).protected ISubscriptionIntermediateFuture<IMonitoringEvent>
sub
The component listener.-
Fields inherited from class javax.swing.JComponent
listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW
-
-
Constructor Summary
Constructors Constructor Description BDIViewerPanel(IExternalAccess access)
Create a BDI viewer panel.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected boolean
checkCapa(java.lang.String name)
Check if the capability is shown.IFuture<java.lang.Void>
dispose()
Dispose the panel.protected java.util.List
getTableSelection(javax.swing.JTable table, java.util.List items)
Get the currently selected items.protected void
updateSelectedBelief(javax.swing.JTable belieftable, javax.swing.table.AbstractTableModel factmodel)
Update the belief selection.protected void
updateShown(javax.swing.JTable belieftable, javax.swing.table.AbstractTableModel factmodel, javax.swing.JTable goaltable, javax.swing.JTable plantable)
protected void
updateTable(javax.swing.JTable table, java.util.List items, java.util.List selection)
Update the model and set the selected based on selected items.-
Methods inherited from class javax.swing.JPanel
getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI
-
Methods inherited from class javax.swing.JComponent
addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBaseline, getBaselineResizeBehavior, getBorder, getBounds, getClientProperty, getComponentGraphics, getComponentPopupMenu, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getFontMetrics, getGraphics, getHeight, getInheritsPopupMenu, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPopupLocation, getPreferredSize, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, hide, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingOrigin, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintComponent, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setComponentPopupMenu, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setEnabled, setFocusTraversalKeys, setFont, setForeground, setInheritsPopupMenu, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setTransferHandler, setUI, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update
-
Methods inherited from class java.awt.Container
add, add, add, add, add, addContainerListener, addImpl, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, getMousePosition, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setLayout, 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, createImage, createImage, createVolatileImage, createVolatileImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setMixingCutoutShape, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle
-
-
-
-
Field Detail
-
icons
protected static final javax.swing.UIDefaults icons
The image icons.
-
access
protected IExternalAccess access
The external access to the agent.
-
allbeliefs
protected java.util.List<jadex.bdiv3.runtime.impl.BeliefInfo> allbeliefs
The beliefs of all beliefs.
-
beliefs
protected java.util.List<jadex.bdiv3.runtime.impl.BeliefInfo> beliefs
The beliefs.
-
selbel
protected jadex.bdiv3.runtime.impl.BeliefInfo selbel
The selected belief (if any).
-
allgoals
protected java.util.List<jadex.bdiv3.runtime.impl.GoalInfo> allgoals
The goals.
-
goals
protected java.util.List<jadex.bdiv3.runtime.impl.GoalInfo> goals
The goals of selected capabilities.
-
allplans
protected java.util.List<jadex.bdiv3.runtime.impl.PlanInfo> allplans
The plans.
-
plans
protected java.util.List<jadex.bdiv3.runtime.impl.PlanInfo> plans
The plans of selected capabilities.
-
sub
protected ISubscriptionIntermediateFuture<IMonitoringEvent> sub
The component listener.
-
capas
protected java.util.Set<java.lang.String> capas
The known capabilities (full name).
-
shown
protected java.util.Set<java.lang.String> shown
The shown capabilities (full name).
-
-
Constructor Detail
-
BDIViewerPanel
public BDIViewerPanel(IExternalAccess access)
Create a BDI viewer panel.
-
-
Method Detail
-
dispose
public IFuture<java.lang.Void> dispose()
Dispose the panel.
-
getTableSelection
protected java.util.List getTableSelection(javax.swing.JTable table, java.util.List items)
Get the currently selected items.
-
updateTable
protected void updateTable(javax.swing.JTable table, java.util.List items, java.util.List selection)
Update the model and set the selected based on selected items.
-
updateSelectedBelief
protected void updateSelectedBelief(javax.swing.JTable belieftable, javax.swing.table.AbstractTableModel factmodel)
Update the belief selection.
-
checkCapa
protected boolean checkCapa(java.lang.String name)
Check if the capability is shown.
-
updateShown
protected void updateShown(javax.swing.JTable belieftable, javax.swing.table.AbstractTableModel factmodel, javax.swing.JTable goaltable, javax.swing.JTable plantable)
- Parameters:
belieftable
-factmodel
-goaltable
-plantable
-
-
-