Z3
ConstructorDecRefQueue.java
Go to the documentation of this file.
1package com.microsoft.z3;
2
3public class ConstructorDecRefQueue extends IDecRefQueue<Constructor<?>> {
5 super();
6 }
7
8 @Override
9 protected void decRef(Context ctx, long obj) {
10 Native.delConstructor(ctx.nCtx(), obj);
11 }
12}