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

コード例 #1

ファイル: StaticAnalysisEngine.cs プロジェクト: rekoder/PSharp

 /// <summary>
 /// Registers immutable types.
 /// </summary>
 /// <param name="context">AnalysisContext</param>
 private void RegisterImmutableTypes(AnalysisContext context)
 {
     context.RegisterImmutableType(typeof(Microsoft.PSharp.MachineId));
 }

コード例 #2

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

 /// <summary>
 /// Registers immutable types.
 /// </summary>
 private static void RegisterImmutableTypes(AnalysisContext context)
 {
     context.RegisterImmutableType(typeof(MachineId));
 }