Class AbstractSelectionPanel<C extends javax.swing.JComponent>

    • 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 C component  
      protected com.fluxicon.slickerbox.factory.SlickerDecorator decorator  
      protected com.fluxicon.slickerbox.factory.SlickerFactory factory  
      protected ProMJGraph graph  
      protected org.processmining.models.graphbased.ViewSpecificAttributeMap originalSpecificMap  
      protected javax.swing.JScrollPane scroll  
      protected java.lang.String title  
      protected org.processmining.models.graphbased.ViewSpecificAttributeMap viewSpecificMap  
      • 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
    • Constructor Summary

      Constructors 
      Constructor Description
      AbstractSelectionPanel​(java.lang.String title, C component)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      javax.swing.JComponent getComponent()
      Returns the component that is shown if this panel is activated by the user.
      double getHeightInView()
      Returns the preferred height of this component when shown to the user.
      double getWidthInView()
      Returns the preferred width of this component when shown to the user.
      protected <T extends org.processmining.models.graphbased.directed.DirectedGraphElement>
      void
      selectElements​(java.util.Map<T,​java.lang.String> labelledSelection)  
      void setScalableComponent​(ScalableComponent scalable)
      This method is called by the ProM scalable view as soon as the panel is added to this view.
      protected void unselectAll​(boolean signal)  
      void willChangeVisibility​(boolean to)
      This method is called by the ProMScalableView panel just before the component of this interaction panel will be shown to the user or hidden from the user.
      • 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
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Field Detail

      • factory

        protected com.fluxicon.slickerbox.factory.SlickerFactory factory
      • decorator

        protected com.fluxicon.slickerbox.factory.SlickerDecorator decorator
      • title

        protected final java.lang.String title
      • originalSpecificMap

        protected org.processmining.models.graphbased.ViewSpecificAttributeMap originalSpecificMap
      • viewSpecificMap

        protected org.processmining.models.graphbased.ViewSpecificAttributeMap viewSpecificMap
      • scroll

        protected final javax.swing.JScrollPane scroll
      • component

        protected final C extends javax.swing.JComponent component
    • Constructor Detail

      • AbstractSelectionPanel

        public AbstractSelectionPanel​(java.lang.String title,
                                      C component)
    • Method Detail

      • getComponent

        public javax.swing.JComponent getComponent()
        Description copied from interface: ViewInteractionPanel
        Returns the component that is shown if this panel is activated by the user. Most implementations will actually override JComponent and return this in this method.
        Specified by:
        getComponent in interface ViewInteractionPanel
        Returns:
        a component
      • getHeightInView

        public double getHeightInView()
        Description copied from interface: ViewInteractionPanel
        Returns the preferred height of this component when shown to the user. A value between 0 and 1 (including 1) indicates a requested height relative to the height of the screen. A value greater than 1 indicates a fixed height in pixels .
        Specified by:
        getHeightInView in interface ViewInteractionPanel
        Returns:
      • getWidthInView

        public double getWidthInView()
        Description copied from interface: ViewInteractionPanel
        Returns the preferred width of this component when shown to the user. A value between 0 and 1 (including 1) indicates a requested width relative to the width of the screen. A value greater than 1 indicates a fixed width in pixels.
        Specified by:
        getWidthInView in interface ViewInteractionPanel
        Returns:
      • unselectAll

        protected void unselectAll​(boolean signal)
      • willChangeVisibility

        public void willChangeVisibility​(boolean to)
        Description copied from interface: ViewInteractionPanel
        This method is called by the ProMScalableView panel just before the component of this interaction panel will be shown to the user or hidden from the user. The height and width of the component are set to what is requested by getHeightInView() and getWidthInView();
        Specified by:
        willChangeVisibility in interface ViewInteractionPanel
        Parameters:
        to - TODO
      • selectElements

        protected <T extends org.processmining.models.graphbased.directed.DirectedGraphElement> void selectElements​(java.util.Map<T,​java.lang.String> labelledSelection)