public static boolean unregister(EAtom aname) { EHandle val = register.remove(aname); if (val != null) { val.setName(ERT.am_undefined); return true; } else { return false; } }
/** * @param aname * @param handle */ public static void register(EAtom aname, EHandle handle) { register.put(aname, handle); handle.setName(aname); }
private static void send_to_handle(EProc proc, EHandle handle, EObject msg) throws Pausable { int penalty = handle.send(proc.self_handle(), msg); proc.bump_reductions(penalty); }