C# Class Microsoft.Z3.IDecRefQueue

Mostrar archivo Open project: sslab-gatech/juxta

Protected Properties

Property	Type	Description
m_lock	Object
m_queue	List

Public Methods

Method	Description
Add ( IntPtr o ) : void
Clear ( Context ctx ) : void
DecRef ( Context ctx, IntPtr obj ) : void
IncAndClear ( Context ctx, IntPtr o ) : void
IncRef ( Context ctx, IntPtr obj ) : void

Private Methods

Method	Description
ObjectInvariant ( ) : void

Method Details

Add() public method

public Add ( IntPtr o ) : void
o	System.IntPtr
return	void

Clear() public method

public Clear ( Context ctx ) : void
ctx	Context
return	void

DecRef() public abstract method

public abstract DecRef ( Context ctx, IntPtr obj ) : void
ctx	Context
obj	System.IntPtr
return	void

IncAndClear() public method

public IncAndClear ( Context ctx, IntPtr o ) : void
ctx	Context
o	System.IntPtr
return	void

IncRef() public abstract method

public abstract IncRef ( Context ctx, IntPtr obj ) : void
ctx	Context
obj	System.IntPtr
return	void

Property Details

m_lock protected_oe property

protected Object m_lock
return	Object

m_queue protected_oe property

protected List m_queue
return	List