Protected Member Functions | |
abstract void | incRef (Context ctx, long obj) |
abstract void | decRef (Context ctx, long obj) |
void | incAndClear (Context ctx, long o) |
void | add (long o) |
void | clear (Context ctx) |
Protected Attributes | |
Object | m_lock = new Object() |
LinkedList< Long > | m_queue = new LinkedList<Long>() |
final int | m_move_limit = 1024 |
Definition at line 22 of file IDecRefQueue.java.
void add | ( | long | o | ) | [inline, protected] |
Definition at line 39 of file IDecRefQueue.java.
Referenced by Probe.decRef(), ApplyResult.decRef(), ParamDescrs.decRef(), FuncInterp.Entry.decRef(), Tactic.decRef(), ASTVector.decRef(), ASTMap.decRef(), Params.decRef(), FuncInterp.decRef(), Statistics.decRef(), AST.decRef(), Goal.decRef(), Model.decRef(), Solver.decRef(), and Fixedpoint.decRef().
Definition at line 50 of file IDecRefQueue.java.
Referenced by Context.dispose(), and IDecRefQueue.incAndClear().
Implemented in ApplyResultDecRefQueue, ASTDecRefQueue, ASTMapDecRefQueue, ASTVectorDecRefQueue, FixedpointDecRefQueue, FuncInterpDecRefQueue, FuncInterpEntryDecRefQueue, GoalDecRefQueue, ModelDecRefQueue, ParamDescrsDecRefQueue, ParamsDecRefQueue, ProbeDecRefQueue, SolverDecRefQueue, StatisticsDecRefQueue, and TacticDecRefQueue.
Referenced by IDecRefQueue.clear().
void incAndClear | ( | Context | ctx, |
long | o | ||
) | [inline, protected] |
Definition at line 32 of file IDecRefQueue.java.
Referenced by Probe.incRef(), ApplyResult.incRef(), ParamDescrs.incRef(), FuncInterp.Entry.incRef(), Tactic.incRef(), ASTVector.incRef(), ASTMap.incRef(), Params.incRef(), FuncInterp.incRef(), Statistics.incRef(), AST.incRef(), Goal.incRef(), Model.incRef(), Solver.incRef(), and Fixedpoint.incRef().
{ incRef(ctx, o); if (m_queue.size() >= m_move_limit) clear(ctx); }
Implemented in ApplyResultDecRefQueue, ASTDecRefQueue, ASTMapDecRefQueue, ASTVectorDecRefQueue, FixedpointDecRefQueue, FuncInterpDecRefQueue, FuncInterpEntryDecRefQueue, GoalDecRefQueue, ModelDecRefQueue, ParamDescrsDecRefQueue, ParamsDecRefQueue, ProbeDecRefQueue, SolverDecRefQueue, StatisticsDecRefQueue, and TacticDecRefQueue.
Referenced by IDecRefQueue.incAndClear().
Object m_lock = new Object() [protected] |
Definition at line 24 of file IDecRefQueue.java.
Referenced by IDecRefQueue.add(), and IDecRefQueue.clear().
final int m_move_limit = 1024 [protected] |
Definition at line 26 of file IDecRefQueue.java.
Referenced by IDecRefQueue.incAndClear().
LinkedList<Long> m_queue = new LinkedList<Long>() [protected] |
Definition at line 25 of file IDecRefQueue.java.
Referenced by IDecRefQueue.add(), IDecRefQueue.clear(), and IDecRefQueue.incAndClear().