public abstract class ProjectionVisPanel
extends org.processmining.framework.util.ui.widgets.InspectorPanel
javax.swing.JPanel.AccessibleJPanel
javax.swing.JComponent.AccessibleJComponent
Modifier and Type | Field and Description |
---|---|
protected com.fluxicon.slickerbox.factory.SlickerDecorator |
decorator |
protected java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,TransConfDecorator> |
decoratorMap |
protected com.fluxicon.slickerbox.factory.SlickerFactory |
factory |
protected org.processmining.models.jgraph.ProMJGraph |
graph |
protected org.deckfour.xes.model.XLog |
log |
protected org.processmining.plugins.petrinet.replayresult.PNRepResult |
logReplayResult |
protected java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> |
mapEc2Int |
protected java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> |
mapTrans2Idx |
protected org.processmining.models.semantics.petrinet.Marking |
marking |
static int |
MAX_ZOOM |
protected org.processmining.models.graphbased.directed.petrinet.PetrinetGraph |
net |
protected org.processmining.models.connections.GraphLayoutConnection |
oldLayoutConn |
protected org.processmining.framework.util.ui.scalableview.ScalableComponent |
scalable |
protected javax.swing.JScrollPane |
scroll |
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 |
---|
ProjectionVisPanel(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) |
Modifier and Type | Method and Description |
---|---|
void |
addInteractionViewports(ViewPanel viewPanel) |
protected CaseFilterPanel |
createCaseFilterPanel() |
protected ViewPanel |
createViewPanel(ProjectionVisPanel mainPanel,
int maxZoom) |
abstract void |
filterAlignmentPreserveIndex(java.util.Set<java.lang.Integer> preservedIndex) |
protected float |
getAppropriateStrokeWidth(double value) |
javax.swing.JComponent |
getComponent() |
java.awt.Component |
getHorizontalScrollBar() |
org.processmining.plugins.petrinet.replayresult.PNRepResult |
getLogReplayResult() |
org.processmining.framework.util.ui.scalableview.ScalableComponent |
getScalable() |
double |
getScale() |
java.awt.Component |
getVerticalScrollBar() |
javax.swing.JViewport |
getViewport() |
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 com.fluxicon.slickerbox.factory.SlickerFactory factory
protected com.fluxicon.slickerbox.factory.SlickerDecorator decorator
protected org.processmining.models.jgraph.ProMJGraph graph
protected org.processmining.framework.util.ui.scalableview.ScalableComponent scalable
protected javax.swing.JScrollPane scroll
public static final int MAX_ZOOM
protected org.deckfour.xes.model.XLog log
protected org.processmining.plugins.petrinet.replayresult.PNRepResult logReplayResult
protected java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> mapTrans2Idx
protected java.util.Map<org.deckfour.xes.classification.XEventClass,java.lang.Integer> mapEc2Int
protected org.processmining.models.connections.GraphLayoutConnection oldLayoutConn
protected org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net
protected org.processmining.models.semantics.petrinet.Marking marking
protected java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,TransConfDecorator> decoratorMap
public ProjectionVisPanel(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) throws org.processmining.framework.connections.ConnectionCannotBeObtained
org.processmining.framework.connections.ConnectionCannotBeObtained
public javax.swing.JComponent getComponent()
public org.processmining.plugins.petrinet.replayresult.PNRepResult getLogReplayResult()
public org.processmining.framework.util.ui.scalableview.ScalableComponent getScalable()
public javax.swing.JViewport getViewport()
public void setScale(double d)
public double getScale()
public java.awt.Component getVerticalScrollBar()
public java.awt.Component getHorizontalScrollBar()
protected ViewPanel createViewPanel(ProjectionVisPanel mainPanel, int maxZoom)
public void addInteractionViewports(ViewPanel viewPanel)
protected CaseFilterPanel createCaseFilterPanel()
protected float getAppropriateStrokeWidth(double value)
public abstract void filterAlignmentPreserveIndex(java.util.Set<java.lang.Integer> preservedIndex)