public final class GraphObjectID
extends Object
Modifier and Type | Field and Description |
---|---|
private String |
ident
the string that is the unique identifier for an object.
|
static GraphObjectID |
zero
Represents an ident that is not attached to any object; e.g., if a graph has no owner ident.
|
Constructor and Description |
---|
GraphObjectID()
Create a new unique-to-the-universe id.
|
GraphObjectID(String s)
Create an id from the given string.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(GraphObjectID other)
Two objects are equal if their string representations are equal.
|
String |
getShort()
For debugging and other purposes, create a short version of the unique string representation.
|
String |
toString()
The string representation of this id.
|
private String ident
public static final GraphObjectID zero
public GraphObjectID()
public GraphObjectID(String s)
s
- public String toString()
toString
in class Object
public boolean equals(GraphObjectID other)
other
- the id to comparepublic String getShort()