/*
 * @(#)GraphSelectionListener.java	1.0 03-JUL-04
 * 
 * Copyright (c) 2001-2004 Gaudenz Alder
 *  
 */
package org.jgraph.event;

import java.util.EventListener;

/**
 * The listener that's notified when the selection in a GraphSelectionModel
 * changes.
 *
 * @version 1.0 1/1/02
 * @author Gaudenz Alder
 */

public interface GraphSelectionListener extends EventListener {
	/**
	  * Called whenever the value of the selection changes.
	  * @param e the event that characterizes the change.
	  */
	void valueChanged(GraphSelectionEvent e);
}
