Z3
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Macros Groups Pages
Public Member Functions
DecRefQueueContracts Class Reference
+ Inheritance diagram for DecRefQueueContracts:

Public Member Functions

override void IncRef (Context ctx, IntPtr obj)
 
override void DecRef (Context ctx, IntPtr obj)
 
- Public Member Functions inherited from DecRefQueue
abstract void IncRef (Context ctx, IntPtr obj)
 
abstract void DecRef (Context ctx, IntPtr obj)
 
void IncAndClear (Context ctx, IntPtr o)
 
void Add (IntPtr o)
 
void Clear (Context ctx)
 

Additional Inherited Members

- Protected Attributes inherited from DecRefQueue
readonly Object m_lock = new Object()
 
readonly List< IntPtr > m_queue = new List<IntPtr>()
 

Detailed Description

Definition at line 80 of file DecRefQUeue.cs.

Member Function Documentation

override void DecRef ( Context  ctx,
IntPtr  obj 
)
inline

Definition at line 87 of file DecRefQUeue.cs.

{
Contract.Requires(ctx != null);
}
override void IncRef ( Context  ctx,
IntPtr  obj 
)
inline

Definition at line 82 of file DecRefQUeue.cs.

{
Contract.Requires(ctx != null);
}