Method construct

src/api/java/Z3ReferenceQueue.java:100–100

(T reference, ReferenceQueue<Z3Object> queue)

    @FunctionalInterface
    interface ReferenceConstructor<T extends Z3Object> {
        Reference<T> construct(T reference, ReferenceQueue<Z3Object> queue);
    }

    abstract static class Reference<T extends Z3Object> extends PhantomReference<T> {