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

public class PlaceTransitionObjectHandler
extends PetriNetObjectHandler

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


Field Summary
(package private)  int aEndx
           
(package private)  int aEndy
           
(package private)  int aStartx
           
(package private)  int aStarty
           
private static int counter
           
(package private)  boolean drawing
           
(package private)  PetriNetObject start
           
 
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
PlaceTransitionObjectHandler(CreateGui creategui, java.awt.Container contentpane)
           
 
Methods inherited from class pipe.gui.PetriNetObjectHandler
getPopup, maybeShowPopup, mouseDragged, mousePressed, mouseReleased
 
Methods inherited from class javax.swing.event.MouseInputAdapter
mouseClicked, mouseEntered, mouseExited, mouseMoved
 
Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait
 

Field Detail

aStartx

int aStartx

aStarty

int aStarty

aEndx

int aEndx

aEndy

int aEndy

counter

private static int counter

start

PetriNetObject start

drawing

boolean drawing
Constructor Detail

PlaceTransitionObjectHandler

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