pipe.gui
Class CreateArcHandler
java.lang.Object
|
+--javax.swing.event.MouseInputAdapter
|
+--pipe.gui.CreateArcHandler
- All Implemented Interfaces:
- Constants, java.util.EventListener, javax.swing.event.MouseInputListener, java.awt.event.MouseListener, java.awt.event.MouseMotionListener
- public class CreateArcHandler
- extends javax.swing.event.MouseInputAdapter
- implements Constants
Class used to implement methods corresponding to mouse events on places.
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 |
Methods inherited from class javax.swing.event.MouseInputAdapter |
mouseClicked, mouseDragged, mouseEntered, mouseExited, mouseMoved, mouseReleased |
Methods inherited from class java.lang.Object |
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait |
contentPane
protected java.awt.Container contentPane
theApp
protected CreateGui theApp
animationmode
protected boolean animationmode
aStartx
int aStartx
aStarty
int aStarty
aEndx
int aEndx
aEndy
int aEndy
counter
private static int counter
source
PlaceTransitionObject source
target
PlaceTransitionObject target
drawing
boolean drawing
startClass
java.lang.String startClass
endClass
java.lang.String endClass
CreateArcHandler
public CreateArcHandler(CreateGui creategui,
java.awt.Container contentpane)
disableDrawing
public void disableDrawing()
mousePressed
public void mousePressed(java.awt.event.MouseEvent e)
- Overrides:
mousePressed
in class javax.swing.event.MouseInputAdapter