i3.dragos.gm.core.event
Interface GraphPoolListener

All Superinterfaces:
java.util.EventListener

public interface GraphPoolListener
extends java.util.EventListener

GraphPoolListener is implemented by classes that want to receive GraphPoolEvents.

Author:
Thorsten Hermes <thermes@i3.informatik.rwth-aachen.de>

Method Summary
 void graphPoolChanged(GraphPoolEvent e)
          Called when a GraphPool has changed its state.
 

Method Detail

graphPoolChanged

void graphPoolChanged(GraphPoolEvent e)
                      throws DragosException
Called when a GraphPool has changed its state.

Parameters:
e - The GraphPoolEvent.
Throws:
DragosException - in case of errors.


Copyright © 2002-2008 RWTH Aachen, Department of Computer Science 3 (Software Engineering). All Rights Reserved.