org.processmining.framework.util.ui.scalableview.interaction

Class PIPInteractionPanel

java.lang.Object

java.awt.Component

java.awt.Container

javax.swing.JComponent

javax.swing.JPanel

org.processmining.framework.util.ui.scalableview.interaction.PIPInteractionPanel

All Implemented Interfaces:

java.awt.event.MouseListener, java.awt.event.MouseMotionListener, java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, java.util.EventListener, javax.accessibility.Accessible, ViewInteractionPanel, ScalableComponent.UpdateListener

public class PIPInteractionPanel
extends javax.swing.JPanel
implements java.awt.event.MouseListener, java.awt.event.MouseMotionListener, ViewInteractionPanel

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
static java.awt.Stroke	DEFAULTSTROKE
static int	PIPSIZE

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
PIPInteractionPanel(ScalableViewPanel panel)

Method Summary

Modifier and Type	Method and Description
void	drawMain(double x, double y)
javax.swing.JComponent	getComponent() Returns the component that is shown if this panel is activated by the user.
double	getHeightInView() Returns the preferred height of this component when shown to the user.
java.lang.String	getPanelName() Returns the name of the panel.
int	getPosition()
java.awt.geom.Rectangle2D	getRect()
double	getScale()
double	getVisHeight()
double	getVisWidth()
double	getWidthInView() Returns the preferred width of this component when shown to the user.
void	initializeImage()
void	mouseClicked(java.awt.event.MouseEvent e)
void	mouseDragged(java.awt.event.MouseEvent evt)
void	mouseEntered(java.awt.event.MouseEvent e)
void	mouseExited(java.awt.event.MouseEvent e)
void	mouseMoved(java.awt.event.MouseEvent e)
void	mousePressed(java.awt.event.MouseEvent e)
void	mouseReleased(java.awt.event.MouseEvent e)
void	paint(java.awt.Graphics g)
void	setParent(ScalableViewPanel parent) This method is called by the ProM scalable view as soon as the panel is added to this view.
void	setRect()
void	setScalableComponent(ScalableComponent scalable) This method is called by the ProM scalable view as soon as the panel is added to this view.
void	setSize(int width, int height)
void	updated() This method should be called if the component is updated (layout, content, etc.)
void	willChangeVisibility(boolean to) This method is called by the ProMScalableView panel just before the component of this interaction panel will be shown to the user or hidden from the user.

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

Methods inherited from class java.awt.Container

add, 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, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setLayout, transferFocusDownCycle, validate, 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, show, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle

Methods inherited from class java.lang.Object

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

Field Detail

PIPSIZE

public static final int PIPSIZE

See Also:

Constant Field Values

DEFAULTSTROKE

public static final java.awt.Stroke DEFAULTSTROKE

Constructor Detail

PIPInteractionPanel

public PIPInteractionPanel(ScalableViewPanel panel)

Method Detail

initializeImage

public void initializeImage()

getVisWidth

public double getVisWidth()

getVisHeight

public double getVisHeight()

paint

public void paint(java.awt.Graphics g)

Overrides:

paint in class javax.swing.JComponent

getRect

public java.awt.geom.Rectangle2D getRect()

setRect

public void setRect()

mouseDragged

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

Specified by:

mouseDragged in interface java.awt.event.MouseMotionListener

mouseClicked

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

Specified by:

mouseClicked in interface java.awt.event.MouseListener

mouseEntered

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

Specified by:

mouseEntered in interface java.awt.event.MouseListener

mouseExited

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

Specified by:

mouseExited in interface java.awt.event.MouseListener

mouseMoved

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

Specified by:

mouseMoved in interface java.awt.event.MouseMotionListener

mousePressed

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

Specified by:

mousePressed in interface java.awt.event.MouseListener

mouseReleased

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

Specified by:

mouseReleased in interface java.awt.event.MouseListener

drawMain

public void drawMain(double x,
                     double y)

getScale

public double getScale()

setScalableComponent

public void setScalableComponent(ScalableComponent scalable)

Description copied from interface: ViewInteractionPanel

This method is called by the ProM scalable view as soon as the panel is added to this view. The scalable provided can be used for interaction.

Specified by:

setScalableComponent in interface ViewInteractionPanel

setParent

public void setParent(ScalableViewPanel parent)

Description copied from interface: ViewInteractionPanel

This method is called by the ProM scalable view as soon as the panel is added to this view. The scalable provided can be used for interaction.

Specified by:

setParent in interface ViewInteractionPanel

getComponent

public javax.swing.JComponent getComponent()

Description copied from interface: ViewInteractionPanel

Returns the component that is shown if this panel is activated by the user. Most implementations will actually override JComponent and return this in this method.

Specified by:

getComponent in interface ViewInteractionPanel

Returns:

a component

getPosition

public int getPosition()

getPanelName

public java.lang.String getPanelName()

Description copied from interface: ViewInteractionPanel

Returns the name of the panel. This name is shown in the user interface when the component is not shown.

Specified by:

getPanelName in interface ViewInteractionPanel

Returns:

updated

public void updated()

Description copied from interface: ScalableComponent.UpdateListener

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

Specified by:

updated in interface ScalableComponent.UpdateListener

getHeightInView

public double getHeightInView()

Description copied from interface: ViewInteractionPanel

Returns the preferred height of this component when shown to the user. A value between 0 and 1 (including 1) indicates a requested height relative to the height of the screen. A value greater than 1 indicates a fixed height in pixels .

Specified by:

getHeightInView in interface ViewInteractionPanel

Returns:

getWidthInView

public double getWidthInView()

Description copied from interface: ViewInteractionPanel

Returns the preferred width of this component when shown to the user. A value between 0 and 1 (including 1) indicates a requested width relative to the width of the screen. A value greater than 1 indicates a fixed width in pixels.

Specified by:

getWidthInView in interface ViewInteractionPanel

Returns:

willChangeVisibility

public void willChangeVisibility(boolean to)

Description copied from interface: ViewInteractionPanel

This method is called by the ProMScalableView panel just before the component of this interaction panel will be shown to the user or hidden from the user. The height and width of the component are set to what is requested by getHeightInView() and getWidthInView();

Specified by:

willChangeVisibility in interface ViewInteractionPanel

Parameters:

to - TODO

setSize

public void setSize(int width,
                    int height)

Overrides:

setSize in class java.awt.Component