public class AnnotatedScalableView
extends org.processmining.framework.util.ui.widgets.InspectorPanel
implements org.processmining.framework.util.Cleanable, javax.swing.event.ChangeListener, java.awt.event.MouseMotionListener, org.processmining.framework.util.ui.scalableview.ScalableComponent.UpdateListener
javax.swing.JPanel.AccessibleJPanel
javax.swing.JComponent.AccessibleJComponent
Modifier and Type | Field and Description |
---|---|
protected CausalNetAnnotations |
annotations |
protected com.fluxicon.slickerbox.factory.SlickerDecorator |
decorator |
protected com.fluxicon.slickerbox.factory.SlickerFactory |
factory |
protected org.processmining.framework.util.ui.widgets.Inspector |
inspector |
protected java.util.HashMap<java.lang.String,javax.swing.JPanel> |
inspectorTabs |
static int |
MAX_ZOOM
The maximal zoom factor for the primary view on the transition system.
|
protected org.processmining.framework.util.ui.scalableview.ScalableComponent |
scalable
The access to scalable methods of primary view
|
protected javax.swing.JScrollPane |
scroll
The scroll pane containing the primary view on the transition system.
|
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 |
---|
AnnotatedScalableView(org.processmining.framework.util.ui.scalableview.ScalableComponent scalableComponent,
CausalNetAnnotations annotations) |
Modifier and Type | Method and Description |
---|---|
void |
addInteractionViewports(PIPPanel pip,
ZoomPanel zoom) |
void |
addPatternsViewports(PatternsPanel joins,
PatternsPanel splits) |
void |
addViewPanel(javax.swing.JComponent panel,
java.lang.String title,
java.lang.String tab,
boolean open) |
void |
cleanUp()
Clean up.
|
void |
finalize()
Deals with garbage collection.
|
javax.swing.JComponent |
getComponent() |
org.processmining.models.graphbased.directed.DirectedGraphElement |
getElementForLocation(org.processmining.models.jgraph.ProMJGraph graph,
double x,
double y) |
javax.swing.JScrollBar |
getHorizontalScrollBar() |
org.processmining.framework.util.ui.scalableview.ScalableComponent |
getScalable() |
double |
getScale()
Returns the zoom factor of the primary view.
|
java.util.Collection<org.processmining.models.graphbased.directed.DirectedGraphEdge<?,?>> |
getSelectedEdges(org.processmining.models.jgraph.ProMJGraph graph) |
java.util.Collection<org.processmining.models.graphbased.directed.DirectedGraphElement> |
getSelectedElements(org.processmining.models.jgraph.ProMJGraph graph) |
java.util.Collection<org.processmining.models.graphbased.directed.DirectedGraphNode> |
getSelectedNodes(org.processmining.models.jgraph.ProMJGraph graph) |
javax.swing.JScrollBar |
getVerticalScrollBar() |
javax.swing.JViewport |
getViewport() |
void |
mouseDragged(java.awt.event.MouseEvent e) |
void |
mouseMoved(java.awt.event.MouseEvent e) |
void |
redraw(AnnotatedVisualizationSettings settings) |
void |
scaleToFit() |
void |
setScale(double d)
Sets the zoom factor of the primary view to the given factor.
|
void |
stateChanged(javax.swing.event.ChangeEvent e)
Deals with change events.
|
void |
updated()
This method should be called if the component is updated (layout,
content, etc.)
|
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
public static final int MAX_ZOOM
protected final org.processmining.framework.util.ui.scalableview.ScalableComponent scalable
protected javax.swing.JScrollPane scroll
protected CausalNetAnnotations annotations
protected org.processmining.framework.util.ui.widgets.Inspector inspector
protected java.util.HashMap<java.lang.String,javax.swing.JPanel> inspectorTabs
protected com.fluxicon.slickerbox.factory.SlickerFactory factory
protected com.fluxicon.slickerbox.factory.SlickerDecorator decorator
public AnnotatedScalableView(org.processmining.framework.util.ui.scalableview.ScalableComponent scalableComponent, CausalNetAnnotations annotations)
public javax.swing.JScrollBar getHorizontalScrollBar()
public javax.swing.JScrollBar getVerticalScrollBar()
public double getScale()
public void setScale(double d)
d
- The given factor.public void cleanUp()
cleanUp
in interface org.processmining.framework.util.Cleanable
public void stateChanged(javax.swing.event.ChangeEvent e)
stateChanged
in interface javax.swing.event.ChangeListener
public void finalize() throws java.lang.Throwable
finalize
in class java.lang.Object
java.lang.Throwable
public void updated()
org.processmining.framework.util.ui.scalableview.ScalableComponent.UpdateListener
updated
in interface org.processmining.framework.util.ui.scalableview.ScalableComponent.UpdateListener
public javax.swing.JViewport getViewport()
public void scaleToFit()
public javax.swing.JComponent getComponent()
public org.processmining.framework.util.ui.scalableview.ScalableComponent getScalable()
public void mouseDragged(java.awt.event.MouseEvent e)
mouseDragged
in interface java.awt.event.MouseMotionListener
public void mouseMoved(java.awt.event.MouseEvent e)
mouseMoved
in interface java.awt.event.MouseMotionListener
public void addViewPanel(javax.swing.JComponent panel, java.lang.String title, java.lang.String tab, boolean open)
public void redraw(AnnotatedVisualizationSettings settings)
public void addPatternsViewports(PatternsPanel joins, PatternsPanel splits)
public org.processmining.models.graphbased.directed.DirectedGraphElement getElementForLocation(org.processmining.models.jgraph.ProMJGraph graph, double x, double y)
public java.util.Collection<org.processmining.models.graphbased.directed.DirectedGraphNode> getSelectedNodes(org.processmining.models.jgraph.ProMJGraph graph)
public java.util.Collection<org.processmining.models.graphbased.directed.DirectedGraphEdge<?,?>> getSelectedEdges(org.processmining.models.jgraph.ProMJGraph graph)
public java.util.Collection<org.processmining.models.graphbased.directed.DirectedGraphElement> getSelectedElements(org.processmining.models.jgraph.ProMJGraph graph)