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]));
}
}
