C# 클래스 Microsoft.PSharp.DeferEventsAttribute

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

공개 메소드들

메소드 설명
DeferEventsAttribute ( ) : System

Initializes a new instance of the DeferEventsAttribute class.

메소드 상세

DeferEventsAttribute() 공개 메소드

Initializes a new instance of the DeferEventsAttribute class.
public DeferEventsAttribute ( ) : System
리턴 System