gov.nasa.jpf.vm

Class ObjRef

java.lang.Object

gov.nasa.jpf.vm.ObjRef

public class ObjRef
extends java.lang.Object

helper class to store object references in a context where Integer is used for boxed 'int' values

Field Summary

Fields

Modifier and Type	Field and Description
static ObjRef	NULL

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ObjRef(int ref)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
int	getReference()
int	hashCode()
boolean	isNull()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

NULL

public static final ObjRef NULL

Constructor Detail

ObjRef

protected ObjRef(int ref)

Method Detail

isNull

public boolean isNull()

getReference

public int getReference()

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object