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)