Package org.processmining.goaldrivenprocessmining.panelHelper

Class CaseConfigPanel

  • All Implemented Interfaces:
    java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible
    public class CaseConfigPanel
extends javax.swing.JPanel
    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 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
      CaseConfigPanel​(int width)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void filterCase​(java.util.Set<java.lang.Integer> displayIndex)  
      javax.swing.JLabel getAllCaseLabel()  
      javax.swing.JButton getCaseConfigCancelButton()  
      javax.swing.JButton getCaseConfigDoneButton()  
      javax.swing.JPanel getChooseCaseLabelPanel()  
      javax.swing.table.DefaultTableModel getChooseCaseModel()  
      javax.swing.JPanel getChooseCasePanel()  
      javax.swing.JTable getChooseCaseTable()  
      java.util.Set<java.lang.Integer> getDisplayIndex()  
      javax.swing.JPanel getFilterPanel()  
      long getMaxDuration()  
      RangeSliderPanel getRangeSlider()  
      javax.swing.JLabel getShowCaseLabel()  
      javax.swing.table.DefaultTableModel getShowCaseModel()  
      javax.swing.JPanel getShowCasePanel()  
      javax.swing.JTable getShowCaseTable()  
      void setAllCaseLabel​(javax.swing.JLabel allCaseLabel)  
      void setCaseConfigCancelButton​(javax.swing.JButton caseConfigCancelButton)  
      void setCaseConfigDoneButton​(javax.swing.JButton caseConfigDoneButton)  
      void setChooseCaseLabelPanel​(javax.swing.JPanel chooseCaseLabelPanel)  
      void setChooseCaseModel​(javax.swing.table.DefaultTableModel chooseCaseModel)  
      void setChooseCasePanel​(javax.swing.JPanel chooseCasePanel)  
      void setChooseCaseTable​(javax.swing.JTable chooseCaseTable)  
      void setDisplayIndex​(java.util.Set<java.lang.Integer> displayIndex)  
      void setFilterPanel​(javax.swing.JPanel filterPanel)  
      void setMaxDuration​(long maxDuration)  
      void setRangeSlider​(RangeSliderPanel rangeSlider)  
      void setShowCaseLabel​(javax.swing.JLabel showCaseLabel)  
      void setShowCaseModel​(javax.swing.table.DefaultTableModel showCaseModel)  
      void setShowCasePanel​(javax.swing.JPanel showCasePanel)  
      void setShowCaseTable​(javax.swing.JTable showCaseTable)  
      void updateChooseCaseTable​(java.util.List<java.lang.String[]> data)  
      void updateColumnShowCaseTable​(java.util.List<java.lang.String> columns)  
      void updateFilterOnPath​(EdgeObject edgeObjectParent, EdgeObject edgeObjectChild, java.util.Set<java.lang.Integer> displayIndex1)  
      void updateShowCaseAttributeTable​(java.util.List<java.lang.Object[]> data)  
      void updateShowCaseTable​(java.util.List<java.lang.Object[]> data)  

      • 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

    • Constructor Detail

      • CaseConfigPanel

        public CaseConfigPanel​(int width)

    • Method Detail

      • updateFilterOnPath

        public void updateFilterOnPath​(EdgeObject edgeObjectParent,
                               EdgeObject edgeObjectChild,
                               java.util.Set<java.lang.Integer> displayIndex1)

      • filterCase

        public void filterCase​(java.util.Set<java.lang.Integer> displayIndex)

      • updateChooseCaseTable

        public void updateChooseCaseTable​(java.util.List<java.lang.String[]> data)

      • updateColumnShowCaseTable

        public void updateColumnShowCaseTable​(java.util.List<java.lang.String> columns)

      • updateShowCaseTable

        public void updateShowCaseTable​(java.util.List<java.lang.Object[]> data)

      • updateShowCaseAttributeTable

        public void updateShowCaseAttributeTable​(java.util.List<java.lang.Object[]> data)

      • getAllCaseLabel

        public javax.swing.JLabel getAllCaseLabel()

      • setAllCaseLabel

        public void setAllCaseLabel​(javax.swing.JLabel allCaseLabel)

      • getChooseCasePanel

        public javax.swing.JPanel getChooseCasePanel()

      • setChooseCasePanel

        public void setChooseCasePanel​(javax.swing.JPanel chooseCasePanel)

      • getChooseCaseTable

        public javax.swing.JTable getChooseCaseTable()

      • setChooseCaseTable

        public void setChooseCaseTable​(javax.swing.JTable chooseCaseTable)

      • getChooseCaseModel

        public javax.swing.table.DefaultTableModel getChooseCaseModel()

      • setChooseCaseModel

        public void setChooseCaseModel​(javax.swing.table.DefaultTableModel chooseCaseModel)

      • getShowCasePanel

        public javax.swing.JPanel getShowCasePanel()

      • setShowCasePanel

        public void setShowCasePanel​(javax.swing.JPanel showCasePanel)

      • getShowCaseTable

        public javax.swing.JTable getShowCaseTable()

      • setShowCaseTable

        public void setShowCaseTable​(javax.swing.JTable showCaseTable)

      • getShowCaseModel

        public javax.swing.table.DefaultTableModel getShowCaseModel()

      • setShowCaseModel

        public void setShowCaseModel​(javax.swing.table.DefaultTableModel showCaseModel)

      • getCaseConfigCancelButton

        public javax.swing.JButton getCaseConfigCancelButton()

      • setCaseConfigCancelButton

        public void setCaseConfigCancelButton​(javax.swing.JButton caseConfigCancelButton)

      • getCaseConfigDoneButton

        public javax.swing.JButton getCaseConfigDoneButton()

      • setCaseConfigDoneButton

        public void setCaseConfigDoneButton​(javax.swing.JButton caseConfigDoneButton)

      • getChooseCaseLabelPanel

        public javax.swing.JPanel getChooseCaseLabelPanel()

      • setChooseCaseLabelPanel

        public void setChooseCaseLabelPanel​(javax.swing.JPanel chooseCaseLabelPanel)

      • getShowCaseLabel

        public javax.swing.JLabel getShowCaseLabel()

      • setShowCaseLabel

        public void setShowCaseLabel​(javax.swing.JLabel showCaseLabel)

      • getMaxDuration

        public long getMaxDuration()

      • setMaxDuration

        public void setMaxDuration​(long maxDuration)

      • getFilterPanel

        public javax.swing.JPanel getFilterPanel()

      • setFilterPanel

        public void setFilterPanel​(javax.swing.JPanel filterPanel)

      • getDisplayIndex

        public java.util.Set<java.lang.Integer> getDisplayIndex()

      • setDisplayIndex

        public void setDisplayIndex​(java.util.Set<java.lang.Integer> displayIndex)