Java Native.astVectorDecRefの例

コード例 #1

ファイル: AstVectorDecRefQueue.java プロジェクト: msmummy/z3

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

コード例 #2

ファイル: AstVectorDecRefQueue.java プロジェクト: martin-neuhaeusser/z3

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