//
// RThreadMap.pfi helper
//
helper
import java.util.Hashtable;
import naccio.library.Check;
public class RThreadMap {
static private Hashtable fmap = new Hashtable ();
public static RThread add (java.lang.Thread f) {
RThread rf = new RThread (f);
fmap.put (f, rf);
return rf;
}
public static RThread lookup (Object f) {
NCheck.assertPrint (f != null, "f is null!");
NCheck.assert (fmap != null);
RThread rf = (RThread) fmap.get (f);
return rf;
}
}
Naccio Home Page
University of Virginia, Computer Science