|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.awt.Component
java.awt.Container
javax.swing.JComponent
javax.swing.JPanel
org.processmining.mining.fuzzymining.ui.FastTransformerPanel
public class FastTransformerPanel
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 |
---|
protected MetricsRepository metrics
protected FuzzyGraph graph
protected FastTransformer fastTransformer
protected BestEdgeTransformer bestEdgeTransformer
protected FuzzyEdgeTransformer fuzzyEdgeTransformer
protected ConcurrencyEdgeTransformer concurrencyEdgeTransformer
protected FuzzyReplay replay
protected FuzzyDetailAnalysis detail
protected ReplayView replayView
protected DetailView detailView
protected boolean enableRedraw
protected javax.swing.JPanel rootPanel
protected javax.swing.JPanel graphPanel
protected javax.swing.JRadioButton edgesBestRadioButton
protected javax.swing.JRadioButton edgesFuzzyRadioButton
protected javax.swing.JSlider nodeSignificanceSlider
protected javax.swing.JSlider edgesFuzzyRatioSlider
protected javax.swing.JSlider edgesFuzzyPercentageSlider
protected javax.swing.JSlider edgesConcurrencyThresholdSlider
protected javax.swing.JSlider edgesConcurrencyRatioSlider
protected javax.swing.JLabel nodeSignificanceLabel
protected javax.swing.JLabel edgesFuzzyRatioLabel
protected javax.swing.JLabel edgesFuzzyPercentageLabel
protected javax.swing.JLabel edgesConcurrencyThresholdLabel
protected javax.swing.JLabel edgesConcurrencyRatioLabel
protected javax.swing.JCheckBox edgesFuzzyIgnoreLoopBox
protected javax.swing.JCheckBox edgesFuzzyInterpretAbsoluteBox
protected javax.swing.JCheckBox edgesConcurrencyActiveBox
protected LedGauge replayGauge
protected LedGauge detailGauge
protected java.awt.Color COLOR_BG
protected java.awt.Color COLOR_BG2
protected java.awt.Color COLOR_FG
Constructor Detail |
---|
public FastTransformerPanel(MetricsRepository metrics)
Method Detail |
---|
protected void initializeGui()
protected javax.swing.JPanel packVerticallyCentered(javax.swing.JComponent component, int width, int height)
protected void setGuiToInitialValues(int showingNumberOfNodes)
public ProvidedObject[] getProvidedObjects()
getProvidedObjects
in interface Provider
public void stateChanged(javax.swing.event.ChangeEvent evt)
stateChanged
in interface javax.swing.event.ChangeListener
protected void redrawGraph()
public void setGuiEnabled(boolean enabled)
protected void updateEdgeTransformerSelection()
protected void setFuzzyEdgeControlsEnabled(boolean enabled)
protected void setConcurrencyEdgeTransformerActive(boolean active)
protected void updateNodeSignificanceSlider()
protected void updateFuzzyEdgeRatioSlider()
protected void updateFuzzyEdgePercentageSlider()
protected void updateConcurrencyThresholdSlider()
protected void updateConcurrencyRatioSlider()
protected double getNodeThresholdFromSlider()
protected double getFuzzyEdgeRatioFromSlider()
protected double getFuzzyEdgePercentageFromSlider()
protected double getConcurrencyThresholdFromSlider()
protected double getConcurrencyRatioFromSlider()
public void itemStateChanged(java.awt.event.ItemEvent evt)
itemStateChanged
in interface java.awt.event.ItemListener
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |