blog
Class ObjectIdentifier

java.lang.Object
  blog.ObjectIdentifier

All Implemented Interfaces:

java.lang.Comparable

public class ObjectIdentifier
extends java.lang.Object
implements java.lang.Comparable

An identifier for a non-guaranteed object in a PartialWorld. An ObjectIdentifier specifies the type of the object it refers to; it must refer to a non-guaranteed object, and distinct ObjectIdentifiers refer to distinct BLOG objects. Other than that, an ObjectIdentifier provides no information.

Internally, ObjectIdentifiers are numbered in order of creation, and an ObjectIdentifier's number is included in its string representation. This makes debugging output reproducible across runs.

Constructor Summary

ObjectIdentifier(Type type)
Creates a new ObjectIdentifier for an object of the given type.

Method Summary

int	compareTo(java.lang.Object o)
Type	getType()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ObjectIdentifier

public ObjectIdentifier(Type type)

Creates a new ObjectIdentifier for an object of the given type.

Method Detail

getType

public Type getType()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

compareTo

public int compareTo(java.lang.Object o)

Specified by:

compareTo in interface java.lang.Comparable