Java Native.astVectorDecRef Exemples

Exemple #1

Fichier : AstVectorDecRefQueue.java Projet : msmummy/z3

 protected void decRef(Context ctx, long obj) {
   try {
     Native.astVectorDecRef(ctx.nCtx(), obj);
   } catch (Z3Exception e) {
     // OK.
   }
 }

Exemple #2

Fichier : AstVectorDecRefQueue.java Projet : martin-neuhaeusser/z3

 @Override
 protected void decRef(Context ctx, long obj) {
   Native.astVectorDecRef(ctx.nCtx(), obj);
 }