placehandler.java

Petri网分析工具PIPE is open-source

package pipe.gui;

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

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

import pipe.dataLayer.Place;


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

public class PlaceHandler extends PlaceTransitionObjectHandler {

  public PlaceHandler(Container contentpane, Place obj) {
    super(contentpane, obj);
  }

  /** 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 EditTokenAction(contentPane,(Place)myObject));
    menuItem.setText("Edit Tokens");
    popup.add(menuItem);

    return popup;
  }

  public void mouseClicked(MouseEvent e) {
  	super.mouseClicked(e);

    int currentMarking = ((Place)myObject).getCurrentMarking();
    switch(CreateGui.getApp().getMode()) {

      case ADDTOKEN:
        if (e.getButton() == MouseEvent.BUTTON1) {
          if (currentMarking == 0)
          	((Place)myObject).setCurrentMarking(1);
          else {
            currentMarking++;
            ((Place)myObject).setCurrentMarking(currentMarking);
          }
          ((Place)myObject).repaint();
        };  break;
        case DELTOKEN:
          if (e.getButton() == MouseEvent.BUTTON1) {
            if (currentMarking > 0) {
              currentMarking--;
              ((Place)myObject).setCurrentMarking(currentMarking);
              ((Place)myObject).repaint();
            }
          }; break;
          default: ;
    }
  }
}