public void addPendingUpgrades(ServerLockRequest[] upgrades) { for (int i = 0; i < upgrades.length; i++) { m_pendingUpgrades.add(new RequestNode(upgrades[i])); } }
public void addHolders(LockHolder[] holders) { for (int i = 0; i < holders.length; i++) { m_holders.add(new HolderNode(holders[i])); } }
public void addPendingRequests(ServerLockRequest[] requests) { for (int i = 0; i < requests.length; i++) { m_pendingRequests.add(new RequestNode(requests[i])); } }
public void addWaiters(Waiter[] waiters) { for (int i = 0; i < waiters.length; i++) { m_waiters.add(new WaiterNode(waiters[i])); } }