Package org.processmining.processcomparisonpetrinetdecomposition.visualization

Class RPSTVisualizerPanel

  • All Implemented Interfaces:
    java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible
    public class RPSTVisualizerPanel
extends BaseRPSTPanel
    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 org.processmining.framework.util.ui.widgets.ProMSplitPane

        HORIZONTAL_SPLIT, VERTICAL_SPLIT

      • 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
      RPSTVisualizerPanel​(org.processmining.framework.plugin.PluginContext context, org.processmining.acceptingpetrinetdecomposer.models.rpst.PetriNetRPST rpst)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      protected void addDotOptions​(org.processmining.acceptingpetrinetdecomposer.models.rpst.PetriNetRPSTNode node, java.util.Map<java.lang.String,​java.lang.String> options)
      Add additional options for the dot visualization of the given node.
      protected java.lang.String createNodeNameSuffix​(org.processmining.acceptingpetrinetdecomposer.models.rpst.PetriNetRPSTNode node)
      Suffix that will be added to the node name inside the RPST.
      protected java.lang.String getDefaultNodeColor​(org.processmining.acceptingpetrinetdecomposer.models.rpst.PetriNetRPSTNode node)
      The default color for the given node that it has while it is not selected.
      protected void onDeSelected​(org.processmining.acceptingpetrinetdecomposer.models.rpst.PetriNetRPSTNode node)
      Actions that should happen when an RPST node is deselected (apart from changing the nodes color).
      protected void onNodeSelected​(org.processmining.acceptingpetrinetdecomposer.models.rpst.PetriNetRPSTNode node)
      Actions that should happen when an RPST node is selected (apart from changing the nodes color).
      protected void setup​(org.processmining.framework.plugin.PluginContext context, org.processmining.acceptingpetrinetdecomposer.models.rpst.PetriNetRPST rpst, java.lang.Object[] args)
      Called in constructor before initialize.

      • Methods inherited from class org.processmining.framework.util.ui.widgets.InspectorPanel

        add, addInfo, getInspector, remove, resize, rightClicked, setLayout, validate

      • Methods inherited from class org.processmining.framework.util.ui.widgets.ProMSplitPane

        leftClicked, setBottomComponent, setDividerLocation, setDividerLocation, setDividerSize, setLeftComponent, setOneTouchExpandable, setResizeWeight, setRightComponent, setTopComponent

      • Methods inherited from class org.processmining.framework.util.ui.widgets.BorderPanel

        paintComponent

      • 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, 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, 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, removeAll, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, transferFocusDownCycle, 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

      • RPSTVisualizerPanel

        public RPSTVisualizerPanel​(org.processmining.framework.plugin.PluginContext context,
                           org.processmining.acceptingpetrinetdecomposer.models.rpst.PetriNetRPST rpst)

    • Method Detail

      • setup

        protected void setup​(org.processmining.framework.plugin.PluginContext context,
                     org.processmining.acceptingpetrinetdecomposer.models.rpst.PetriNetRPST rpst,
                     java.lang.Object[] args)
        Description copied from class: BaseRPSTPanel
        Called in constructor before initialize. Any global variable that is used should be initialized here.
        Specified by:
        setup in class BaseRPSTPanel
        Parameters:
        context - PluginContext of application.
        rpst - RPST for visualization.
        args - Optional visualization specific parameters.

      • onNodeSelected

        protected void onNodeSelected​(org.processmining.acceptingpetrinetdecomposer.models.rpst.PetriNetRPSTNode node)
        Description copied from class: BaseRPSTPanel
        Actions that should happen when an RPST node is selected (apart from changing the nodes color).
        Specified by:
        onNodeSelected in class BaseRPSTPanel
        Parameters:
        node - Selected node.

      • onDeSelected

        protected void onDeSelected​(org.processmining.acceptingpetrinetdecomposer.models.rpst.PetriNetRPSTNode node)
        Description copied from class: BaseRPSTPanel
        Actions that should happen when an RPST node is deselected (apart from changing the nodes color).
        Specified by:
        onDeSelected in class BaseRPSTPanel
        Parameters:
        node - Deselected node.

      • getDefaultNodeColor

        protected java.lang.String getDefaultNodeColor​(org.processmining.acceptingpetrinetdecomposer.models.rpst.PetriNetRPSTNode node)
        Description copied from class: BaseRPSTPanel
        The default color for the given node that it has while it is not selected.
        Specified by:
        getDefaultNodeColor in class BaseRPSTPanel
        Parameters:
        node - Considered RPST node.
        Returns:
        Hexstring of the color.

      • addDotOptions

        protected void addDotOptions​(org.processmining.acceptingpetrinetdecomposer.models.rpst.PetriNetRPSTNode node,
                             java.util.Map<java.lang.String,​java.lang.String> options)
        Description copied from class: BaseRPSTPanel
        Add additional options for the dot visualization of the given node.
        Specified by:
        addDotOptions in class BaseRPSTPanel
        Parameters:
        node - Node belonging to the new dot node.
        options - Options map, by default it already includes the field "fill_color".

      • createNodeNameSuffix

        protected java.lang.String createNodeNameSuffix​(org.processmining.acceptingpetrinetdecomposer.models.rpst.PetriNetRPSTNode node)
        Description copied from class: BaseRPSTPanel
        Suffix that will be added to the node name inside the RPST. This can contain additional information regarding the node. Suffix starts in a new line, i.e. no \n is needed at the beginning.
        Specified by:
        createNodeNameSuffix in class BaseRPSTPanel
        Parameters:
        node - Considered RPST node.
        Returns:
        String suffix.