io.sarl.lang.core
Class SpaceID
All Superinterfaces:
java.io.Serializable, java.lang.Cloneable, java.lang.Comparable<T>
class SpaceID
extends SRESpecificDataContainer
implements java.io.Serializable, java.lang.Comparable<T>, java.lang.Cloneable
Unique Identifier for a Space.
Maven Group Identifier:
io.sarl.lang
Maven Artifact Identifier:
core
Property Summary
Modifier and type Property and description
java.util.UUID contextID
Return the UUID of the context where the space was created.
java.util.UUID iD
Returns a Unique Identifier for the space.
java.lang.Class<T> spaceSpecification
Replies the SpaceSpecification this space respects.
Constructor Summary
Constructor and description
new(UUID,UUID,Class<T>)
Constructs a space ID.
Action Summary
Modifier and type Action and description
SpaceID clone
int compareTo(SpaceID)
boolean equals(Object)
java.util.UUID getContextID
Return the UUID of the context where the space was created.
java.util.UUID getID
Returns a Unique Identifier for the space.
java.lang.Class<T> getSpaceSpecification
Replies the SpaceSpecification this space respects.
int hashCode
boolean operator_equals(Address)
Replies if the given identifier is equal to the identifier in the given identifier.
boolean operator_notEquals(Address)
Replies if the given identifier is not equal to the identifier in the given identifier.
java.lang.String toString
Property Details
contextID
val contextID : java.util.UUID
Return the UUID of the context where the space was created.

This property is an alias for the action: getContextID

Returns:
the context's id
iD
val iD : java.util.UUID
Returns a Unique Identifier for the space.

This property is an alias for the action: getID

Returns:
this space's UUID
spaceSpecification
val spaceSpecification : java.lang.Class<T>
Replies the SpaceSpecification this space respects.

This property is an alias for the action: getSpaceSpecification

Returns:
The SpaceSpecification of this space
Constructor Details
new(UUID,UUID,Class<T>)
new(UUID,UUID,Class<T>)
Constructs a space ID.
Parameters:
contextID - the unique ID of the context that contains the space (cannot be null).
id - the unique ID of the space (cannot be null).
spaceSpec - the specification of the space for which the ID must be created (could be null).
Action Details
clone
def clone : SpaceID
compareTo(SpaceID)
def compareTo(SpaceID) : int
equals(Object)
def equals(Object) : boolean
getContextID
def getContextID : java.util.UUID
Return the UUID of the context where the space was created.
Returns:
the context's id
getID
def getID : java.util.UUID
Returns a Unique Identifier for the space.
Returns:
this space's UUID
getSpaceSpecification
def getSpaceSpecification : java.lang.Class<T>
Replies the SpaceSpecification this space respects.
Returns:
The SpaceSpecification of this space
hashCode
def hashCode : int
operator_equals(Address)
def operator_equals(Address) : boolean
Replies if the given identifier is equal to the identifier in the given identifier. It is equivalent to id.equals(address.getID()).
Parameters:
address - the address to test.
Returns:
true if the identifier is equal to the address' identifier.
Since:
0.14
operator_notEquals(Address)
def operator_notEquals(Address) : boolean
Replies if the given identifier is not equal to the identifier in the given identifier. It is equivalent to !id.equals(address.getID()).
Parameters:
address - the address to test.
Returns:
false if the identifier is equal to the address' identifier.
Since:
0.14
toString
def toString : java.lang.String