io.sarl.core

Event SpaceCreated

java.lang.Object

io.sarl.lang.core.Event

io.sarl.core.SpaceCreated

All Implemented Interfaces:

Serializable

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

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
SpaceID	spaceID Identifier of the created space.

Constructor Summary

Constructors

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

Identifier of the created space.

Constructor Detail

SpaceCreated

public new(source : Address,
           spaceID : SpaceID)

Construct the event.

Parameters:

source - the address of the emitter.

spaceID - the identifier of the space.