import org.jgraph.event.GraphSelectionEvent; //导入依赖的package包/类
/** Initialises the graph selection listener and attributed graph listener. */
private void initListeners() {
    getJGraph().setToolTipEnabled(true);
    // Update ToolBar based on Selection Changes
    getJGraph().getSelectionModel()
        .addGraphSelectionListener(new GraphSelectionListener() {
            @Override
            public void valueChanged(GraphSelectionEvent e) {
                // Update Button States based on Current Selection
                boolean selected = !getJGraph().isSelectionEmpty();
                getDeleteAction().setEnabled(selected);
                getCopyAction().setEnabled(selected);
                getCutAction().setEnabled(selected);
            }
        });
    getJGraph().addJGraphModeListener(this);
    getSnapToGridAction().addSnapListener(this);
}
 

import org.jgraph.event.GraphSelectionEvent; //导入依赖的package包/类
@Override
protected void installListeners() {
    this.graphSelectionListener = new GraphSelectionListener() {
        @Override
        public void valueChanged(GraphSelectionEvent e) {
            if (StateDisplay.this.matchSelected) {
                // change only if cells were removed from the selection
                boolean removed = false;
                Object[] cells = e.getCells();
                for (int i = 0; !removed && i < cells.length; i++) {
                    removed = !e.isAddedCell(i);
                }
                if (removed) {
                    clearSelectedMatch(false);
                }
            }
        }
    };
    getSimulatorModel().addListener(this, GRAMMAR, GTS, STATE, MATCH);
    activateListening();
}
 

import org.jgraph.event.GraphSelectionEvent; //导入依赖的package包/类
void installListeners() {
    getJGraph().addPropertyChangeListener(org.jgraph.JGraph.GRAPH_MODEL_PROPERTY,
        new PropertyChangeListener() {
            @Override
            public void propertyChange(PropertyChangeEvent evt) {
                updateModel();
            }
        });
    getJGraph().addGraphSelectionListener(new GraphSelectionListener() {
        @Override
        public void valueChanged(GraphSelectionEvent e) {
            clearSelection();
        }
    });
    getFilter().addObserver(new Observer() {
        @Override
        @SuppressWarnings("unchecked")
        public void update(Observable o, Object arg) {
            LabelTree.this.repaint();
            getJGraph().refreshCells((Set<JCell<G>>) arg);
        }
    });
    addMouseListener(new MyMouseListener());
}
 

import org.jgraph.event.GraphSelectionEvent; //导入依赖的package包/类
/** Creates a new tree, for a given rule model. */
public RuleLevelTree(AspectJGraph jGraph) {
    this.jGraph = jGraph;
    setLargeModel(true);
    setEnabled(jGraph.isEnabled());
    setShowsRootHandles(false);
    getUI().setCollapsedIcon(null);
    getUI().setExpandedIcon(null);
    addMouseListener(new MyMouseListener());
    // deselect the level tree whenever the graph
    // selection changes
    jGraph.addGraphSelectionListener(new GraphSelectionListener() {
        @Override
        public void valueChanged(GraphSelectionEvent e) {
            clearSelection();
        }
    });
}
 

import org.jgraph.event.GraphSelectionEvent; //导入依赖的package包/类
/** Sets {@link #oldLabel} based on the {@link JGraph} selection. */
@Override
public void valueChanged(GraphSelectionEvent e) {
    this.oldLabel = null;
    Object[] selection = ((JGraph<?>) e.getSource()).getSelectionCells();
    if (selection != null && selection.length > 0) {
        Collection<? extends Label> selectedEntries = ((JCell<?>) selection[0]).getKeys();
        if (selectedEntries.size() > 0) {
            Label selectedEntry = selectedEntries.iterator()
                .next();
            if (selectedEntry instanceof TypeElement) {
                this.oldLabel = ((TypeElement) selectedEntry).label();
            }
        }
    }
}
 

import org.jgraph.event.GraphSelectionEvent; //导入依赖的package包/类
public void valueChanged(GraphSelectionEvent e) {
	
	if(isVisible()){
		Object cell = e.getCells()[0];
		if(cell != null){
			if(propertiesPane != null)
				propertiesPane.showProperties(cell, this);			
			showInfoDetails(cell);
			if(cell instanceof PlaceCell || cell instanceof TransitionCell){
				BasicCell basicCell = (BasicCell) cell;
				GraphLabel label = (GraphLabel)getCellFromData(basicCell.getData().getChild("name"));					
				addSelectionCell(label);
			}
		}
	}
}
 

import org.jgraph.event.GraphSelectionEvent; //导入依赖的package包/类
@Override
public void valueChanged(GraphSelectionEvent e) {
    Object[] cells = e.getCells();
    for (int i = 0; i < cells.length; i++) {
        Object c = cells[i];
        if (c instanceof JCell) {
            @SuppressWarnings("unchecked")
            JCell<G> jCell = (JCell<G>) c;
            jCell.putVisual(VisualKey.EMPHASIS, e.isAddedCell(i));
        }
    }
}
 

import org.jgraph.event.GraphSelectionEvent; //导入依赖的package包/类
/**
 * Called whenever the value of the selection changes.
 *
 * @param e the event that characterizes the change.
 */
public void valueChanged(GraphSelectionEvent e)
{
	MappingMainPanel mappingPanel= graphController.getMappingPanel();
       mappingPanel.getGraphController().setGraphSelected(true);
	//the graph is in selection mode, do not set property pan for Element or Attribute
       if(!isAClearSelectionEvent(e))
	{//ignore if it is a clear selection event
		Object obj = e.getCell();
		if (obj instanceof DefaultEdge)
		{//only handles edge, when graph is NOT in CLEAR selection mode.
			DefaultEdge edge = (DefaultEdge) obj;
			DefaultPort srcPort=(DefaultPort)edge.getSource();
			DefaultPort trgtPort=(DefaultPort)edge.getTarget();
			//manually highlight if and only if it is orignated from graph selection.
			Object sourceUserObject =srcPort.getUserObject();
			highlightTreeNodeInTree(sourceUserObject);
			//manually highlight if and only if it is orignated from graph selection.
			Object targetUserObject =trgtPort.getUserObject();// getUserObject(target);
			highlightTreeNodeInTree(targetUserObject);
		}
	}
	
	if(e.getCell() instanceof DefaultGraphCell)
	{
		DefaultGraphCell newSelection = (DefaultGraphCell)e.getCell();
		DefaultPropertiesSwitchController propertySwitchConroller =(DefaultPropertiesSwitchController)mappingPanel.getMiddlePanel().getGraphController().getPropertiesSwitchController();
		propertySwitchConroller.setSelectedItem(newSelection);
	}
	mappingPanel.getMiddlePanel().getGraphController().getPropertiesSwitchController().getPropertiesPage().updateProptiesDisplay(null);
	mappingPanel.getMiddlePanel().getGraphController().setGraphSelected(false);
}
 

import org.jgraph.event.GraphSelectionEvent; //导入依赖的package包/类
/**
 * If it is clear selection event, the isAddedXXX() will return false, so the return will be true, i.e., it is a clear selection event.
 * @param event
 * @return true if it is a clear selection event; otherwise, return false.
 */
private boolean isAClearSelectionEvent(EventObject event)
{
	boolean result = false;
	if(event instanceof GraphSelectionEvent)
	{
		result = !((GraphSelectionEvent) event).isAddedCell();
	}
	return result;
}
 

import org.jgraph.event.GraphSelectionEvent; //导入依赖的package包/类
@Override
public void valueChanged(GraphSelectionEvent e) {
	super.valueChanged(e);
	// Bomb out with a ClassCastException in case the event's source is
	// something unexpected. Not robust, but a good debugging feature :)
	GraphSelectionModel sm = (GraphSelectionModel) e.getSource();

	// New --- Bertoli Marco ---
	// Checks selection cells to enables correct toolbar elements
	boolean foundStations = false;
	boolean foundBlockingRegion = false;
	boolean foundConnection = false;
	boolean cannotAddBlockingRegion = false;
	Object[] cells = sm.getSelectionCells();
	for (Object cell : cells) {
		if (cell instanceof JmtCell) {
			foundStations = true;
			// If selected station is member of a BlockingRegion, signals it
			if (((JmtCell) cell).getParent() instanceof BlockingRegion) {
				cannotAddBlockingRegion = true;
			}
			// If selected cell cannot be added to a blocking region, signals it
			if (((JmtCell) cell).generateOrDestroyJobs()) {
				cannotAddBlockingRegion = true;
			}
		} else if (cell instanceof BlockingRegion) {
			foundBlockingRegion = true;
			cannotAddBlockingRegion = true;
		} else if (cell instanceof JmtEdge) {
			foundConnection = true;
		}
		// Shorten cycle to avoid useless computation
		if (foundStations && foundBlockingRegion) {
			break;
		}
	}

	if (foundStations) {
		mediator.enableCutAction(true);
		mediator.enableCopyAction(true);
		mediator.enableDeleteAction(true);
		mediator.enableAddBlockingRegion(!cannotAddBlockingRegion);
		mediator.enableRotateAction(true);
		mediator.enableSetRight(true);
	} else if (foundBlockingRegion) {
		mediator.enableCutAction(true);
		mediator.enableCopyAction(true);
		mediator.enableDeleteAction(true);
		mediator.enableAddBlockingRegion(false);
		mediator.enableRotateAction(false);
	} else {
		mediator.enableCutAction(false);
		mediator.enableCopyAction(false);
		mediator.enableDeleteAction(false);
		mediator.enableAddBlockingRegion(false);
		mediator.enableRotateAction(false);
	}
	if (foundConnection) {
		mediator.enableDeleteAction(true);
	}
	// End new --- Bertoli Marco ---
}
 

import org.jgraph.event.GraphSelectionEvent; //导入依赖的package包/类
@Override
public void valueChanged(GraphSelectionEvent e) {
	super.valueChanged(e);
	// Bomb out with a ClassCastException in case the event's source is
	// something unexpected. Not robust, but a good debugging feature :)
	GraphSelectionModel sm = (GraphSelectionModel) e.getSource();

	// New --- Bertoli Marco ---
	// Checks selection cells to enables correct toolbar elements
	boolean foundStations = false;
	boolean cannotAddBlockingRegion = false;
	boolean foundConnection = false;
	Object[] cells = sm.getSelectionCells();
	for (Object cell : cells) {
		if (cell instanceof JmtCell) {
			foundStations = true;
			// If selected station is member of a BlockingRegion, signals it
			if (((JmtCell) cell).getParent() instanceof BlockingRegion) {
				cannotAddBlockingRegion = true;
			}
			// If selected cell cannot be added to a blocking region, signals it
			if (((JmtCell) cell).generateOrDestroyJobs()) {
				cannotAddBlockingRegion = true;
			}
		} else if (cell instanceof BlockingRegion) {
			cannotAddBlockingRegion = true;
		} else if (cell instanceof JmtEdge) {
			foundConnection = true;
		}
		// Shorten cycle to avoid useless computation
		if (cannotAddBlockingRegion && foundStations) {
			break;
		}
	}

	if (foundStations || cannotAddBlockingRegion) {
		mediator.enableCopyAction(true);
		mediator.enableCutAction(true);
		mediator.enableDeleteAction(true);
		mediator.enableAddBlockingRegion(!cannotAddBlockingRegion);

		//            	Giuseppe De Cicco & Fabio Granara
		mediator.enableRotateAction(true);
		mediator.enableSetRight(true);

	} else {
		mediator.enableCopyAction(false);
		mediator.enableCutAction(false);
		mediator.enableDeleteAction(false);
		mediator.enableAddBlockingRegion(false);
	}
	if (foundConnection) {
		mediator.enableDeleteAction(true);
		// End new --- Bertoli Marco ---
	}
}
 

import org.jgraph.event.GraphSelectionEvent; //导入依赖的package包/类
/**
 * Sets the j-cell to the first selected cell. Disables the action if
 * the type of the cell disagrees with the expected type.
 */
@Override
public void valueChanged(GraphSelectionEvent e) {
    refresh();
}
 

import org.jgraph.event.GraphSelectionEvent; //导入依赖的package包/类
/** Sets {@link #label} based on the {@link JGraph} selection. */
@Override
public void valueChanged(GraphSelectionEvent e) {
    checkJGraph((JGraph<?>) e.getSource());
}
 

import org.jgraph.event.GraphSelectionEvent; //导入依赖的package包/类
public void valueChanged(GraphSelectionEvent e) {
	editor.updateSelectionButtons();
}
 

import org.jgraph.event.GraphSelectionEvent; //导入依赖的package包/类
public void valueChanged(GraphSelectionEvent graphSelectionEvent)
{
}
 

import org.jgraph.event.GraphSelectionEvent; //导入依赖的package包/类
/**
 * Called whenever the value of the selection changes.
 *
 * @param e the event that characterizes the change.
 */
public void valueChanged(GraphSelectionEvent e)
{
	if (mappingPanel.isInDragDropMode())
		return;
	//clean tree highlight if remove graph highlight
    if (!e.isAddedCell())
    {
		if (mappingPanel.getTargetTree() == null)
		{
			JOptionPane.showMessageDialog(mappingPanel, "You should input the source file name first(2).", "No Source file", JOptionPane.ERROR_MESSAGE);
			return;
		}
		else 
			mappingPanel.getTargetTree().clearSelection();
	  
		if (mappingPanel.getSourceTree() == null)
		{
			JOptionPane.showMessageDialog(mappingPanel, "You should input the target file name first(2).", "No Target file", JOptionPane.ERROR_MESSAGE);
			return;
		}
		else 
			mappingPanel.getSourceTree().clearSelection();
    	return;
    }
	if(graphInSelection)
		return;

	graphInSelection = true;
	Object obj = e.getCell();
	if (obj instanceof DefaultEdge)
	{//only handles edge, when graph is NOT in CLEAR selection mode.
		DefaultEdge edge = (DefaultEdge) obj;
		Object source = edge.getSource();
		Object target = edge.getTarget();
		Object sourceUserObject = getUserObject(source);
		highlightTreeNodeInTree(mappingPanel.getSourceTree(), sourceUserObject);

		Object targetUserObject = getUserObject(target);
		highlightTreeNodeInTree(mappingPanel.getTargetTree(), targetUserObject);
	}
	graphInSelection = false;
}
 

import org.jgraph.event.GraphSelectionEvent; //导入依赖的package包/类
public void valueChanged(GraphSelectionEvent e) {
	if (!internalSelection) {

		boolean emptySelection = (graph.getSelectionCount() == 0);

		application.getSelectionManager().clearAll(emptySelection, graph);

		ArrayList<AbstractGraphVertex> vertexes = new ArrayList<AbstractGraphVertex>();

		for (Object obj : graph.getSelectionCells()) {

			if (obj instanceof GroupVertex) {
				GroupVertex group = (GroupVertex) obj;

				vertexes.addAll(group.getChildVertexes());
			}

			if (obj instanceof GraphVertex) {
				vertexes.add((AbstractGraphVertex) obj);
			}
		}

		ArrayList<DataItem> items = new ArrayList<DataItem>();

		for (AbstractGraphVertex vertex : vertexes) {
			items.add((DataItem) vertex.getUserObject());
		}

		application.getSelectionManager().selectMultiple(items, graph);
	}
}