Class ProjectionVisPanelEmbedded
- java.lang.Object
-
- java.awt.Component
-
- java.awt.Container
-
- javax.swing.JComponent
-
- javax.swing.JPanel
-
- org.processmining.framework.util.ui.widgets.BorderPanel
-
- org.processmining.framework.util.ui.widgets.ProMSplitPane
-
- org.processmining.framework.util.ui.widgets.InspectorPanel
-
- org.processmining.explorativeprocessdiscovery.embeddedvisual.ProjectionVisPanelEmbedded
-
- All Implemented Interfaces:
java.awt.image.ImageObserver,java.awt.MenuContainer,java.io.Serializable,javax.accessibility.Accessible
- Direct Known Subclasses:
PNLogReplayProjectedVisPanelEmbedded
public abstract class ProjectionVisPanelEmbedded extends org.processmining.framework.util.ui.widgets.InspectorPanel- Author:
- aadrians Jul 15, 2012
- 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
-
-
Field Summary
Fields Modifier and Type Field Description protected com.fluxicon.slickerbox.factory.SlickerDecoratordecoratorprotected java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,TransConfDecoratorEmbedded>decoratorMapprotected com.fluxicon.slickerbox.factory.SlickerFactoryfactoryprotected org.processmining.models.jgraph.ProMJGraphgraphprotected org.deckfour.xes.model.XLoglogprotected org.processmining.plugins.petrinet.replayresult.PNRepResultlogReplayResultprotected java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer>mapEc2Intprotected java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer>mapTrans2Idxprotected org.processmining.models.semantics.petrinet.Markingmarkingstatic intMAX_ZOOMprotected org.processmining.models.graphbased.directed.petrinet.PetrinetGraphnetprotected org.processmining.models.connections.GraphLayoutConnectionoldLayoutConnprotected org.processmining.framework.util.ui.scalableview.ScalableComponentscalableprotected javax.swing.JScrollPanescroll-
Fields inherited from class org.processmining.framework.util.ui.widgets.ProMSplitPane
HORIZONTAL_SPLIT, VERTICAL_SPLIT
-
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
-
-
Constructor Summary
Constructors Constructor Description ProjectionVisPanelEmbedded(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph origNet, org.processmining.models.semantics.petrinet.Marking origMarking, org.deckfour.xes.model.XLog log, org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping map, org.processmining.plugins.petrinet.replayresult.PNRepResult logReplayResult)
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description abstract voidfilterAlignmentPreserveIndex(java.util.Set<java.lang.Integer> preservedIndex)protected floatgetAppropriateStrokeWidth(double value)javax.swing.JComponentgetComponent()java.awt.ComponentgetHorizontalScrollBar()org.processmining.plugins.petrinet.replayresult.PNRepResultgetLogReplayResult()org.processmining.framework.util.ui.scalableview.ScalableComponentgetScalable()doublegetScale()java.awt.ComponentgetVerticalScrollBar()javax.swing.JViewportgetViewport()voidsetScale(double d)-
Methods inherited from class org.processmining.framework.util.ui.widgets.InspectorPanel
add, addInfo, getInspector, remove, resize, rightClicked, setLayout, validate
-
Methods inherited from class org.processmining.framework.util.ui.widgets.ProMSplitPane
leftClicked, setBottomComponent, setDividerLocation, setDividerLocation, setDividerSize, setLeftComponent, setOneTouchExpandable, setResizeWeight, setRightComponent, setTopComponent
-
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, 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, 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
-
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
-
-
-
-
Field Detail
-
factory
protected com.fluxicon.slickerbox.factory.SlickerFactory factory
-
decorator
protected com.fluxicon.slickerbox.factory.SlickerDecorator decorator
-
graph
protected org.processmining.models.jgraph.ProMJGraph graph
-
scalable
protected org.processmining.framework.util.ui.scalableview.ScalableComponent scalable
-
scroll
protected javax.swing.JScrollPane scroll
-
MAX_ZOOM
public static final int MAX_ZOOM
- See Also:
- Constant Field Values
-
log
protected org.deckfour.xes.model.XLog log
-
logReplayResult
protected org.processmining.plugins.petrinet.replayresult.PNRepResult logReplayResult
-
mapTrans2Idx
protected java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Idx
-
mapEc2Int
protected java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEc2Int
-
oldLayoutConn
protected org.processmining.models.connections.GraphLayoutConnection oldLayoutConn
-
net
protected org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net
-
marking
protected org.processmining.models.semantics.petrinet.Marking marking
-
decoratorMap
protected java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,TransConfDecoratorEmbedded> decoratorMap
-
-
Constructor Detail
-
ProjectionVisPanelEmbedded
public ProjectionVisPanelEmbedded(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph origNet, org.processmining.models.semantics.petrinet.Marking origMarking, org.deckfour.xes.model.XLog log, org.processmining.plugins.connectionfactories.logpetrinet.TransEvClassMapping map, org.processmining.plugins.petrinet.replayresult.PNRepResult logReplayResult)
-
-
Method Detail
-
getComponent
public javax.swing.JComponent getComponent()
-
getLogReplayResult
public org.processmining.plugins.petrinet.replayresult.PNRepResult getLogReplayResult()
- Returns:
- the logReplayResult
-
getScalable
public org.processmining.framework.util.ui.scalableview.ScalableComponent getScalable()
- Returns:
- the scalable
-
getViewport
public javax.swing.JViewport getViewport()
-
setScale
public void setScale(double d)
-
getScale
public double getScale()
-
getVerticalScrollBar
public java.awt.Component getVerticalScrollBar()
-
getHorizontalScrollBar
public java.awt.Component getHorizontalScrollBar()
-
getAppropriateStrokeWidth
protected float getAppropriateStrokeWidth(double value)
-
filterAlignmentPreserveIndex
public abstract void filterAlignmentPreserveIndex(java.util.Set<java.lang.Integer> preservedIndex)
-
-