/// <summary>
/// Notifies the remote testing scheduler
/// about a discovered bug.
/// </summary>
private void NotifyBugFound()
{
Uri address = new Uri("http://localhost:8080/psharp/testing/scheduler/");
BasicHttpBinding binding = new BasicHttpBinding();
binding.MaxReceivedMessageSize = Int32.MaxValue;
EndpointAddress endpoint = new EndpointAddress(address);
if (this.TestingScheduler == null)
{
this.TestingScheduler = ChannelFactory <ITestingProcessScheduler> .
CreateChannel(binding, endpoint);
}
this.TestingScheduler.NotifyBugFound(this.Configuration.TestingProcessId);
}
/// <summary>
/// Notifies the remote testing scheduler
/// about a discovered bug.
/// </summary>
private void NotifyBugFound()
{
Uri address = new Uri("net.pipe://localhost/psharp/testing/scheduler/" +
$"{this.Configuration.TestingSchedulerEndPoint}");
NetNamedPipeBinding binding = new NetNamedPipeBinding();
binding.MaxReceivedMessageSize = Int32.MaxValue;
EndpointAddress endpoint = new EndpointAddress(address);
if (this.TestingScheduler == null)
{
this.TestingScheduler = ChannelFactory <ITestingProcessScheduler> .
CreateChannel(binding, endpoint);
}
this.TestingScheduler.NotifyBugFound(this.Configuration.TestingProcessId);
}
/// <summary>
/// Sends the test report associated with this testing process.
/// </summary>
private void SendTestReport()
{
Uri address = new Uri("net.pipe://localhost/psharp/testing/scheduler/" +
$"{this.Configuration.TestingSchedulerEndPoint}");
NetNamedPipeBinding binding = new NetNamedPipeBinding();
binding.MaxReceivedMessageSize = int.MaxValue;
EndpointAddress endpoint = new EndpointAddress(address);
if (this.TestingScheduler is null)
{
this.TestingScheduler = ChannelFactory <ITestingProcessScheduler> .
CreateChannel(binding, endpoint);
}
this.TestingScheduler.SetTestReport(this.TestingEngine.TestReport.Clone(), this.Configuration.TestingProcessId);
}
/// <summary>
/// Notifies the remote testing scheduler
/// about a discovered bug.
/// </summary>
private void NotifyBugFound()
{
Uri address = new Uri("http://localhost:8080/psharp/testing/scheduler/");
WSHttpBinding binding = new WSHttpBinding();
EndpointAddress endpoint = new EndpointAddress(address);
this.TestingScheduler = ChannelFactory<ITestingProcessScheduler>.
CreateChannel(binding, endpoint);
if (this.TestingScheduler.NotifyBugFound(this.Configuration.TestingProcessId))
{
IO.PrintLine(this.TestingEngine.Report());
this.TestingEngine.TryEmitTraces();
}
}