public static interface PlatformController.Listener
extends java.util.EventListener
| Modifier and Type | Method and Description | 
|---|---|
void | 
bornAgent(PlatformEvent anEvent)
Called when an agent is born. 
 | 
void | 
deadAgent(PlatformEvent anEvent)
Called when an agent dies. 
 | 
void | 
killedPlatform(PlatformEvent anEvent)
Called when the platform is killed (destroyed). 
 | 
void | 
resumedPlatform(PlatformEvent anEvent)
Called when the platform is activated. 
 | 
void | 
startedPlatform(PlatformEvent anEvent)
Called when the platform is started. 
 | 
void | 
suspendedPlatform(PlatformEvent anEvent)
Called when the platform is suspended. 
 | 
void bornAgent(PlatformEvent anEvent)
void deadAgent(PlatformEvent anEvent)
void startedPlatform(PlatformEvent anEvent)
void suspendedPlatform(PlatformEvent anEvent)
void resumedPlatform(PlatformEvent anEvent)
void killedPlatform(PlatformEvent anEvent)