C# Класс Microsoft.PSharp.DeferEventsAttribute

Наследование: Attribute
Показать файл Открыть проект

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

Метод Описание
DeferEventsAttribute ( ) : System

Initializes a new instance of the DeferEventsAttribute class.

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

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

Initializes a new instance of the DeferEventsAttribute class.
public DeferEventsAttribute ( ) : System
Результат System