Microsoft.PSharp.OnExitAttribute.OnExitAttribute C# (CSharp) Méthode

OnExitAttribute Class Documentation Afficher le fichier Open project: p-org/PSharp

OnExitAttribute() public méthode

Initializes a new instance of the OnExitAttribute class.
public OnExitAttribute ( string actionName ) : System
actionName string Action name
Résultat System 
        public OnExitAttribute(string actionName)
        {
            this.Action = actionName;
        }
    }
OnExitAttribute
OnExitAttribute