C# (CSharp) Microsoft.PSharp.StaticAnalysis AnalysisContext.GetFullMethodNameの例

コード例 #1

ファイル: MachineAction.cs プロジェクト: p-org/PSharp

 /// <summary>
 /// Initializes a new instance of the <see cref="MachineAction"/> class.
 /// </summary>
 internal MachineAction(MethodDeclarationSyntax methodDecl, MachineState state)
 {
     this.State             = state;
     this.Name              = AnalysisContext.GetFullMethodName(methodDecl);
     this.MethodDeclaration = methodDecl;
 }