C# Класс Microsoft.Z3.IDecRefQueue

Показать файл Открыть проект

Защищенные свойства (Protected)

Свойство	Тип	Описание
m_lock	Object
m_queue	List

Открытые методы

Метод	Описание
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

Приватные методы

Метод	Описание
ObjectInvariant ( ) : void

Описание методов

Add() публичный Метод

public Add ( IntPtr o ) : void
o	System.IntPtr
Результат	void

Clear() публичный Метод

public Clear ( Context ctx ) : void
ctx	Context
Результат	void

DecRef() публичный абстрактный Метод

public abstract DecRef ( Context ctx, IntPtr obj ) : void
ctx	Context
obj	System.IntPtr
Результат	void

IncAndClear() публичный Метод

public IncAndClear ( Context ctx, IntPtr o ) : void
ctx	Context
o	System.IntPtr
Результат	void

IncRef() публичный абстрактный Метод

public abstract IncRef ( Context ctx, IntPtr obj ) : void
ctx	Context
obj	System.IntPtr
Результат	void

Описание свойств

m_lock защищенное свойство

protected Object m_lock
Результат	Object

m_queue защищенное свойство

protected List m_queue
Результат	List