コード例 #1
0
 /// <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
0
 /// <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
0
 /// <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
0
 /// <summary>
 /// Initializes a new instance of the <see cref="ObjectAccessThreadMonitor"/> class.
 /// </summary>
 /// <param name="host">ICopComponent</param>
 internal ObjectAccessThreadMonitor(ICopComponent host)
     : base(host)
 {
 }
コード例 #5
0
ファイル: 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
0
ファイル: 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
0
 /// <summary>
 /// Initializes a new instance of the <see cref="ObjectAccessThreadMonitor"/> class.
 /// </summary>
 /// <param name="host">ICopComponent</param>
 internal ObjectAccessThreadMonitor(ICopComponent host)
     : base(host)
 {
 }