LockPool.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 LockPool{
00009 // ifdef RACE
00010   private static HashPool pool = new HashPool();
00011 
00012 //#endif RACE
00013   public static Lock get(Lock lock){
00014     return (Lock)pool.get(lock);
00015   }  
00016 }