io.sarl.api.core
Event SpaceCreated
All Superinterfaces:
java.io.Serializable
final event SpaceCreated
extends Event
Informs the creation of a new space in a given context. The event is fired within the default space of the context in which the space was created. The source of the event is the parent agent. The context id can be retrieved via ev.source.spaceID.contextID.
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
Identifier of the created 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
Identifier of the created 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.