org.processmining.mining.fuzzymining.ui
Class FastTransformerPanel

java.lang.Object
  extended by java.awt.Component
      extended by java.awt.Container
          extended by javax.swing.JComponent
              extended by javax.swing.JPanel
                  extended by org.processmining.mining.fuzzymining.ui.FastTransformerPanel
All Implemented Interfaces:
java.awt.event.ItemListener, java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, java.util.EventListener, javax.accessibility.Accessible, javax.swing.event.ChangeListener, Provider

public class FastTransformerPanel
extends javax.swing.JPanel
implements javax.swing.event.ChangeListener, java.awt.event.ItemListener, Provider

Author:
christian
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.BltBufferStrategy, java.awt.Component.FlipBufferStrategy
 
Field Summary
protected  BestEdgeTransformer bestEdgeTransformer
           
protected  java.awt.Color COLOR_BG
           
protected  java.awt.Color COLOR_BG2
           
protected  java.awt.Color COLOR_FG
           
protected  ConcurrencyEdgeTransformer concurrencyEdgeTransformer
           
protected  FuzzyDetailAnalysis detail
           
protected  LedGauge detailGauge
           
protected  DetailView detailView
           
protected  javax.swing.JRadioButton edgesBestRadioButton
           
protected  javax.swing.JCheckBox edgesConcurrencyActiveBox
           
protected  javax.swing.JLabel edgesConcurrencyRatioLabel
           
protected  javax.swing.JSlider edgesConcurrencyRatioSlider
           
protected  javax.swing.JLabel edgesConcurrencyThresholdLabel
           
protected  javax.swing.JSlider edgesConcurrencyThresholdSlider
           
protected  javax.swing.JCheckBox edgesFuzzyIgnoreLoopBox
           
protected  javax.swing.JCheckBox edgesFuzzyInterpretAbsoluteBox
           
protected  javax.swing.JLabel edgesFuzzyPercentageLabel
           
protected  javax.swing.JSlider edgesFuzzyPercentageSlider
           
protected  javax.swing.JRadioButton edgesFuzzyRadioButton
           
protected  javax.swing.JLabel edgesFuzzyRatioLabel
           
protected  javax.swing.JSlider edgesFuzzyRatioSlider
           
protected  boolean enableRedraw
           
protected  FastTransformer fastTransformer
           
protected  FuzzyEdgeTransformer fuzzyEdgeTransformer
           
protected  FuzzyGraph graph
           
protected  javax.swing.JPanel graphPanel
           
protected  MetricsRepository metrics
           
protected  javax.swing.JLabel nodeSignificanceLabel
           
protected  javax.swing.JSlider nodeSignificanceSlider
           
protected  FuzzyReplay replay
           
protected  LedGauge replayGauge
           
protected  ReplayView replayView
           
protected  javax.swing.JPanel rootPanel
           
 
Fields inherited from class javax.swing.JComponent
accessibleContext, 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
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
FastTransformerPanel(MetricsRepository metrics)
           
 
Method Summary
protected  double getConcurrencyRatioFromSlider()
           
protected  double getConcurrencyThresholdFromSlider()
           
protected  double getFuzzyEdgePercentageFromSlider()
           
protected  double getFuzzyEdgeRatioFromSlider()
           
protected  double getNodeThresholdFromSlider()
           
 ProvidedObject[] getProvidedObjects()
           
protected  void initializeGui()
           
 void itemStateChanged(java.awt.event.ItemEvent evt)
           
protected  javax.swing.JPanel packVerticallyCentered(javax.swing.JComponent component, int width, int height)
           
protected  void redrawGraph()
           
protected  void setConcurrencyEdgeTransformerActive(boolean active)
           
protected  void setFuzzyEdgeControlsEnabled(boolean enabled)
           
 void setGuiEnabled(boolean enabled)
           
protected  void setGuiToInitialValues(int showingNumberOfNodes)
           
 void stateChanged(javax.swing.event.ChangeEvent evt)
           
protected  void updateConcurrencyRatioSlider()
           
protected  void updateConcurrencyThresholdSlider()
           
protected  void updateEdgeTransformerSelection()
           
protected  void updateFuzzyEdgePercentageSlider()
           
protected  void updateFuzzyEdgeRatioSlider()
           
protected  void updateNodeSignificanceSlider()
           
 
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, 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, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, 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, transferFocusBackward, 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, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, hide, 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, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusUpCycle
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

metrics

protected MetricsRepository metrics

graph

protected FuzzyGraph graph

fastTransformer

protected FastTransformer fastTransformer

bestEdgeTransformer

protected BestEdgeTransformer bestEdgeTransformer

fuzzyEdgeTransformer

protected FuzzyEdgeTransformer fuzzyEdgeTransformer

concurrencyEdgeTransformer

protected ConcurrencyEdgeTransformer concurrencyEdgeTransformer

replay

protected FuzzyReplay replay

detail

protected FuzzyDetailAnalysis detail

replayView

protected ReplayView replayView

detailView

protected DetailView detailView

enableRedraw

protected boolean enableRedraw

rootPanel

protected javax.swing.JPanel rootPanel

graphPanel

protected javax.swing.JPanel graphPanel

edgesBestRadioButton

protected javax.swing.JRadioButton edgesBestRadioButton

edgesFuzzyRadioButton

protected javax.swing.JRadioButton edgesFuzzyRadioButton

nodeSignificanceSlider

protected javax.swing.JSlider nodeSignificanceSlider

edgesFuzzyRatioSlider

protected javax.swing.JSlider edgesFuzzyRatioSlider

edgesFuzzyPercentageSlider

protected javax.swing.JSlider edgesFuzzyPercentageSlider

edgesConcurrencyThresholdSlider

protected javax.swing.JSlider edgesConcurrencyThresholdSlider

edgesConcurrencyRatioSlider

protected javax.swing.JSlider edgesConcurrencyRatioSlider

nodeSignificanceLabel

protected javax.swing.JLabel nodeSignificanceLabel

edgesFuzzyRatioLabel

protected javax.swing.JLabel edgesFuzzyRatioLabel

edgesFuzzyPercentageLabel

protected javax.swing.JLabel edgesFuzzyPercentageLabel

edgesConcurrencyThresholdLabel

protected javax.swing.JLabel edgesConcurrencyThresholdLabel

edgesConcurrencyRatioLabel

protected javax.swing.JLabel edgesConcurrencyRatioLabel

edgesFuzzyIgnoreLoopBox

protected javax.swing.JCheckBox edgesFuzzyIgnoreLoopBox

edgesFuzzyInterpretAbsoluteBox

protected javax.swing.JCheckBox edgesFuzzyInterpretAbsoluteBox

edgesConcurrencyActiveBox

protected javax.swing.JCheckBox edgesConcurrencyActiveBox

replayGauge

protected LedGauge replayGauge

detailGauge

protected LedGauge detailGauge

COLOR_BG

protected java.awt.Color COLOR_BG

COLOR_BG2

protected java.awt.Color COLOR_BG2

COLOR_FG

protected java.awt.Color COLOR_FG
Constructor Detail

FastTransformerPanel

public FastTransformerPanel(MetricsRepository metrics)
Method Detail

initializeGui

protected void initializeGui()

packVerticallyCentered

protected javax.swing.JPanel packVerticallyCentered(javax.swing.JComponent component,
                                                    int width,
                                                    int height)

setGuiToInitialValues

protected void setGuiToInitialValues(int showingNumberOfNodes)

getProvidedObjects

public ProvidedObject[] getProvidedObjects()
Specified by:
getProvidedObjects in interface Provider

stateChanged

public void stateChanged(javax.swing.event.ChangeEvent evt)
Specified by:
stateChanged in interface javax.swing.event.ChangeListener

redrawGraph

protected void redrawGraph()

setGuiEnabled

public void setGuiEnabled(boolean enabled)

updateEdgeTransformerSelection

protected void updateEdgeTransformerSelection()

setFuzzyEdgeControlsEnabled

protected void setFuzzyEdgeControlsEnabled(boolean enabled)

setConcurrencyEdgeTransformerActive

protected void setConcurrencyEdgeTransformerActive(boolean active)

updateNodeSignificanceSlider

protected void updateNodeSignificanceSlider()

updateFuzzyEdgeRatioSlider

protected void updateFuzzyEdgeRatioSlider()

updateFuzzyEdgePercentageSlider

protected void updateFuzzyEdgePercentageSlider()

updateConcurrencyThresholdSlider

protected void updateConcurrencyThresholdSlider()

updateConcurrencyRatioSlider

protected void updateConcurrencyRatioSlider()

getNodeThresholdFromSlider

protected double getNodeThresholdFromSlider()

getFuzzyEdgeRatioFromSlider

protected double getFuzzyEdgeRatioFromSlider()

getFuzzyEdgePercentageFromSlider

protected double getFuzzyEdgePercentageFromSlider()

getConcurrencyThresholdFromSlider

protected double getConcurrencyThresholdFromSlider()

getConcurrencyRatioFromSlider

protected double getConcurrencyRatioFromSlider()

itemStateChanged

public void itemStateChanged(java.awt.event.ItemEvent evt)
Specified by:
itemStateChanged in interface java.awt.event.ItemListener