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));
 }