📄 graphremoveedgeevent.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 + -