org.processmining.plugins.causalnet.visualizer

Class AnnotatedScalableView

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.plugins.causalnet.visualizer.AnnotatedScalableView

All Implemented Interfaces:

java.awt.event.MouseMotionListener, java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, java.util.EventListener, javax.accessibility.Accessible, javax.swing.event.ChangeListener, org.processmining.framework.util.Cleanable, org.processmining.framework.util.ui.scalableview.ScalableComponent.UpdateListener

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

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

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.BaselineResizeBehavior, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy

Field Summary

Fields

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.

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

Fields inherited from class java.awt.Component

accessibleContext, 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

Constructors

Constructor and Description
AnnotatedScalableView(org.processmining.framework.util.ui.scalableview.ScalableComponent scalableComponent, CausalNetAnnotations annotations)

Method Summary

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.)

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 org.processmining.framework.util.ui.widgets.BorderPanel

paintComponent

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, 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

Methods inherited from class java.lang.Object

clone, equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

MAX_ZOOM

public static final int MAX_ZOOM

The maximal zoom factor for the primary view on the transition system.

See Also:

Constant Field Values

scalable

protected final org.processmining.framework.util.ui.scalableview.ScalableComponent scalable

The access to scalable methods of primary view

scroll

protected javax.swing.JScrollPane scroll

The scroll pane containing the primary view on the transition system.

annotations

protected CausalNetAnnotations annotations

inspector

protected org.processmining.framework.util.ui.widgets.Inspector inspector

inspectorTabs

protected java.util.HashMap<java.lang.String,javax.swing.JPanel> inspectorTabs

factory

protected com.fluxicon.slickerbox.factory.SlickerFactory factory

decorator

protected com.fluxicon.slickerbox.factory.SlickerDecorator decorator

Constructor Detail

AnnotatedScalableView

public AnnotatedScalableView(org.processmining.framework.util.ui.scalableview.ScalableComponent scalableComponent,
                             CausalNetAnnotations annotations)

Method Detail

getHorizontalScrollBar

public javax.swing.JScrollBar getHorizontalScrollBar()

getVerticalScrollBar

public javax.swing.JScrollBar getVerticalScrollBar()

getScale

public double getScale()

Returns the zoom factor of the primary view.

Returns:

The zoom factor of the primary view.

setScale

public void setScale(double d)

Sets the zoom factor of the primary view to the given factor.

Parameters:

d - The given factor.

cleanUp

public void cleanUp()

Clean up.

Specified by:

cleanUp in interface org.processmining.framework.util.Cleanable

stateChanged

public void stateChanged(javax.swing.event.ChangeEvent e)

Deals with change events.

Specified by:

stateChanged in interface javax.swing.event.ChangeListener

finalize

public void finalize()
              throws java.lang.Throwable

Deals with garbage collection.

Overrides:

finalize in class java.lang.Object

Throws:

java.lang.Throwable

updated

public void updated()

Description copied from interface: org.processmining.framework.util.ui.scalableview.ScalableComponent.UpdateListener

This method should be called if the component is updated (layout, content, etc.)

Specified by:

updated in interface org.processmining.framework.util.ui.scalableview.ScalableComponent.UpdateListener

getViewport

public javax.swing.JViewport getViewport()

scaleToFit

public void scaleToFit()

getComponent

public javax.swing.JComponent getComponent()

getScalable

public org.processmining.framework.util.ui.scalableview.ScalableComponent getScalable()

mouseDragged

public void mouseDragged(java.awt.event.MouseEvent e)

Specified by:

mouseDragged in interface java.awt.event.MouseMotionListener

mouseMoved

public void mouseMoved(java.awt.event.MouseEvent e)

Specified by:

mouseMoved in interface java.awt.event.MouseMotionListener

addViewPanel

public void addViewPanel(javax.swing.JComponent panel,
                         java.lang.String title,
                         java.lang.String tab,
                         boolean open)

redraw

public void redraw(AnnotatedVisualizationSettings settings)

addPatternsViewports

public void addPatternsViewports(PatternsPanel joins,
                                 PatternsPanel splits)

addInteractionViewports

public void addInteractionViewports(PIPPanel pip,
                                    ZoomPanel zoom)

getElementForLocation

public org.processmining.models.graphbased.directed.DirectedGraphElement getElementForLocation(org.processmining.models.jgraph.ProMJGraph graph,
                                                                                               double x,
                                                                                               double y)

getSelectedNodes

public java.util.Collection<org.processmining.models.graphbased.directed.DirectedGraphNode> getSelectedNodes(org.processmining.models.jgraph.ProMJGraph graph)

getSelectedEdges

public java.util.Collection<org.processmining.models.graphbased.directed.DirectedGraphEdge<?,?>> getSelectedEdges(org.processmining.models.jgraph.ProMJGraph graph)

getSelectedElements

public java.util.Collection<org.processmining.models.graphbased.directed.DirectedGraphElement> getSelectedElements(org.processmining.models.jgraph.ProMJGraph graph)