@Override
	public short getPrevious(short key) {
        if ((key < 0) || (key >= numKeys)) {
            throw new IndexOutOfBoundsException();
        }
        else if (key == 0) {
            return -1;
        }
        return (short)(key-1);
    }
@see ghidra.util.datastruct.ShortKeySet#getPrevious(short)
Ghidra/Framework/Generic/src/main/java/ghidra/util/datastruct/FullKeySet.java