1 25 41 package org.jgrapht.event; 42 43 53 public class GraphVertexChangeEvent<V> 54 extends GraphChangeEvent 55 { 56 57 59 private static final long serialVersionUID = 3690189962679104053L; 60 61 65 public static final int BEFORE_VERTEX_ADDED = 11; 66 67 71 public static final int BEFORE_VERTEX_REMOVED = 12; 72 73 77 public static final int VERTEX_ADDED = 13; 78 79 83 public static final int VERTEX_REMOVED = 14; 84 85 87 90 protected V vertex; 91 92 94 101 public GraphVertexChangeEvent(Object eventSource, int type, V vertex) 102 { 103 super(eventSource, type); 104 this.vertex = vertex; 105 } 106 107 109 114 public V getVertex() 115 { 116 return vertex; 117 } 118 } 119 | Popular Tags |