|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.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.framework.util.ui.widgets.ScalableViewPanel
public class ScalableViewPanel
Panel for visualizing components.
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 |
---|
public static final int MAX_ZOOM
protected final org.processmining.framework.util.ui.scalableview.ScalableComponent scalable
protected javax.swing.JScrollPane scroll
protected com.fluxicon.slickerbox.factory.SlickerFactory factory
protected com.fluxicon.slickerbox.factory.SlickerDecorator decorator
protected javax.swing.JWindow inspector
protected boolean moved
public static final int TAB_HEIGHT
public static final int TAB_WIDTH
Constructor Detail |
---|
public ScalableViewPanel(org.processmining.framework.util.ui.scalableview.ScalableComponent scalableComponent)
scalableComponent
- The given graphMethod Detail |
---|
public void addViewInteractionPanel(org.processmining.framework.util.ui.scalableview.interaction.ViewInteractionPanel panel, int location)
panel
- location
- public void addButton(javax.swing.JLabel label, java.awt.event.ActionListener listener, int location)
label
- listener
- location
- protected void initialize()
public void setSize(org.processmining.framework.util.ui.scalableview.interaction.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()
updated
in interface org.processmining.framework.util.ui.scalableview.ScalableComponent.UpdateListener
public javax.swing.JViewport getViewport()
public void scaleToFit()
protected javax.swing.JComponent getComponent()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |