00001 00018 package com.microsoft.z3; 00019 00020 class FuncInterpEntryDecRefQueue extends IDecRefQueue 00021 { 00022 protected void incRef(Context ctx, long obj) 00023 { 00024 try 00025 { 00026 Native.funcEntryIncRef(ctx.nCtx(), obj); 00027 } catch (Z3Exception e) 00028 { 00029 // OK. 00030 } 00031 } 00032 00033 protected void decRef(Context ctx, long obj) 00034 { 00035 try 00036 { 00037 Native.funcEntryDecRef(ctx.nCtx(), obj); 00038 } catch (Z3Exception e) 00039 { 00040 // OK. 00041 } 00042 } 00043 };