C# Class Microsoft.PSharp.StaticAnalysis.OnEventGotoMachineAction

The P# on event goto machine action.

Inheritance: Microsoft.PSharp.StaticAnalysis.MachineAction

Afficher le fichier Open project: p-org/PSharp

Private Methods

Méthode	Description
OnEventGotoMachineAction ( MethodDeclarationSyntax methodDecl, Microsoft.PSharp.StaticAnalysis.MachineState state ) : Microsoft.CodeAnalysis.CSharp.Syntax	Initializes a new instance of the OnEventGotoMachineAction class.