Toggle navigation
Hot Examples
FR
EN
RU
DE
FR
ES
PT
IT
JP
ZH
KO
C#
PHP
C#
Java
Go
C++
Python
JS
TS
Rechercher
Accueil
Microsoft
PSharp
OnExitAttribute
C# Class Microsoft.PSharp.OnExitAttribute
Inheritance:
Attribute
Afficher le fichier
Open project: p-org/PSharp
Méthodes publiques
Méthode
Description
OnExitAttribute
(
string
actionName
) :
System
Initializes a new instance of the
OnExitAttribute
class.
Method Details
OnExitAttribute()
public
méthode
Initializes a new instance of the
OnExitAttribute
class.
public
OnExitAttribute
(
string
actionName
) :
System
actionName
string
Action name
Résultat
System