Method insert

src/api/java/Z3ReferenceQueue.java:121–127

(Reference<?> ref)

        }

        private void insert(Reference<?> ref) {
            assert next != null;
            ref.prev = this;
            ref.next = this.next;
            ref.next.prev = ref;
            next = ref;
        }

        abstract void decRef(Context ctx, long z3Obj);
    }