Z3
src
api
java
AstMapDecRefQueue.java
Go to the documentation of this file.
1
18
package
com.microsoft.z3;
19
20
class
ASTMapDecRefQueue
extends
IDecRefQueue
21
{
22
protected
void
incRef(Context ctx,
long
obj)
23
{
24
try
25
{
26
Native.astMapIncRef(ctx.nCtx(), obj);
27
}
catch
(Z3Exception e)
28
{
29
// OK.
30
}
31
}
32
33
protected
void
decRef(Context ctx,
long
obj)
34
{
35
try
36
{
37
Native.astMapDecRef(ctx.nCtx(), obj);
38
}
catch
(Z3Exception e)
39
{
40
// OK.
41
}
42
}
43
};
IDecRefQueue
Generated on Sat Apr 25 2015 18:37:49 for Z3 by
1.8.9.1