C# 클래스 Microsoft.PSharp.OnEntryAttribute

상속: Attribute
파일 보기 프로젝트 열기: p-org/PSharp

공개 메소드들

메소드 설명
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