transitionhandler.java

Petri网分析工具PIPE is open-source

package pipe.gui;

import java.awt.Container;
import java.awt.event.MouseEvent;

import javax.swing.JMenu;
import javax.swing.JMenuItem;
import javax.swing.JPopupMenu;

import pipe.dataLayer.Transition;


/**
 * Class used to implement methods corresponding to mouse events on transitions.
 *
 */

public class TransitionHandler extends PlaceTransitionObjectHandler {

  static final int ROTATE_ANGLE = 45;

  public TransitionHandler(Container contentpane, Transition obj) {
    super(contentpane, obj);
  }

/*  public void mouseClicked(MouseEvent e) {
//  	if(GuiFrame.animationMode() == true)
//  		return;
  	super.mouseClicked(e);
  	if (e.getClickCount()==2) {
  		// System.out.println("rotate");
  		((Transition)e.getComponent()).rotate(ROTATE_ANGLE);
  	}
  }*/


  /** Creates the popup menu that the user will see when they right click on a component */
  public JPopupMenu getPopup(MouseEvent e) {
  	JPopupMenu popup = super.getPopup(e);
  	
    JMenuItem menuItem = new JMenuItem(new EditRateAction(contentPane, myObject));
    menuItem.setText("Set rate");
    popup.add(menuItem);

    menuItem = new JMenuItem(new EditTimedAction((Transition)myObject));
    if (((Transition)myObject).getTimed())
    	menuItem.setText("Disable Timing");
    else
    	menuItem.setText("Enable Timing");   	
    popup.add(menuItem);
    
    JMenu rotateMenu=new JMenu("Rotate");
    rotateMenu.add(new JMenuItem(new RotateTransitionAction(contentPane, (Transition)myObject, 45, "+45