Probe.java

Go to the documentation of this file.

 
package com.microsoft.z3;
 
import java.lang.ref.ReferenceQueue;
 
public class Probe extends Z3Object {
    public double apply(Goal g)
    {
        getContext().checkContextMatch(g);
        return Native.probeApply(getContext().nCtx(), getNativeObject(),
                g.getNativeObject());
    }
 
    Probe(Context ctx, long obj)
    {
        super(ctx, obj);
    }
 
    Probe(Context ctx, String name) {
        super(ctx, Native.mkProbe(ctx.nCtx(), name));
    }
 
    @Override
    void incRef() {
        Native.probeIncRef(getContext().nCtx(), getNativeObject());
    }
 
    @Override
    void addToReferenceQueue() {
        getContext().getReferenceQueue().storeReference(this, ProbeRef::new);
    }
 
    private static class ProbeRef extends Z3ReferenceQueue.Reference<Probe> {
 
        private ProbeRef(Probe referent, ReferenceQueue<Z3Object> q) {
            super(referent, q);
        }
 
        @Override
        void decRef(Context ctx, long z3Obj) {
            Native.probeDecRef(ctx.nCtx(), z3Obj);
        }
    }
}