Z3
ApplyResultDecRefQueue.java
Go to the documentation of this file.
1 
18 package com.microsoft.z3;
19 
20 class ApplyResultDecRefQueue extends IDecRefQueue
21 {
22  public ApplyResultDecRefQueue()
23  {
24  super();
25  }
26 
27  public ApplyResultDecRefQueue(int move_limit)
28  {
29  super(move_limit);
30  }
31 
32  protected void incRef(Context ctx, long obj)
33  {
34  try
35  {
36  Native.applyResultIncRef(ctx.nCtx(), obj);
37  } catch (Z3Exception e)
38  {
39  // OK.
40  }
41  }
42 
43  protected void decRef(Context ctx, long obj)
44  {
45  try
46  {
47  Native.applyResultDecRef(ctx.nCtx(), obj);
48  } catch (Z3Exception e)
49  {
50  // OK.
51  }
52  }
53 };