Main Page   Packages   Class Hierarchy   Alphabetical List   Compound List   File List   Compound Members  

Ref.java

00001 package gov.nasa.arc.ase.jpf.jvm;
00002 
00003 public abstract class Ref {
00004   public static final ObjRef NULL = new ObjRef(-1);
00005 
00006   int reference;
00007   boolean isClass;
00008 
00009   protected Ref(int r, boolean c) { reference = r; isClass = c; }  
00010   public abstract Object clone();  
00011   public boolean equals(Object o) { return reference == ((Ref)o).reference && isClass == ((Ref)o).isClass; }  
00012   public int getReference() { return reference; }  
00013   public boolean isClass() { return isClass; }  
00014   public boolean isNull() { return reference == -1; }  
00015   public String toString() { return (isClass ? "@" : "#") + reference; }  
00016 }

Generated at Thu Feb 7 06:53:44 2002 for Bandera by doxygen1.2.10 written by Dimitri van Heesch, © 1997-2001