io.sarl.core

Event ParticipantLeft

java.lang.Object

io.sarl.lang.core.Event

io.sarl.core.ParticipantLeft

All Implemented Interfaces:

Serializable

public final class 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.

Since:

0.10

Version:

io.sarl.core 0.12.0 20210527-171007

Author:

Nicolas Gaud

See Also:

Serialized Form

Maven Group Id:

io.sarl

Maven Artifact Id:

io.sarl.core

Field Summary

Fields

Modifier and Type	Field and Description
SpaceID	spaceID The identifier of the space the agent just left.

Constructor Summary

Constructors

Constructor and Description
ParticipantLeft(source : Address, spaceID : SpaceID) Construct the event.

Method Summary

Methods inherited from class io.sarl.lang.core.Event

equals, getSource, hashCode, isFrom, isFrom, setSource, toString, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

spaceID

public val spaceID : SpaceID

Description copied from class: ParticipantLeft

The identifier of the space the agent just left.

Constructor Detail

ParticipantLeft

public new(source : Address,
           spaceID : SpaceID)

Construct the event.

Parameters:

source - the address of the emitter.

spaceID - the identifier of the space.