C# Class Microsoft.Z3.IDecRefQueue

Afficher le fichier Open project: sslab-gatech/juxta

Protected Properties

Свойство	Type	Description
m_lock	Object
m_queue	List

Méthodes publiques

Méthode	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

Méthode	Description
ObjectInvariant ( ) : void

Method Details

Add() public méthode

public Add ( IntPtr o ) : void
o	System.IntPtr
Résultat	void

Clear() public méthode

public Clear ( Context ctx ) : void
ctx	Context
Résultat	void

DecRef() public abstract méthode

public abstract DecRef ( Context ctx, IntPtr obj ) : void
ctx	Context
obj	System.IntPtr
Résultat	void

IncAndClear() public méthode

public IncAndClear ( Context ctx, IntPtr o ) : void
ctx	Context
o	System.IntPtr
Résultat	void

IncRef() public abstract méthode

public abstract IncRef ( Context ctx, IntPtr obj ) : void
ctx	Context
obj	System.IntPtr
Résultat	void

Property Details

m_lock protected_oe property

protected Object m_lock
Résultat	Object

m_queue protected_oe property

protected List m_queue
Résultat	List