C# Class Microsoft.PSharp.OnEntryAttribute

Inheritance: Attribute
Show file Open project: p-org/PSharp

Public Methods

Method Description
OnEntryAttribute ( string actionName ) : System

Initializes a new instance of the OnEntryAttribute class.

Method Details

OnEntryAttribute() public method

Initializes a new instance of the OnEntryAttribute class.
public OnEntryAttribute ( string actionName ) : System
actionName string Action name
return System