NFSv41Session { public int getHighestUsedSlot() { int id; for(id = getHighestSlot(); id >= 0 && _slots[id] == null; id--) { } return id; } NFSv41Session(NFS4Client client, sessionid4 sessionid,  int maxRequests, int maxCbRequests, int maxOps, int maxCbOps); sessionid4 id(); NFS4Client getClient(); int getHighestSlot(); int getCbHighestSlot(); int getHighestUsedSlot(); List<nfs_resop4> checkCacheSlot(int slot, int sequence); SessionSlot getSessionSlot(int slot); int getMaxOps(); int getMaxCbOps(); @Override String toString(); synchronized void bindIfNeeded(SessionConnection connection); synchronized void bindToConnection(SessionConnection connection); synchronized boolean isReleasableBy(SessionConnection connection);  }
@Test public void testHighestSlotEmpty() { assertEquals("invalid highest slot id on empty session", -1, _session.getHighestUsedSlot()); }