Microsoft.PSharp.OnEntryAttribute.OnEntryAttribute C# (CSharp) Method

OnEntryAttribute Class Documentation Show file Open project: p-org/PSharp

OnEntryAttribute() public method

Initializes a new instance of the OnEntryAttribute class.
public OnEntryAttribute ( string actionName ) : System
actionName string Action name
return System 
        public OnEntryAttribute(string actionName)
        {
            this.Action = actionName;
        }
    }
OnEntryAttribute
OnEntryAttribute