Toggle navigation
Hot Examples
PT
EN
RU
DE
FR
ES
PT
IT
JP
ZH
KO
C#
PHP
C#
Java
Go
C++
Python
JS
TS
Pesquisar
Página Inicial
Microsoft
PSharp
DeferEventsAttribute
C# Class Microsoft.PSharp.DeferEventsAttribute
Inheritance:
Attribute
Exibir arquivo
Open project: p-org/PSharp
Public Methods
Method
Description
DeferEventsAttribute
( ) :
System
Initializes a new instance of the
DeferEventsAttribute
class.
Method Details
DeferEventsAttribute()
public
method
Initializes a new instance of the
DeferEventsAttribute
class.
public
DeferEventsAttribute
( ) :
System
return
System