io.sarl.api.core
Event SpaceDestroyed
All Superinterfaces:
java.io.Serializable
final event SpaceDestroyed
extends Event
Informs the destruction of a space in a given context. The event is fired within the default space of the context from which the space was removed. The context id can be retrieved via ev.source.spaceID.contextID. The source of the event is the parent agent.
Maven Group Identifier:
io.sarl.sdk
Maven Artifact Identifier:
api.core
Property Summary
Inherited: source
Field Summary
Modifier and type Field and description
val SpaceID spaceID
The identifier of the destroyed space.
Constructor Summary
Constructor and description
new(Address,SpaceID)
Construct the event.
Action Summary
Inherited: getSource, isFrom(Address), isFrom(UUID), setSource(Address), toString
Field Details
spaceID 
val spaceID : SpaceID
The identifier of the destroyed space.
Constructor Details
new(Address,SpaceID) 
new(Address,SpaceID)
Construct the event.
Parameters:
source - the address of the emitter.
spaceID - the identifier of the space.