org.processmining.framework.util.ui.widgets
Class ScalableViewPanel

java.lang.Object
  extended by java.awt.Component
      extended by java.awt.Container
          extended by javax.swing.JComponent
              extended by javax.swing.JPanel
                  extended by org.processmining.framework.util.ui.widgets.BorderPanel
                      extended by org.processmining.framework.util.ui.widgets.ProMSplitPane
                          extended by org.processmining.framework.util.ui.widgets.InspectorPanel
                              extended by org.processmining.framework.util.ui.widgets.ScalableViewPanel
All Implemented Interfaces:
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 ScalableViewPanel
extends InspectorPanel
implements org.processmining.framework.util.Cleanable, javax.swing.event.ChangeListener, org.processmining.framework.util.ui.scalableview.ScalableComponent.UpdateListener

Panel for visualizing components.

Author:
hverbeek
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
protected  com.fluxicon.slickerbox.factory.SlickerDecorator decorator
           
protected  com.fluxicon.slickerbox.factory.SlickerFactory factory
           
protected  javax.swing.JWindow inspector
           
static int MAX_ZOOM
          The maximal zoom factor for the primary view on the transition system.
protected  boolean moved
           
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.
static int TAB_HEIGHT
           
static int TAB_WIDTH
           
 
Fields inherited from class org.processmining.framework.util.ui.widgets.ProMSplitPane
HORIZONTAL_SPLIT, VERTICAL_SPLIT
 
Fields inherited from class javax.swing.JComponent
accessibleContext, 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
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
ScalableViewPanel(org.processmining.framework.util.ui.scalableview.ScalableComponent scalableComponent)
          Create a panel for visualizing the given view.
 
Method Summary
 void addButton(javax.swing.JLabel label, java.awt.event.ActionListener listener, int location)
          Adds a button to one of the positions on the screen indicated by the location parameter.
 void addViewInteractionPanel(org.processmining.framework.util.ui.scalableview.interaction.ViewInteractionPanel panel, int location)
          Adds the interaction panel at the given location.
 void cleanUp()
          Clean up.
 void finalize()
          Deals with garbage collection.
protected  javax.swing.JComponent getComponent()
           
 javax.swing.JScrollBar getHorizontalScrollBar()
           
 double getScale()
          Returns the zoom factor of the primary view.
 javax.swing.JScrollBar getVerticalScrollBar()
           
 javax.swing.JViewport getViewport()
           
protected  void initialize()
           
 void scaleToFit()
           
 void setScale(double d)
          Sets the zoom factor of the primary view to the given factor.
 void setSize(org.processmining.framework.util.ui.scalableview.interaction.ViewInteractionPanel panel, javax.swing.JPanel panelOff, javax.swing.JPanel panelOn)
           
 void stateChanged(javax.swing.event.ChangeEvent e)
          Deals with change events.
 void updated()
           
 
Methods inherited from class org.processmining.framework.util.ui.widgets.InspectorPanel
add, addInfo, getInspector, remove, rightClicked, setLayout, validate
 
Methods inherited from class org.processmining.framework.util.ui.widgets.ProMSplitPane
leftClicked, setBottomComponent, 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, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, 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, transferFocusBackward, 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, hide, 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, 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.


factory

protected com.fluxicon.slickerbox.factory.SlickerFactory factory

decorator

protected com.fluxicon.slickerbox.factory.SlickerDecorator decorator

inspector

protected javax.swing.JWindow inspector

moved

protected boolean moved

TAB_HEIGHT

public static final int TAB_HEIGHT
See Also:
Constant Field Values

TAB_WIDTH

public static final int TAB_WIDTH
See Also:
Constant Field Values
Constructor Detail

ScalableViewPanel

public ScalableViewPanel(org.processmining.framework.util.ui.scalableview.ScalableComponent scalableComponent)
Create a panel for visualizing the given view.

Parameters:
scalableComponent - The given graph
Method Detail

addViewInteractionPanel

public void addViewInteractionPanel(org.processmining.framework.util.ui.scalableview.interaction.ViewInteractionPanel panel,
                                    int location)
Adds the interaction panel at the given location. Location is one of SwingConstants.NORTH, SwingConstants.SOUTH, SwingConstants.EAST, or SwingConstants.WEST

Parameters:
panel -
location -

addButton

public void addButton(javax.swing.JLabel label,
                      java.awt.event.ActionListener listener,
                      int location)
Adds a button to one of the positions on the screen indicated by the location parameter. Should be SwingConstants.NORTH_EAST, SwingConstants.SOUTH_EAST SwingConstants.NORTH_WEST, SwingConstants.SOUTH_WEST

Parameters:
label -
listener -
location -

initialize

protected void initialize()

setSize

public void setSize(org.processmining.framework.util.ui.scalableview.interaction.ViewInteractionPanel panel,
                    javax.swing.JPanel panelOff,
                    javax.swing.JPanel panelOn)

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()
Specified by:
updated in interface org.processmining.framework.util.ui.scalableview.ScalableComponent.UpdateListener

getViewport

public javax.swing.JViewport getViewport()

scaleToFit

public void scaleToFit()

getComponent

protected javax.swing.JComponent getComponent()