Method put

src/main/java/pascal/taie/util/collection/IndexMap.java:107–123

(K key, V value)

    }

    @Override
    public V put(K key, V value) {
        Objects.requireNonNull(value, NULL_VALUE_MSG);
        int index = indexer.getIndex(key);
        if (index >= 0) {
            ensureCapacity(index);
            V oldV = values[index];
            values[index] = value;
            if (oldV == null) {
                ++size;
            }
            return oldV;
        } else {
            throw new IllegalArgumentException("index of " + key +
                    " is negative: " + index);
        }
    }

    private void ensureCapacity(int index) {
        int oldCapacity = values.length;