edu.vt.marian.common
Class ClassID

java.lang.Object
  |
  +--edu.vt.marian.common.ClassID

public class ClassID

extends java.lang.Object

A subclass of Object for ClassIDs. We will also continue to use ints for ClassIDs when it suits our fancy.

The identifier of an object in the MARIAN universe is composed of class id and instance id. Class id can be regarded as database id and instance id can be regarded as a unique id in that database.

NOTE: classID is properly an unsigned 16-bit quantity; instanceID an unsigned 32-bit. Unfortunately there are no unsigneds in Java, so we use an int for classID and test the bounds. Properly, we should use a long for instanceID, but that's a lot of unused bits so we'll use an int and keep our fingers crossed.

See Also:

Table of defined IDs.,

designer(s): Robert France (france@vt.edu)

implementator(s): Jianxin Zhao (jxzhao@csgrad.cs.vt.edu), Robert France

finished time:

known bugs:

JDK version: 1.1.5

side effects:

Constructor Summary

ClassID(int c)

Method Summary

int	intValue()
boolean	isValid()

Methods inherited from class java.lang.Object

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

Constructor Detail

ClassID

public ClassID(int c)

Method Detail

isValid

public boolean isValid()

intValue

public int intValue()