01: /*
02: * @(#)GraphModelListener.java 1.0 03-JUL-04
03: *
04: * Copyright (c) 2001-2005 Gaudenz Alder
05: *
06: * See LICENSE file in distribution for licensing details of this source file
07: */
08: package org.jgraph.event;
09:
10: import java.util.EventListener;
11:
12: /**
13: * Defines the interface for an object that listens to changes in a GraphModel.
14: *
15: * @author Gaudenz Alder
16: * @version 1.0 1/1/02
17: */
18: public interface GraphModelListener extends EventListener {
19:
20: /**
21: * Invoked after a cell has changed in some way. The vertex/vertices may
22: * have changed bounds or altered adjacency, or other attributes have
23: * changed that may affect presentation.
24: * Note : Read the notes on the GraphModelEvent class carefully.
25: * A GraphModelEvent is the undo of the event that has just occurred,
26: * i.e. if you undo this event is executed.
27: */
28: void graphChanged(GraphModelEvent e);
29:
30: }
|