public class ScalableViewPanel extends javax.swing.JLayeredPane implements org.processmining.framework.util.Cleanable, javax.swing.event.ChangeListener, java.awt.event.MouseMotionListener, ScalableComponent.UpdateListener
javax.swing.JLayeredPane.AccessibleJLayeredPane
javax.swing.JComponent.AccessibleJComponent
Modifier and Type | Field and Description |
---|---|
protected com.fluxicon.slickerbox.factory.SlickerDecorator |
decorator |
protected com.fluxicon.slickerbox.factory.SlickerFactory |
factory |
static int |
MAX_ZOOM
The maximal zoom factor for the primary view on the transition system.
|
protected 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 |
DEFAULT_LAYER, DRAG_LAYER, FRAME_CONTENT_LAYER, LAYER_PROPERTY, MODAL_LAYER, PALETTE_LAYER, POPUP_LAYER
listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW
Constructor and Description |
---|
ScalableViewPanel(ScalableComponent scalableComponent)
Create a panel for visualizing the given view.
|
Modifier and Type | Method and Description |
---|---|
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(ViewInteractionPanel panel,
int location)
Adds the interaction panel at the given location.
|
void |
cleanUp()
Clean up.
|
void |
finalize()
Deals with garbage collection.
|
javax.swing.JComponent |
getComponent() |
javax.swing.JScrollBar |
getHorizontalScrollBar() |
double |
getScale()
Returns the zoom factor of the primary view.
|
javax.swing.JScrollBar |
getVerticalScrollBar() |
java.util.Map<ViewInteractionPanel,java.lang.Integer> |
getViewInteractionPanels()
List all registered interaction panels and their locations.
|
javax.swing.JViewport |
getViewport() |
protected void |
initialize() |
void |
mouseDragged(java.awt.event.MouseEvent e) |
void |
mouseMoved(java.awt.event.MouseEvent e) |
void |
removeViewInteractionPanel(ViewInteractionPanel panel)
Remove a previously added interaction panel from the ScalableViewPanel.
|
void |
scaleToFit() |
void |
setLocation(ViewInteractionPanel panel,
javax.swing.JPanel panelOff,
javax.swing.JPanel panelOn) |
void |
setScale(double d)
Sets the zoom factor of the primary view to the given factor.
|
void |
setSize(ViewInteractionPanel panel,
javax.swing.JPanel panelOff,
javax.swing.JPanel panelOn) |
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.)
|
addImpl, getAccessibleContext, getComponentCountInLayer, getComponentsInLayer, getComponentToLayer, getIndexOf, getLayer, getLayer, getLayeredPaneAbove, getObjectForLayer, getPosition, highestLayer, insertIndexForLayer, isOptimizedDrawingEnabled, lowestLayer, moveToBack, moveToFront, paint, paramString, putLayer, remove, removeAll, setLayer, setLayer, setPosition
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, getUIClassID, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, hide, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isPaintingForPrint, isPaintingOrigin, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paintBorder, paintChildren, paintComponent, 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, updateUI
add, add, add, add, add, addContainerListener, 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, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setLayout, transferFocusDownCycle, validate, 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 ScalableComponent scalable
protected javax.swing.JScrollPane scroll
protected com.fluxicon.slickerbox.factory.SlickerFactory factory
protected com.fluxicon.slickerbox.factory.SlickerDecorator decorator
public static final int TAB_HEIGHT
public static final int TAB_WIDTH
public ScalableViewPanel(ScalableComponent scalableComponent)
scalableComponent
- The given graphpublic void addViewInteractionPanel(ViewInteractionPanel panel, int location)
panel
- location
- public void removeViewInteractionPanel(ViewInteractionPanel panel)
panel
- The panel that should be removed.public java.util.Map<ViewInteractionPanel,java.lang.Integer> getViewInteractionPanels()
public void mouseMoved(java.awt.event.MouseEvent e)
mouseMoved
in interface java.awt.event.MouseMotionListener
public void mouseDragged(java.awt.event.MouseEvent e)
mouseDragged
in interface java.awt.event.MouseMotionListener
public void addButton(javax.swing.JLabel label, java.awt.event.ActionListener listener, int location)
label
- listener
- location
- protected void initialize()
public void setSize(ViewInteractionPanel panel, javax.swing.JPanel panelOff, javax.swing.JPanel panelOn)
public void setLocation(ViewInteractionPanel panel, javax.swing.JPanel panelOff, javax.swing.JPanel panelOn)
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()
ScalableComponent.UpdateListener
updated
in interface ScalableComponent.UpdateListener
public javax.swing.JViewport getViewport()
public void scaleToFit()
public javax.swing.JComponent getComponent()