com.microsoft.z3

Class IDecRefQueue

java.lang.Object

com.microsoft.z3.IDecRefQueue

public abstract class IDecRefQueue
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.Object	m_lock
protected int	m_move_limit
protected java.util.LinkedList<java.lang.Long>	m_queue

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	IDecRefQueue()
protected	IDecRefQueue(int move_limit)

Method Summary

Methods

Modifier and Type	Method and Description
protected void	add(long o)
protected void	clear(Context ctx)
protected abstract void	decRef(Context ctx, long obj)
protected void	incAndClear(Context ctx, long o)
protected abstract void	incRef(Context ctx, long obj)
void	setLimit(int l)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

m_lock

protected final java.lang.Object m_lock

m_queue

protected java.util.LinkedList<java.lang.Long> m_queue

m_move_limit

protected int m_move_limit

Constructor Detail

IDecRefQueue

protected IDecRefQueue()

IDecRefQueue

protected IDecRefQueue(int move_limit)

Method Detail

setLimit

public void setLimit(int l)

incRef

protected abstract void incRef(Context ctx,
          long obj)

decRef

protected abstract void decRef(Context ctx,
          long obj)

incAndClear

protected void incAndClear(Context ctx,
               long o)

add

protected void add(long o)

clear

protected void clear(Context ctx)