fr.jussieu.gla.wasa.monitor.gui.event
Class StopExecutionEvent

java.lang.Object
  |
  +--java.util.EventObject
        |
        +--fr.jussieu.gla.wasa.monitor.gui.event.StopExecutionEvent

All Implemented Interfaces:

java.io.Serializable

public class StopExecutionEvent

extends java.util.EventObject

Posted after Engine execution has stopped.

Version:

$Revision: 1.1 $ $Date: 2002/03/15 11:26:50 $

Author:

Laurent Caillette

See Also:

Serialized Form

Fields inherited from class java.util.EventObject

source

Constructor Summary

StopExecutionEvent(IExecutableNode source)

Method Summary

IExecutableNode

getExecutableNodeSource()

Methods inherited from class java.util.EventObject

getSource, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

StopExecutionEvent

public StopExecutionEvent(IExecutableNode source)

Method Detail

getExecutableNodeSource

public IExecutableNode getExecutableNodeSource()