Lines Matching defs:refSet
56 private final Vector<VMID> refSet = new Vector<>();
213 * can be garbage collected locally. But only if there the refSet
223 if (!permanent && refSet.isEmpty()) {
255 if (!refSet.contains(vmid)) {
257 * A Target must be pinned while its refSet is not empty. It may
271 refSet.addElement(vmid);
310 if (refSet.removeElement(vmid) && refSet.isEmpty()) {
370 Enumeration<VMID> enum_ = refSet.elements();
436 return refSet.isEmpty();