ParamDescrs.java

Go to the documentation of this file.

 
package com.microsoft.z3;
 
import com.microsoft.z3.enumerations.Z3_param_kind;
 
import java.lang.ref.ReferenceQueue;
 
public class ParamDescrs extends Z3Object {
    public void validate(Params p)
    {
 
        Native.paramsValidate(getContext().nCtx(), p.getNativeObject(),
                getNativeObject());
    }
 
    public Z3_param_kind getKind(Symbol name)
    {
 
        return Z3_param_kind.fromInt(Native.paramDescrsGetKind(
                getContext().nCtx(), getNativeObject(), name.getNativeObject()));
    }
 
     public String getDocumentation(Symbol name)
     {
         return Native.paramDescrsGetDocumentation(getContext().nCtx(), getNativeObject(), name.getNativeObject());
     }
 
    public Symbol[] getNames()
    {
        int sz = Native.paramDescrsSize(getContext().nCtx(), getNativeObject());
        Symbol[] names = new Symbol[sz];
        for (int i = 0; i < sz; ++i)
        {
            names[i] = Symbol.create(getContext(), Native.paramDescrsGetName(
                    getContext().nCtx(), getNativeObject(), i));
        }
        return names;
    }
 
    public int size()
    {
        return Native.paramDescrsSize(getContext().nCtx(), getNativeObject());
    }
 
    @Override
    public String toString() {
        return Native.paramDescrsToString(getContext().nCtx(), getNativeObject());
    }
 
    ParamDescrs(Context ctx, long obj)
    {
        super(ctx, obj);
    }
 
    @Override
    void incRef() {
        Native.paramDescrsIncRef(getContext().nCtx(), getNativeObject());
    }
 
    @Override
    void addToReferenceQueue() {
        getContext().getReferenceQueue().storeReference(this, ParamDescrsRef::new);
    }
 
    private static class ParamDescrsRef extends Z3ReferenceQueue.Reference<ParamDescrs> {
 
        private ParamDescrsRef(ParamDescrs referent, ReferenceQueue<Z3Object> q) {
            super(referent, q);
        }
 
        @Override
        void decRef(Context ctx, long z3Obj) {
            Native.paramDescrsDecRef(ctx.nCtx(), z3Obj);
        }
    }
}