pipe.gui
Class PlaceHandler

java.lang.Object
  |
  +--javax.swing.event.MouseInputAdapter
        |
        +--pipe.gui.PetriNetObjectHandler
              |
              +--pipe.gui.PlaceHandler

All Implemented Interfaces:

Constants, java.util.EventListener, javax.swing.event.MouseInputListener, java.awt.event.MouseListener, java.awt.event.MouseMotionListener

public class PlaceHandler

extends PetriNetObjectHandler

Class used to implement methods corresponding to mouse events on places.

Fields inherited from class pipe.gui.PetriNetObjectHandler

animationmode, contentPane, isDragging, tempPnobject, theApp

Fields inherited from interface pipe.gui.Constants

ADDTOKEN, ARC, DEFAULT_BACKGROUND_COLOR, DEFAULT_DIRECTORY, DEFAULT_ELEMENT_COLOR, DEFAULT_ELEMENT_TYPE, DEFAULT_FILENAME, DELETE, DELTOKEN, DRAW, FIRE, MOVE, PLACE, RANDOM, START, STEPBACKWARD, STEPFORWARD, STOP, TRANSITION

Constructor Summary

PlaceHandler(CreateGui creategui, java.awt.Container contentpane)

Method Summary

javax.swing.JPopupMenu	getPopup(java.awt.event.MouseEvent e) Creates the popup menu that the user will see when they right click on a component
void	mouseClicked(java.awt.event.MouseEvent e)

Methods inherited from class pipe.gui.PetriNetObjectHandler

maybeShowPopup, mouseDragged, mousePressed, mouseReleased

Methods inherited from class javax.swing.event.MouseInputAdapter

mouseEntered, mouseExited, mouseMoved

Methods inherited from class java.lang.Object

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

Constructor Detail

PlaceHandler

public PlaceHandler(CreateGui creategui,
                    java.awt.Container contentpane)

Method Detail

getPopup

public javax.swing.JPopupMenu getPopup(java.awt.event.MouseEvent e)

Creates the popup menu that the user will see when they right click on a component

Overrides:

getPopup in class PetriNetObjectHandler

mouseClicked

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

Overrides:

mouseClicked in class javax.swing.event.MouseInputAdapter