public interface ScriptExecutionListener
| Modifier and Type | Method and Description |
|---|---|
void |
scriptFinished(ScriptExecutionEvent e)
Gets sent when a script execution changes.
|
void scriptFinished(ScriptExecutionEvent e)
e - the eventCopyright © 2013 University of Waikato, Hamilton, NZ. All Rights Reserved.