io.sarl.api.core
Event ParticipantLeft
All Superinterfaces:
java.io.Serializable
@org.eclipse.xtext.xbase.lib.XbaseGenerated
final event ParticipantLeft
extends Event
Notifies other participants that the member has effectively left the space. The event is fired within the default space of the context in which the agent left the space. The leaving agent does not receive this event. The source of the event is the leaving agent.
Maven Group Identifier:
io.sarl.sdk
Maven Artifact Identifier:
api.core
Since:
0.10
Property Summary
Inherited: source
Field Summary
Modifier and type Field and description
val SpaceID spaceID
The identifier of the space the agent just left.
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 space the agent just left.
Constructor Details
new(Address,SpaceID) 
new(Address,SpaceID)
Construct the event.
Parameters:
source - the address of the emitter.
spaceID - the identifier of the space.