C# 클래스 Microsoft.PSharp.OnExitAttribute

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

공개 메소드들

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