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

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ConstructorDecRefQueue

public ConstructorDecRefQueue()

Method Details

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 the ctx thread.

Specified by:

decRef in class IDecRefQueue<Constructor<?>>

Parameters:

ctx - Z3 context.

obj - Pointer to a Z3 object.