ConstructorList.java

Go to the documentation of this file.

 
package com.microsoft.z3;
 
import java.lang.ref.ReferenceQueue;
 
public class ConstructorList<R> extends Z3Object {
 
    ConstructorList(Context ctx, long obj)
    {
        super(ctx, obj);
    }
 
    @Override
    void incRef() {
        // Constructor lists are not reference counted.
    }
 
    @Override
    void addToReferenceQueue() {
        getContext().getReferenceQueue().storeReference(this, ConstructorListRef::new);
    }
 
    ConstructorList(Context ctx, Constructor<R>[] constructors)
    {
        super(ctx, Native.mkConstructorList(ctx.nCtx(),
                constructors.length,
                Constructor.arrayToNative(constructors)));
    }
 
    private static class ConstructorListRef extends Z3ReferenceQueue.Reference<ConstructorList<?>> {
 
        private ConstructorListRef(ConstructorList<?> referent, ReferenceQueue<Z3Object> q) {
            super(referent, q);
        }
 
        @Override
        void decRef(Context ctx, long z3Obj) {
            Native.delConstructorList(ctx.nCtx(), z3Obj);
        }
    }
}