UnitPool.java Source File

00001 package gov.nasa.arc.ase.jpf.jvm.runtime;
00002 
00003 import gov.nasa.arc.ase.jpf.*;
00004 import java.util.*;
00005 import gov.nasa.arc.ase.util.Debug;
00006 import gov.nasa.arc.ase.util.HashPool;
00007 
00008 public class UnitPool {
00009 // ifdef RACE
00010   private static HashPool pool = new HashPool();
00011 
00012 //#endif RACE
00013   public static Unit get(Unit unit){
00014     return (Unit)pool.get(unit);
00015   }  
00016 }