pipe.gui
Class PlaceTransitionObjectHandler

java.lang.Object
  |
  +--javax.swing.event.MouseInputAdapter
        |
        +--pipe.gui.PetriNetObjectHandler
              |
              +--pipe.gui.PlaceTransitionObjectHandler
All Implemented Interfaces:
Constants, java.util.EventListener, javax.swing.event.MouseInputListener, java.awt.event.MouseListener, java.awt.event.MouseMotionListener
Direct Known Subclasses:
PlaceHandler, TransitionHandler

public class PlaceTransitionObjectHandler
extends PetriNetObjectHandler

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


Field Summary
 
Fields inherited from interface pipe.gui.Constants
ADDTOKEN, ANIMATE, ANNOTATION, ANNOTATION_DEFAULT_FONT, ANNOTATION_DEFAULT_FONT_SIZE, ANNOTATION_LAYER_OFFSET, ANNOTATION_MIN_WIDTH, ANNOTATION_SIZE_OFFSET, ARC, ARC_CONTROL_POINT_CONSTANT, ARC_LAYER_OFFSET, ARC_PATH_PROXIMITY_RADIUS, ARC_PATH_SELECTION_RADIUS, ARC_POINT_LAYER_OFFSET, CREATING, DEFAULT_ELEMENT_TYPE, DELETE, DELTOKEN, DRAW, ELEMENT_FILL_COLOUR, ELEMENT_LINE_COLOUR, ENABLED_TRANSITION_COLOUR, FIRE, GRID, IMMTRANS, LOWEST_LAYER_OFFSET, NOTE_DISABLED_COLOUR, NOTE_EDITING_COLOUR, PLACE, PLACE_TRANSITION_HEIGHT, PLACE_TRANSITION_LAYER_OFFSET, PLACE_TRANSITION_PROXIMITY_RADIUS, PROPERTY_FILE_DESC, PROPERTY_FILE_EXTENSION, RANDOM, RESERVED_BORDER, RESIZE_POINT_DOWN_COLOUR, SELECT, SELECTION_FILL_COLOUR, SELECTION_LAYER_OFFSET, SELECTION_LINE_COLOUR, START, STEPBACKWARD, STEPFORWARD, STOP, TIMEDTRANS
 
Constructor Summary
PlaceTransitionObjectHandler(java.awt.Container contentpane, PlaceTransitionObject obj)
           
 
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 mousePressed(java.awt.event.MouseEvent e)
           
 void mouseReleased(java.awt.event.MouseEvent e)
          Event handler for when the user releases the mouse, used in conjunction with mouseDragged and mouseReleased to implement the moving action
 
Methods inherited from class pipe.gui.PetriNetObjectHandler
enablePopupMenu, mouseClicked, mouseDragged
 
Methods inherited from class javax.swing.event.MouseInputAdapter
mouseEntered, mouseExited, mouseMoved
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PlaceTransitionObjectHandler

public PlaceTransitionObjectHandler(java.awt.Container contentpane,
                                    PlaceTransitionObject obj)
Method Detail

getPopup

public javax.swing.JPopupMenu getPopup(java.awt.event.MouseEvent e)
Description copied from class: PetriNetObjectHandler
Creates the popup menu that the user will see when they right click on a component

Overrides:
getPopup in class PetriNetObjectHandler

mousePressed

public void mousePressed(java.awt.event.MouseEvent e)
Specified by:
mousePressed in interface java.awt.event.MouseListener
Overrides:
mousePressed in class PetriNetObjectHandler

mouseReleased

public void mouseReleased(java.awt.event.MouseEvent e)
Description copied from class: PetriNetObjectHandler
Event handler for when the user releases the mouse, used in conjunction with mouseDragged and mouseReleased to implement the moving action

Specified by:
mouseReleased in interface java.awt.event.MouseListener
Overrides:
mouseReleased in class PetriNetObjectHandler