|
||||||||||
| 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.TransitionHandler
Class used to implement methods corresponding to mouse events on transitions.
| Field Summary | |
(package private) int |
degree
|
| 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 | |
TransitionHandler(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 |
|
| Field Detail |
int degree
| Constructor Detail |
public TransitionHandler(CreateGui creategui,
java.awt.Container contentpane)
| Method Detail |
public void mouseClicked(java.awt.event.MouseEvent e)
mouseClicked in class javax.swing.event.MouseInputAdapterpublic javax.swing.JPopupMenu getPopup(java.awt.event.MouseEvent e)
getPopup in class PetriNetObjectHandler
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||