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

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

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

Метод Описание
OnExitAttribute ( string actionName ) : System

Initializes a new instance of the OnExitAttribute class.

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

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

Initializes a new instance of the OnExitAttribute class.
public OnExitAttribute ( string actionName ) : System
actionName string Action name
Результат System