KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > jgrapht > event > GraphChangeEvent


1 /* ==========================================
2  * JGraphT : a free Java graph-theory library
3  * ==========================================
4  *
5  * Project Info: http://jgrapht.sourceforge.net/
6  * Project Creator: Barak Naveh (http://sourceforge.net/users/barak_naveh)
7  *
8  * (C) Copyright 2003-2006, by Barak Naveh and Contributors.
9  *
10  * This library is free software; you can redistribute it and/or modify it
11  * under the terms of the GNU Lesser General Public License as published by
12  * the Free Software Foundation; either version 2.1 of the License, or
13  * (at your option) any later version.
14  *
15  * This library is distributed in the hope that it will be useful, but
16  * WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
17  * or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public
18  * License for more details.
19  *
20  * You should have received a copy of the GNU Lesser General Public License
21  * along with this library; if not, write to the Free Software Foundation,
22  * Inc.,
23  * 59 Temple Place, Suite 330, Boston, MA 02111-1307, USA.
24  */

25 /* ---------------------
26  * GraphChangeEvent.java
27  * ---------------------
28  * (C) Copyright 2003-2006, by Barak Naveh and Contributors.
29  *
30  * Original Author: Barak Naveh
31  * Contributor(s): -
32  *
33  * $Id: GraphChangeEvent.java 504 2006-07-03 02:37:26Z perfecthash $
34  *
35  * Changes
36  * -------
37  * 10-Aug-2003 : Initial revision (BN);
38  *
39  */

40 package org.jgrapht.event;
41
42 import java.util.*;
43
44
45 /**
46  * An event which indicates that a graph has changed. This class is a root for
47  * graph change events.
48  *
49  * @author Barak Naveh
50  * @since Aug 10, 2003
51  */

52 public class GraphChangeEvent
53     extends EventObject
54 {
55
56     //~ Static fields/initializers --------------------------------------------
57

58     private static final long serialVersionUID = 3834592106026382391L;
59
60     //~ Instance fields -------------------------------------------------------
61

62     /**
63      * The type of graph change this event indicates.
64      */

65     protected int type;
66
67     //~ Constructors ----------------------------------------------------------
68

69     /**
70      * Creates a new graph change event.
71      *
72      * @param eventSource the source of the event.
73      * @param type the type of event.
74      */

75     public GraphChangeEvent(Object JavaDoc eventSource, int type)
76     {
77         super(eventSource);
78         this.type = type;
79     }
80
81     //~ Methods ---------------------------------------------------------------
82

83     /**
84      * Returns the event type.
85      *
86      * @return the event type.
87      */

88     public int getType()
89     {
90         return type;
91     }
92 }
93
Popular Tags