Package jadex.tools.jcc

Class PlatformControlCenterPanel

  • All Implemented Interfaces:
    IPropertiesProvider, java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible
    public class PlatformControlCenterPanel
extends javax.swing.JPanel
implements IPropertiesProvider
    Panel for administering one chosen platform.
    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

      • Nested classes/interfaces inherited from class java.awt.Container

        java.awt.Container.AccessibleAWTContainer

      • Nested classes/interfaces inherited from class java.awt.Component

        java.awt.Component.AccessibleAWTComponent, java.awt.Component.BaselineResizeBehavior, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy

    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected static java.awt.Dimension BUTTON_DIM
      The dimension for tool bar buttons.
      protected java.awt.CardLayout clayout
      The layout.
      protected ConsolePanel console
      The console.
      protected boolean consoleenabled
      Remember local console enabled state, as it is not stored for remote platforms.
      protected java.util.Map consoleheights
      Map for console heights (plugin name -> height).
      protected javax.swing.JPanel content
      The content.
      protected PlatformControlCenter controlcenter
      The control center.
      protected IControlCenterPlugin currentperspective
      The current perspective.
      protected JSplitPanel sp
      A split pane for the main panel and the console.
      protected javax.swing.JToolBar toolbar
      The tool bar.

      • 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

      • Fields inherited from class java.awt.Component

        accessibleContext, BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

      • Fields inherited from interface java.awt.image.ImageObserver

        ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      protected void addPlugin​(IControlCenterPlugin pl, IControlCenterPlugin selplugin)  
      double getConsoleHeight()
      Get the console height.
      IControlCenterPlugin getCurrentPerspective()
      Get the currentperspective.
      java.lang.String getName()
      Name is used as tab title.
      IFuture<Properties> getProperties()
      Write current state into properties.
      boolean isConsoleShown()
      Test if console is shown.
      void setConsoleHeight​(double height)
      Set the console height.
      IFuture<java.lang.Void> setPerspective​(IControlCenterPlugin plugin)
      This method may only be called from the swing thread
      IFuture<java.lang.Void> setProperties​(Properties props)
      Update from given properties.
      void showConsole​(boolean show)
      Show the console.
      protected void updateToolBar​(IControlCenterPlugin selplugin)
      Create a toolbar containing the given tools (if any).

      • 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, 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

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

    • Field Detail

      • BUTTON_DIM

        protected static final java.awt.Dimension BUTTON_DIM
        The dimension for tool bar buttons.

      • clayout

        protected java.awt.CardLayout clayout
        The layout.

      • content

        protected javax.swing.JPanel content
        The content.

      • toolbar

        protected javax.swing.JToolBar toolbar
        The tool bar.

      • sp

        protected JSplitPanel sp
        A split pane for the main panel and the console.

      • consoleheights

        protected java.util.Map consoleheights
        Map for console heights (plugin name -> height).

      • consoleenabled

        protected boolean consoleenabled
        Remember local console enabled state, as it is not stored for remote platforms.

    • Constructor Detail

      • PlatformControlCenterPanel

        public PlatformControlCenterPanel​(PlatformControlCenter controlcenter)
        Create a new control center window.

    • Method Detail

      • updateToolBar

        protected void updateToolBar​(IControlCenterPlugin selplugin)
        Create a toolbar containing the given tools (if any).

      • setPerspective

        public IFuture<java.lang.Void> setPerspective​(IControlCenterPlugin plugin)
        This method may only be called from the swing thread

      • showConsole

        public void showConsole​(boolean show)
        Show the console. (Code simulates a one touch expandable click programmatically, see BasicSplitPaneDivider.OneTouchActionHandler)

      • isConsoleShown

        public boolean isConsoleShown()
        Test if console is shown.

      • setConsoleHeight

        public void setConsoleHeight​(double height)
        Set the console height.
        Parameters:
        height - The console height.

      • getConsoleHeight

        public double getConsoleHeight()
        Get the console height.
        Returns:
        The console height.

      • getName

        public java.lang.String getName()
        Name is used as tab title.
        Overrides:
        getName in class java.awt.Component

      • getCurrentPerspective

        public IControlCenterPlugin getCurrentPerspective()
        Get the currentperspective.
        Returns:
        The currentperspective.