Z3
src
api
java
ConstructorDecRefQueue.java
Go to the documentation of this file.
1
package
com.microsoft.z3;
2
3
public
class
ConstructorDecRefQueue
extends
IDecRefQueue
<Constructor> {
4
public
ConstructorDecRefQueue
() {
5
super();
6
}
7
8
@Override
9
protected
void
decRef
(
Context
ctx,
long
obj) {
10
Native
.
delConstructor
(ctx.nCtx(), obj);
11
}
12
}
com.microsoft.z3.ConstructorDecRefQueue.ConstructorDecRefQueue
ConstructorDecRefQueue()
Definition:
ConstructorDecRefQueue.java:4
com.microsoft.z3.Context
Definition:
Context.java:29
com.microsoft.z3.IDecRefQueue
Definition:
IDecRefQueue.java:39
com.microsoft.z3.Native
Definition:
Native.java:4
com.microsoft.z3.ConstructorDecRefQueue.decRef
void decRef(Context ctx, long obj)
Definition:
ConstructorDecRefQueue.java:9
com.microsoft.z3.ConstructorDecRefQueue
Definition:
ConstructorDecRefQueue.java:3
com.microsoft.z3.Native.delConstructor
static void delConstructor(long a0, long a1)
Definition:
Native.java:984
Generated on Sat Nov 12 2016 23:18:40 for Z3 by
1.8.12