pipe.gui
Class GuiView.MouseHandler

java.lang.Object
  extended byjavax.swing.event.MouseInputAdapter
      extended bypipe.gui.GuiView.MouseHandler
All Implemented Interfaces:
java.util.EventListener, javax.swing.event.MouseInputListener, java.awt.event.MouseListener, java.awt.event.MouseMotionListener
Enclosing class:
GuiView

class GuiView.MouseHandler
extends javax.swing.event.MouseInputAdapter


Field Summary
private  PetriNetObject pnObject
           
 
Constructor Summary
(package private) GuiView.MouseHandler()
           
 
Method Summary
 void mouseMoved(java.awt.event.MouseEvent e)
           
 void mousePressed(java.awt.event.MouseEvent e)
           
 
Methods inherited from class javax.swing.event.MouseInputAdapter
mouseClicked, mouseDragged, mouseEntered, mouseExited, mouseReleased
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

pnObject

private PetriNetObject pnObject
Constructor Detail

GuiView.MouseHandler

GuiView.MouseHandler()
Method Detail

mousePressed

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

mouseMoved

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