|
||||||||||
| 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 | |||||||||