io.sarl.core

Event SpaceDestroyed

java.lang.Object

io.sarl.lang.core.Event

io.sarl.core.SpaceDestroyed

All Implemented Interfaces:

Serializable

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

Version:

io.sarl.core 0.12.0 20210527-171007

Author:

Sebastian Rodriguez

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 destroyed space.

Constructor Summary

Constructors

Constructor and Description
SpaceDestroyed(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: SpaceDestroyed

The identifier of the destroyed space.

Constructor Detail

SpaceDestroyed

public new(source : Address,
           spaceID : SpaceID)

Construct the event.

Parameters:

source - the address of the emitter.

spaceID - the identifier of the space.