Method getIndex

src/main/java/pascal/taie/util/SimpleIndexer.java:75–86

(E o)

    }

    @Override
    public int getIndex(E o) {
        Objects.requireNonNull(o, "null cannot be indexed");
        Integer id = obj2index.get(o);
        if (id == null) {
            obj2index.put(o, counter);
            index2obj.add(o);
            return counter++;
        } else {
            return id;
        }
    }

    @Override
    public E getObject(int index) {