1 25 40 package org.jgrapht.event; 41 42 import java.util.*; 43 44 45 52 public class GraphChangeEvent 53 extends EventObject 54 { 55 56 58 private static final long serialVersionUID = 3834592106026382391L; 59 60 62 65 protected int type; 66 67 69 75 public GraphChangeEvent(Object eventSource, int type) 76 { 77 super(eventSource); 78 this.type = type; 79 } 80 81 83 88 public int getType() 89 { 90 return type; 91 } 92 } 93 | Popular Tags |