Package org.processmining.primeminer.dialogs

Class PrimeMinerDialog

  • All Implemented Interfaces:
    java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible
    public class PrimeMinerDialog
extends javax.swing.JPanel
    Establish two dialogs for the prime miner. A first one to select the oracle, a second one to decide between "show hasse diagrams" and "mine petri net".
    Author:
    Raphael Meyer
    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

    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      static void clearAlgorithmInformations()
      clears/resets dialogAlgorithmInformations if necessary with "";
      static void extendDialogAlgorithmInformations​(java.lang.String dialogAlgortithmInformations)
      extends dialogAlgorithmInformations with a given information as string and concatenate
      static void extendDialogAlgorithmInformationsWithNewLine​(java.lang.String dialogAlgortithmInformations)
      like dialogAlgorithmInformations but with New Line at the end of each given information
      static java.lang.String getCasesPerHasseDiagram()  
      static java.lang.String getDialogAlgorithmInformations()  
      javax.swing.JList<java.lang.String> getList()  
      static java.lang.String getPreviousCasesPerHasseDiagram()  
      static java.lang.String getPreviousConcurrencies()  
      static java.lang.String getPreviousOracle()  
      static int getPreviousPartialLanguageSize()  
      int getSliderValue()  
      boolean isCheckBoxValue()  
      static void printChoosenOracle​(java.lang.String oracle)
      Store and save the selected oracle.
      static void printConcurrentActions​(java.lang.String concurrencies)
      Store and save the concurrencies based on the choosen oracle.
      static void printInitializeInformations()
      Prints initialize Informations which are collected by calculation language from log and setting up the parameter class.
      static void printPartialLanguageSizeAndCasesPerHasseInformations()
      Extends the method dialogAlgorithmInformations with partial language size and cases per hasse diagram calculated during mining.
      static void setCasesPerHasseDiagram​(java.lang.String casesPerHasseDiagram)  
      void setCheckBoxValue​(boolean checkBoxValue)  
      static void setDialogAlgorithmInformations​(java.lang.String dialogAlgortithmInformations)  
      void setList​(javax.swing.JList<java.lang.String> list)  
      static void setPreviousCasesPerHasseDiagram​(java.lang.String previousCasesPerHasseDiagram)  
      static void setPreviousConcurrencies​(java.lang.String previousConcurrencies)  
      static void setPreviousOracle​(java.lang.String previousOracle)  
      static void setPreviousPartialLanguageSize​(int previousPartialLanguageSize)  
      void setSliderValue​(int sliderValue)  

      • 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

      • PrimeMinerDialog

        public PrimeMinerDialog​(org.deckfour.xes.model.XLog log,
                        PrimeMinerParameters parameters)
        Establish the FIRST DIALOG for the prime miner. The user can choose between the detected oracle detected from log and stored in parameters
        Parameters:
        log - the log file given from extern via import from the ui of prom
        parameters - all informations extract and calculated from log

      • PrimeMinerDialog

        public PrimeMinerDialog​(int partialLanguageSize,
                        PrimeMinerParameters parameters)
        Establish the SECOND DIALOG for the prime miner. After the oracle was choosen, the user can set the number of considered hasse diagrams. The amount of these diagrams is the size of the partial language
        Parameters:
        partialLanguageSize - the size of the partial language
        parameters - the given parameters, established in steps before

      • PrimeMinerDialog

        public PrimeMinerDialog()
        Establish the OPTIONAL THIRD DIALOG for the prime miner. This only pops up in the end iff showStats in parameters is set true showStats can be set in DIALOG 2 and is false by default, which means no third dialog

    • Method Detail

      • printInitializeInformations

        public static void printInitializeInformations()
        Prints initialize Informations which are collected by calculation language from log and setting up the parameter class. This informations are shown in the first dialog of prime miner. So here are the log size, complete cases, language size and the possible oracles.

      • printConcurrentActions

        public static void printConcurrentActions​(java.lang.String concurrencies)
        Store and save the concurrencies based on the choosen oracle. This stored value is used to replace the old given data when switching to another oracle, which is triggered in second dialog by press "previous" and select an oracle.
        Parameters:
        concurrencies - all the concurrencies, based on the choosen oracle

      • printChoosenOracle

        public static void printChoosenOracle​(java.lang.String oracle)
        Store and save the selected oracle. This stored value is used to replace the old given oracle when switching to another oracle, which is triggered in second dialog by press "previous" and select an oracle.
        Parameters:
        oracle - the selected oracle in the dialog by user

      • printPartialLanguageSizeAndCasesPerHasseInformations

        public static void printPartialLanguageSizeAndCasesPerHasseInformations()
        Extends the method dialogAlgorithmInformations with partial language size and cases per hasse diagram calculated during mining. This informations are for the second dialog.

      • extendDialogAlgorithmInformations

        public static void extendDialogAlgorithmInformations​(java.lang.String dialogAlgortithmInformations)
        extends dialogAlgorithmInformations with a given information as string and concatenate
        Parameters:
        dialogAlgortithmInformations - the informations which should be attached to the actually dialogAlgorithmInforamtions.

      • extendDialogAlgorithmInformationsWithNewLine

        public static void extendDialogAlgorithmInformationsWithNewLine​(java.lang.String dialogAlgortithmInformations)
        like dialogAlgorithmInformations but with New Line at the end of each given information
        Parameters:
        dialogAlgortithmInformations - the informations which should be attached to the actually dialogAlgorithmInforamtions.

      • clearAlgorithmInformations

        public static void clearAlgorithmInformations()
        clears/resets dialogAlgorithmInformations if necessary with "";

      • getDialogAlgorithmInformations

        public static java.lang.String getDialogAlgorithmInformations()
        Returns:
        the dialog algortihm informations about, language, size, cases usw.

      • setDialogAlgorithmInformations

        public static void setDialogAlgorithmInformations​(java.lang.String dialogAlgortithmInformations)
        Parameters:
        dialogAlgortithmInformations - sets the algorithm informations for the first dialog

      • getPreviousOracle

        public static java.lang.String getPreviousOracle()
        Returns:
        the oracle which was selected before the current one

      • setPreviousOracle

        public static void setPreviousOracle​(java.lang.String previousOracle)
        Parameters:
        previousOracle - set the previous selected oracle by the dialog to identify the change

      • getPreviousConcurrencies

        public static java.lang.String getPreviousConcurrencies()
        Returns:
        the concurrent which was established previous

      • setPreviousConcurrencies

        public static void setPreviousConcurrencies​(java.lang.String previousConcurrencies)
        Parameters:
        previousConcurrencies - set the concurrent from a previous calculation in dependency of the oracle

      • getPreviousPartialLanguageSize

        public static int getPreviousPartialLanguageSize()
        Returns:
        the previous partial language size which was selected before

      • setPreviousPartialLanguageSize

        public static void setPreviousPartialLanguageSize​(int previousPartialLanguageSize)
        Parameters:
        previousPartialLanguageSize - set the previous partial langauge size

      • getCasesPerHasseDiagram

        public static java.lang.String getCasesPerHasseDiagram()
        Returns:
        the cases per hasse diagram which is used by the dialog

      • setCasesPerHasseDiagram

        public static void setCasesPerHasseDiagram​(java.lang.String casesPerHasseDiagram)
        Parameters:
        casesPerHasseDiagram - represents the cases in a hasse diagram

      • getPreviousCasesPerHasseDiagram

        public static java.lang.String getPreviousCasesPerHasseDiagram()
        Returns:
        the previous cases per hasse diagram

      • setPreviousCasesPerHasseDiagram

        public static void setPreviousCasesPerHasseDiagram​(java.lang.String previousCasesPerHasseDiagram)
        Parameters:
        previousCasesPerHasseDiagram - set the previous cases per hasse

      • getList

        public javax.swing.JList<java.lang.String> getList()
        Returns:
        the list of selectable entries like concurrent oracles

      • setList

        public void setList​(javax.swing.JList<java.lang.String> list)
        Parameters:
        list - contains selectable entries for the user, like oracles

      • getSliderValue

        public int getSliderValue()
        Returns:
        the amount of partialLanguageSize to show it f. e. with the slider

      • setSliderValue

        public void setSliderValue​(int sliderValue)
        Parameters:
        sliderValue - is the amount of partialLanguageSize in the first dialog

      • isCheckBoxValue

        public boolean isCheckBoxValue()
        Returns:
        the reserverd value for further development

      • setCheckBoxValue

        public void setCheckBoxValue​(boolean checkBoxValue)
        Parameters:
        checkBoxValue - is for further development reserved