ReferenceWrapper.java Source File

00001 package gov.nasa.arc.ase.jpf.jvm;
00002 
00003 public class ReferenceWrapper {
00004   String string;
00005   
00006   public ReferenceWrapper(String s) {
00007     string = s;
00008   }  
00009   public String toString() {
00010     return string;
00011   }  
00012 }