C# (CSharp) ICopComponent示例

示例#1

文件： ThreadMonitorFactory.cs 项目： yonglehou/PSharp

 /// <summary>
 /// Constructor.
 /// </summary>
 /// <param name="host">ICopComponent</param>
 /// <param name="configuration">Configuration</param>
 public ThreadMonitorFactory(ICopComponent host, ITestingEngine testingEngine,
     Configuration configuration)
     : base(host)
 {
     this.Configuration = configuration;
     this.TestingEngine = testingEngine;
     this.ThreadMonitors = new ThreadMonitorCollection();
 }

示例#2

 /// <summary>
 /// Constructor.
 /// </summary>
 /// <param name="host">ICopComponent</param>
 /// <param name="configuration">Configuration</param>
 public ThreadMonitorFactory(ICopComponent host, ITestingEngine testingEngine,
                             Configuration configuration)
     : base(host)
 {
     this.Configuration  = configuration;
     this.TestingEngine  = testingEngine;
     this.ThreadMonitors = new ThreadMonitorCollection();
 }

示例#3

文件： ThreadMonitorFactory.cs 项目： suriyak/PSharp

 /// <summary>
 /// Constructor.
 /// </summary>
 /// <param name="host">ICopComponent</param>
 /// <param name="configuration">Configuration</param>
 public ThreadMonitorFactory(ICopComponent host, IRegisterRuntimeOperation raceDetectionEngine,
                             Configuration configuration)
     : base(host)
 {
     this.Configuration       = configuration;
     this.RaceDetectionEngine = raceDetectionEngine;
     this.ThreadMonitors      = new ThreadMonitorCollection();
 }

示例#4

 /// <summary>
 /// Initializes a new instance of the <see cref="ObjectAccessThreadMonitor"/> class.
 /// </summary>
 /// <param name="host">ICopComponent</param>
 internal ObjectAccessThreadMonitor(ICopComponent host)
     : base(host)
 {
 }

示例#5

文件： ThreadMonitorBase.cs 项目： yonglehou/PSharp

 /// <summary>
 /// Initializes a new instance of the <see cref="ThreadMonitorBase"/> class.
 /// </summary>
 /// <param name="host">The host.</param>
 protected ThreadMonitorBase(ICopComponent host)
     : base(host)
 {
 }

示例#6

文件： ThreadMonitorBase.cs 项目： wxdtony/PSharp

 /// <summary>
 /// Initializes a new instance of the <see cref="ThreadMonitorBase"/> class.
 /// </summary>
 /// <param name="host">The host.</param>
 protected ThreadMonitorBase(ICopComponent host)
     : base(host)
 {
 }

示例#7

文件： ObjectAccessThreadMonitor.cs 项目： yonglehou/PSharp

 /// <summary>
 /// Initializes a new instance of the <see cref="ObjectAccessThreadMonitor"/> class.
 /// </summary>
 /// <param name="host">ICopComponent</param>
 internal ObjectAccessThreadMonitor(ICopComponent host)
     : base(host)
 {
 }