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
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
toString 
def toString : java.lang.String