Package org.processmining.plugins.editor

Class TransitionSystemEditorMouseListener

java.lang.Object

java.awt.event.MouseAdapter

org.processmining.plugins.editor.TransitionSystemEditorMouseListener

All Implemented Interfaces:

java.awt.event.MouseListener, java.awt.event.MouseMotionListener, java.awt.event.MouseWheelListener, java.util.EventListener

public class TransitionSystemEditorMouseListener
extends java.awt.event.MouseAdapter

Constructor Summary

Constructors

Constructor	Description
TransitionSystemEditorMouseListener(TransitionSystem transitionSystem, TransitionSystemEditorPanel panel)

Method Summary

Modifier and Type	Method	Description
TransitionSystemEditorPopupMenu	getMenu()
TransitionSystemEditorPanel	getPanel()
TransitionSystem	getTransitionSystem()
void	mouseClicked(java.awt.event.MouseEvent e)
void	mousePressed(java.awt.event.MouseEvent e)
void	mouseReleased(java.awt.event.MouseEvent e)
void	mouseWheelMoved(java.awt.event.MouseWheelEvent e)	Changes the graph's scale when the mouse wheel is moved.
void	setMenu(TransitionSystemEditorPopupMenu menu)
void	setPanel(TransitionSystemEditorPanel panel)
void	setTransitionSystem(TransitionSystem transitionSystem)
void	updatePanel()

Methods inherited from class java.awt.event.MouseAdapter

mouseDragged, mouseEntered, mouseExited, mouseMoved

Methods inherited from class java.lang.Object

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

Constructor Detail

TransitionSystemEditorMouseListener

public TransitionSystemEditorMouseListener(TransitionSystem transitionSystem,
                                           TransitionSystemEditorPanel panel)

Method Detail

getTransitionSystem

public TransitionSystem getTransitionSystem()

setTransitionSystem

public void setTransitionSystem(TransitionSystem transitionSystem)

getPanel

public TransitionSystemEditorPanel getPanel()

setPanel

public void setPanel(TransitionSystemEditorPanel panel)

getMenu

public TransitionSystemEditorPopupMenu getMenu()

setMenu

public void setMenu(TransitionSystemEditorPopupMenu menu)

mousePressed

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

Specified by:

mousePressed in interface java.awt.event.MouseListener

Overrides:

mousePressed in class java.awt.event.MouseAdapter

mouseClicked

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

Specified by:

mouseClicked in interface java.awt.event.MouseListener

Overrides:

mouseClicked in class java.awt.event.MouseAdapter

mouseReleased

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

Specified by:

mouseReleased in interface java.awt.event.MouseListener

Overrides:

mouseReleased in class java.awt.event.MouseAdapter

mouseWheelMoved

public void mouseWheelMoved(java.awt.event.MouseWheelEvent e)

Changes the graph's scale when the mouse wheel is moved.

Specified by:

mouseWheelMoved in interface java.awt.event.MouseWheelListener

Overrides:

mouseWheelMoved in class java.awt.event.MouseAdapter

updatePanel

public void updatePanel()