org.jgrapht.event.GraphChangeEvent Maven / Gradle / Ivy
/*
* (C) Copyright 2003-2018, by Barak Naveh and Contributors.
*
* JGraphT : a free Java graph-theory library
*
* This program and the accompanying materials are dual-licensed under
* either
*
* (a) the terms of the GNU Lesser General Public License version 2.1
* as published by the Free Software Foundation, or (at your option) any
* later version.
*
* or (per the licensee's choosing)
*
* (b) the terms of the Eclipse Public License v1.0 as published by
* the Eclipse Foundation.
*/
package org.jgrapht.event;
import java.util.*;
/**
* An event which indicates that a graph has changed. This class is a root for graph change events.
*
* @author Barak Naveh
* @since Aug 10, 2003
*/
public class GraphChangeEvent
extends
EventObject
{
private static final long serialVersionUID = 3834592106026382391L;
/**
* The type of graph change this event indicates.
*/
protected int type;
/**
* Creates a new graph change event.
*
* @param eventSource the source of the event.
* @param type the type of event.
*/
public GraphChangeEvent(Object eventSource, int type)
{
super(eventSource);
this.type = type;
}
/**
* Returns the event type.
*
* @return the event type.
*/
public int getType()
{
return type;
}
}
// End GraphChangeEvent.java
© 2015 - 2025 Weber Informatics LLC | Privacy Policy