public class ManifestPerfPanel<N extends org.processmining.plugins.petrinet.manifestreplayresult.Manifest,C extends IPerfCounter<N>>
extends org.processmining.framework.util.ui.widgets.InspectorPanel
Modifier and Type | Class and Description |
---|---|
static class |
ManifestPerfPanel.GraphHighlightObject |
javax.swing.JPanel.AccessibleJPanel
javax.swing.JComponent.AccessibleJComponent
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ARC_FREQUENCY |
protected com.fluxicon.slickerbox.factory.SlickerDecorator |
decorator |
protected java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,TransPerfDecorator> |
decoratorMap |
static int |
DEFPLACEDIAM
PLACE SIZE CONSTANTS
|
static int |
DEFTRANSHEIGHT |
static int |
DEFTRANSWIDTH
TRANSITION SIZE CONSTANTS
|
static int |
ELASTICITYDIAM |
static int |
ELASTICITYHEIGHT |
static int |
ELASTICITYWIDTH |
protected com.fluxicon.slickerbox.factory.SlickerFactory |
factory |
static int |
MAX_ZOOM |
static java.lang.String |
NONE |
protected org.processmining.models.connections.GraphLayoutConnection |
oldLayoutConn |
protected org.processmining.models.semantics.petrinet.Marking |
oldMarking |
protected org.processmining.models.graphbased.directed.petrinet.PetrinetGraph |
oldNet |
static java.lang.String |
PLACE_FREQUENCY |
static java.lang.String |
PLACE_SOJOURN_TIME_AVG |
static java.lang.String |
PLACE_SOJOURN_TIME_MAX |
static java.lang.String |
PLACE_SOJOURN_TIME_MIN |
static java.lang.String |
PLACE_SOJOURN_TIME_STDDEV |
static java.lang.String |
PLACE_SYNC_TIME_AVG |
static java.lang.String |
PLACE_SYNC_TIME_MAX |
static java.lang.String |
PLACE_SYNC_TIME_MIN |
static java.lang.String |
PLACE_SYNC_TIME_STDDEV |
static java.lang.String |
PLACE_WAITING_TIME_AVG |
static java.lang.String |
PLACE_WAITING_TIME_MAX |
static java.lang.String |
PLACE_WAITING_TIME_MIN |
static java.lang.String |
PLACE_WAITING_TIME_STDDEV |
protected org.processmining.framework.util.ui.scalableview.ScalableComponent |
scalable |
protected javax.swing.JScrollPane |
scroll |
static java.lang.String |
TRANS_FREQUENCY |
static java.lang.String |
TRANS_SOJOURN_TIME_AVG |
static java.lang.String |
TRANS_SOJOURN_TIME_MAX |
static java.lang.String |
TRANS_SOJOURN_TIME_MIN |
static java.lang.String |
TRANS_SOJOURN_TIME_STDDEV |
static java.lang.String |
TRANS_THROUGHPUT_TIME_AVG |
static java.lang.String |
TRANS_THROUGHPUT_TIME_MAX |
static java.lang.String |
TRANS_THROUGHPUT_TIME_MIN
STATS CONSTANTS
|
static java.lang.String |
TRANS_THROUGHPUT_TIME_STDDEV |
static java.lang.String |
TRANS_UNIQUECASES |
static java.lang.String |
TRANS_WAITING_TIME_AVG |
static java.lang.String |
TRANS_WAITING_TIME_MAX |
static java.lang.String |
TRANS_WAITING_TIME_MIN |
static java.lang.String |
TRANS_WAITING_TIME_STDDEV |
HORIZONTAL_SPLIT, VERTICAL_SPLIT
listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW
Constructor and Description |
---|
ManifestPerfPanel(org.processmining.framework.plugin.PluginContext context,
N manifest,
C provider,
java.lang.String timeAtt,
boolean showUnreliableCases) |
Modifier and Type | Method and Description |
---|---|
void |
addInteractionViewports(ManifestViewPanel<N,C> viewPanel) |
void |
adjustGraphHighlight(org.processmining.models.graphbased.ViewSpecificAttributeMap map,
ManifestPerfPanel.GraphHighlightObject selectedObject,
java.lang.String statsType) |
void |
filterAlignmentPreserveIndex(org.processmining.models.graphbased.ViewSpecificAttributeMap map,
java.util.Set<java.lang.Integer> setSelectedIndices) |
javax.swing.JComponent |
getComponent() |
java.awt.Component |
getHorizontalScrollBar() |
org.processmining.framework.util.ui.scalableview.ScalableComponent |
getScalable() |
double |
getScale() |
java.awt.Component |
getVerticalScrollBar() |
javax.swing.JViewport |
getViewport() |
org.processmining.models.graphbased.ViewSpecificAttributeMap |
getViewSpecificAttributeMap() |
void |
setScale(double d) |
add, addInfo, getInspector, remove, resize, rightClicked, setLayout, validate
leftClicked, setBottomComponent, setDividerLocation, setDividerLocation, setDividerSize, setLeftComponent, setOneTouchExpandable, setResizeWeight, setRightComponent, setTopComponent
getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI
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
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
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, 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, transferFocusBackward, transferFocusUpCycle
protected final org.processmining.framework.util.ui.scalableview.ScalableComponent scalable
protected javax.swing.JScrollPane scroll
protected java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,TransPerfDecorator> decoratorMap
protected com.fluxicon.slickerbox.factory.SlickerFactory factory
protected com.fluxicon.slickerbox.factory.SlickerDecorator decorator
public static final java.lang.String TRANS_THROUGHPUT_TIME_MIN
public static final java.lang.String TRANS_THROUGHPUT_TIME_MAX
public static final java.lang.String TRANS_THROUGHPUT_TIME_AVG
public static final java.lang.String TRANS_THROUGHPUT_TIME_STDDEV
public static final java.lang.String TRANS_WAITING_TIME_MIN
public static final java.lang.String TRANS_WAITING_TIME_MAX
public static final java.lang.String TRANS_WAITING_TIME_AVG
public static final java.lang.String TRANS_WAITING_TIME_STDDEV
public static final java.lang.String TRANS_SOJOURN_TIME_MIN
public static final java.lang.String TRANS_SOJOURN_TIME_MAX
public static final java.lang.String TRANS_SOJOURN_TIME_AVG
public static final java.lang.String TRANS_SOJOURN_TIME_STDDEV
public static final java.lang.String TRANS_FREQUENCY
public static final java.lang.String TRANS_UNIQUECASES
public static final java.lang.String PLACE_WAITING_TIME_MIN
public static final java.lang.String PLACE_WAITING_TIME_MAX
public static final java.lang.String PLACE_WAITING_TIME_AVG
public static final java.lang.String PLACE_WAITING_TIME_STDDEV
public static final java.lang.String PLACE_SYNC_TIME_MIN
public static final java.lang.String PLACE_SYNC_TIME_MAX
public static final java.lang.String PLACE_SYNC_TIME_AVG
public static final java.lang.String PLACE_SYNC_TIME_STDDEV
public static final java.lang.String PLACE_SOJOURN_TIME_MIN
public static final java.lang.String PLACE_SOJOURN_TIME_MAX
public static final java.lang.String PLACE_SOJOURN_TIME_AVG
public static final java.lang.String PLACE_SOJOURN_TIME_STDDEV
public static final java.lang.String PLACE_FREQUENCY
public static final java.lang.String ARC_FREQUENCY
public static final java.lang.String NONE
public static final int DEFTRANSWIDTH
public static final int DEFTRANSHEIGHT
public static final int ELASTICITYWIDTH
public static final int ELASTICITYHEIGHT
public static final int DEFPLACEDIAM
public static final int ELASTICITYDIAM
public static final int MAX_ZOOM
protected org.processmining.models.connections.GraphLayoutConnection oldLayoutConn
protected org.processmining.models.graphbased.directed.petrinet.PetrinetGraph oldNet
protected org.processmining.models.semantics.petrinet.Marking oldMarking
public ManifestPerfPanel(org.processmining.framework.plugin.PluginContext context, N manifest, C provider, java.lang.String timeAtt, boolean showUnreliableCases) throws org.processmining.framework.connections.ConnectionCannotBeObtained
org.processmining.framework.connections.ConnectionCannotBeObtained
public org.processmining.framework.util.ui.scalableview.ScalableComponent getScalable()
public javax.swing.JComponent getComponent()
public void setScale(double d)
public double getScale()
public javax.swing.JViewport getViewport()
public java.awt.Component getVerticalScrollBar()
public java.awt.Component getHorizontalScrollBar()
public void addInteractionViewports(ManifestViewPanel<N,C> viewPanel)
public void adjustGraphHighlight(org.processmining.models.graphbased.ViewSpecificAttributeMap map, ManifestPerfPanel.GraphHighlightObject selectedObject, java.lang.String statsType)
public void filterAlignmentPreserveIndex(org.processmining.models.graphbased.ViewSpecificAttributeMap map, java.util.Set<java.lang.Integer> setSelectedIndices)
public org.processmining.models.graphbased.ViewSpecificAttributeMap getViewSpecificAttributeMap()