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

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

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

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

Initializes a new instance of the OnEntryAttribute class.

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

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

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