Method storeReference

src/api/java/Z3ReferenceQueue.java:51–54

Create and store a new phantom reference.

(T z3Object, ReferenceConstructor<T> refConstructor)

     * Create and store a new phantom reference.
     */
    <T extends Z3Object> void storeReference(T z3Object, ReferenceConstructor<T> refConstructor) {
        referenceList.insert(refConstructor.construct(z3Object, referenceQueue));
        clear();
    }

    /**
     * Clean all references currently in {@code referenceQueue}.