ASTMap.java

Go to the documentation of this file.

 
package com.microsoft.z3;
 
import java.lang.ref.ReferenceQueue;
 
class ASTMap extends Z3Object {
    public boolean contains(AST k)
    {
 
        return Native.astMapContains(getContext().nCtx(), getNativeObject(),
                k.getNativeObject());
    }
 
    public AST find(AST k)
    {
        return new AST(getContext(), Native.astMapFind(getContext().nCtx(),
                getNativeObject(), k.getNativeObject()));
    }
 
    public void insert(AST k, AST v)
    {
 
        Native.astMapInsert(getContext().nCtx(), getNativeObject(), k.getNativeObject(),
                v.getNativeObject());
    }
 
    public void erase(AST k)
    {
        Native.astMapErase(getContext().nCtx(), getNativeObject(), k.getNativeObject());
    }
 
    public void reset()
    {
        Native.astMapReset(getContext().nCtx(), getNativeObject());
    }
 
    public int size()
    {
        return Native.astMapSize(getContext().nCtx(), getNativeObject());
    }
 
    public AST[] getKeys()
    {
        ASTVector av = new ASTVector(getContext(), Native.astMapKeys(getContext().nCtx(), getNativeObject()));
        return av.ToArray();
    }
 
    @Override
    public String toString()
    {
        return Native.astMapToString(getContext().nCtx(), getNativeObject());
    }
 
    ASTMap(Context ctx, long obj)
    {
        super(ctx, obj);
    }
 
    ASTMap(Context ctx)
    {
        super(ctx, Native.mkAstMap(ctx.nCtx()));
    }
 
    @Override
    void incRef() {
        Native.astMapIncRef(getContext().nCtx(), getNativeObject());
    }
 
    @Override
    void addToReferenceQueue() {
        getContext().getReferenceQueue().storeReference(this, ASTMapRef::new);
    }
 
    private static class ASTMapRef extends Z3ReferenceQueue.Reference<ASTMap> {
 
        private ASTMapRef(ASTMap referent, ReferenceQueue<Z3Object> q) {
            super(referent, q);
        }
 
        @Override
        void decRef(Context ctx, long z3Obj) {
            Native.astMapDecRef(ctx.nCtx(), z3Obj);
        }
    }
}