Java Native.astVectorDecRef Beispiele

Beispiel #1

Datei: AstVectorDecRefQueue.java Projekt: msmummy/z3

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

Beispiel #2

Datei: AstVectorDecRefQueue.java Projekt: martin-neuhaeusser/z3

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