Package org.processmining.objectcentricconstraintchecking.algorithms.ocel.extraction

Class ProcessExecutionPanel

  • All Implemented Interfaces:
    java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible
    public class ProcessExecutionPanel
extends javax.swing.JPanel
    See Also:
    Serialized Form

    • Nested Class Summary

      Nested Classes 
      Modifier and Type Class Description
      static class  ProcessExecutionPanel.CustomGraph  
      static class  ProcessExecutionPanel.CustomGraphComponent  

      • 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

    • Constructor Summary

      Constructors 
      Constructor Description
      ProcessExecutionPanel​(org.processmining.contexts.uitopia.UIPluginContext context, java.util.Map<java.lang.String,​java.util.Map> leadObjMap, java.util.Map<java.lang.String,​java.util.HashMap<OcelEvent,​java.util.HashMap<OcelEvent,​java.util.HashSet<OcelObject>>>> peMap, OcelEventLog ocel, java.util.ArrayList<java.lang.String> objTypeList, java.util.HashSet actList)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void about()  
      javax.swing.Action bind​(java.lang.String name, javax.swing.Action action)  
      javax.swing.Action bind​(java.lang.String name, javax.swing.Action action, java.lang.String iconUrl)  
      javax.swing.JFrame createFrame​(javax.swing.JMenuBar menuBar)  
      protected mxIGraphLayout createLayout​(java.lang.String ident, boolean animate)
      Creates a layout instance for the given identifier.
      protected javax.swing.JLabel createStatusBar()  
      protected mxUndoManager createUndoManager()  
      void exit()  
      javax.swing.JTabbedPane getActPane()  
      java.io.File getCurrentFile()  
      mxGraphComponent getGraphComponent()  
      mxGraphOutline getGraphOutline()  
      javax.swing.JTabbedPane getObjPane()  
      mxUndoManager getUndoManager()  
      javax.swing.Action graphLayout​(java.lang.String key, boolean animate)
      Creates an action that executes the specified layout.
      ActEditorPalette insertActPalette​(java.lang.String title, java.lang.Integer actNum)  
      objEditorPalette insertObjPalette​(java.lang.String title, java.lang.Integer objNum)  
      PerformanceEditorPalette insertPerformancePalette​(java.lang.String title, java.lang.Integer attachNum)  
      protected void installHandlers()  
      protected void installListeners()  
      protected void installRepaintListener()  
      boolean isModified()  
      protected void mouseLocationChanged​(java.awt.event.MouseEvent e)  
      protected void mouseWheelMoved​(java.awt.event.MouseWheelEvent e)  
      void setCurrentFile​(java.io.File file)  
      void setLookAndFeel​(java.lang.String clazz)  
      void setModified​(boolean modified)  
      protected void showGraphPopupMenu​(java.awt.event.MouseEvent e)  
      protected void showOutlinePopupMenu​(java.awt.event.MouseEvent e)  
      void status​(java.lang.String msg)  
      void updateTitle()  

      • 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

      • selectedRow

        protected int selectedRow

      • selectedObjSet

        protected java.util.HashSet<java.lang.String> selectedObjSet

      • violationTablePanel

        protected javax.swing.JPanel violationTablePanel

      • objPane

        protected javax.swing.JTabbedPane objPane

      • actPane

        protected javax.swing.JTabbedPane actPane

      • performancePane

        protected javax.swing.JTabbedPane performancePane

      • restPane

        protected javax.swing.JTabbedPane restPane

      • outer3

        protected javax.swing.JSplitPane outer3

      • appTitle

        protected java.lang.String appTitle

      • statusBar

        protected javax.swing.JLabel statusBar

      • currentFile

        protected java.io.File currentFile

      • modified

        protected boolean modified
        Flag indicating whether the current graph has been modified

    • Constructor Detail

      • ProcessExecutionPanel

        public ProcessExecutionPanel​(org.processmining.contexts.uitopia.UIPluginContext context,
                             java.util.Map<java.lang.String,​java.util.Map> leadObjMap,
                             java.util.Map<java.lang.String,​java.util.HashMap<OcelEvent,​java.util.HashMap<OcelEvent,​java.util.HashSet<OcelObject>>>> peMap,
                             OcelEventLog ocel,
                             java.util.ArrayList<java.lang.String> objTypeList,
                             java.util.HashSet actList)

    • Method Detail

      • createUndoManager

        protected mxUndoManager createUndoManager()

      • installHandlers

        protected void installHandlers()

      • createStatusBar

        protected javax.swing.JLabel createStatusBar()

      • installRepaintListener

        protected void installRepaintListener()

      • insertObjPalette

        public objEditorPalette insertObjPalette​(java.lang.String title,
                                         java.lang.Integer objNum)

      • insertPerformancePalette

        public PerformanceEditorPalette insertPerformancePalette​(java.lang.String title,
                                                         java.lang.Integer attachNum)

      • insertActPalette

        public ActEditorPalette insertActPalette​(java.lang.String title,
                                         java.lang.Integer actNum)

      • mouseWheelMoved

        protected void mouseWheelMoved​(java.awt.event.MouseWheelEvent e)

      • showOutlinePopupMenu

        protected void showOutlinePopupMenu​(java.awt.event.MouseEvent e)

      • mouseLocationChanged

        protected void mouseLocationChanged​(java.awt.event.MouseEvent e)

      • installListeners

        protected void installListeners()

      • showGraphPopupMenu

        protected void showGraphPopupMenu​(java.awt.event.MouseEvent e)

      • setCurrentFile

        public void setCurrentFile​(java.io.File file)

      • getCurrentFile

        public java.io.File getCurrentFile()

      • setModified

        public void setModified​(boolean modified)
        Parameters:
        modified -

      • isModified

        public boolean isModified()
        Returns:
        whether or not the current graph has been modified

      • getObjPane

        public javax.swing.JTabbedPane getObjPane()

      • getActPane

        public javax.swing.JTabbedPane getActPane()

      • bind

        public javax.swing.Action bind​(java.lang.String name,
                               javax.swing.Action action)
        Parameters:
        name -
        action -
        Returns:
        a new Action bound to the specified string name

      • bind

        public javax.swing.Action bind​(java.lang.String name,
                               javax.swing.Action action,
                               java.lang.String iconUrl)
        Parameters:
        name -
        action -
        Returns:
        a new Action bound to the specified string name and icon

      • status

        public void status​(java.lang.String msg)
        Parameters:
        msg -

      • updateTitle

        public void updateTitle()

      • about

        public void about()

      • exit

        public void exit()

      • setLookAndFeel

        public void setLookAndFeel​(java.lang.String clazz)

      • createFrame

        public javax.swing.JFrame createFrame​(javax.swing.JMenuBar menuBar)

      • graphLayout

        public javax.swing.Action graphLayout​(java.lang.String key,
                                      boolean animate)
        Creates an action that executes the specified layout.
        Parameters:
        key - Key to be used for getting the label from mxResources and also to create the layout instance for the commercial graph editor example.
        Returns:
        an action that executes the specified layout

      • createLayout

        protected mxIGraphLayout createLayout​(java.lang.String ident,
                                      boolean animate)
        Creates a layout instance for the given identifier.