Package com.microsoft.z3
Class ConstructorDecRefQueue
- java.lang.Object
-
- com.microsoft.z3.IDecRefQueue<Constructor<?>>
-
- com.microsoft.z3.ConstructorDecRefQueue
-
public class ConstructorDecRefQueue extends IDecRefQueue<Constructor<?>>
-
-
Constructor Summary
Constructors Constructor Description ConstructorDecRefQueue()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected void
decRef(Context ctx, long obj)
An implementation of this method should decrement the reference on a given native object.-
Methods inherited from class com.microsoft.z3.IDecRefQueue
clear, forceClear, storeReference
-
-
-
-
Method Detail
-
decRef
protected void decRef(Context ctx, long obj)
Description copied from class:IDecRefQueue
An implementation of this method should decrement the reference on a given native object. This function should always be called on thectx
thread.- Specified by:
decRef
in classIDecRefQueue<Constructor<?>>
- Parameters:
ctx
- Z3 context.obj
- Pointer to a Z3 object.
-
-