|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--javax.swing.event.MouseInputAdapter | +--pipe.gui.PetriNetObjectHandler | +--pipe.gui.PlaceTransitionObjectHandler
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 |
|
Field Detail |
int aStartx
int aStarty
int aEndx
int aEndy
private static int counter
PetriNetObject start
boolean drawing
Constructor Detail |
public PlaceTransitionObjectHandler(CreateGui creategui, java.awt.Container contentpane)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |