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