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

ClassRef.java

00001 package gov.nasa.arc.ase.jpf.jvm;
00002 
00003 public class ClassRef extends Ref {
00004   public ClassRef(int r) { super(r, true); }  
00005   public Object clone() {
00006     return new ClassRef(reference);
00007   }  
00008 }

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