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

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

GotoStateEvent() public méthode

Initializes a new instance of the GotoStateEvent class.
public GotoStateEvent ( Type s ) : System
s Type Type of the state.
Résultat System 
        public GotoStateEvent(Type s)
            : base()
        {
            this.State = s;
        }
    }
GotoStateEvent
GotoStateEvent