⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 graphremoveedgeevent.java

📁 OpenJGraph是一个开源的Java库
💻 JAVA
字号:
package salvo.jesus.graph;import java.util.*;/** * This event is used to notify interested parties that an Edge object * is about to be removed from a Graph object. * * @author		Jesus M. Salvo Jr. */public class GraphRemoveEdgeEvent extends EventObject {  /**    * The Edge object is about to be removed from a Graph object    */  private Edge	edge;  /**   * see getVertex()   */  private Vertex vertex;      /**    * Creates a GraphRemoveEdgeEvent object indicating the source of the event    * and the Edge that is about to be removed from a Graph object    *    * @param	source		source of the event. This is usually the Graph object    * where the Edge object is to be removed.    * @param	newedge		Edge object that is about to be removed from a Graph object    * @param	vertex		see getVertex()    */  public GraphRemoveEdgeEvent(      Object source, Edge edgetoremove, Vertex vertex ) {    super( source );    edge = edgetoremove;    this.vertex = vertex;  }  /**    * Returns the Edge object is about to be removed from a Graph object    *    * @return		The Edge object to be removed    */  public Edge getEdge( ) {    return this.edge;  } /**  * If this edge is being removed implicitly due to the removal of a vertex,  * then the vertex being removed; else null.  */  public Vertex getVertex()   {      return vertex;  }}

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -