public async Task SetUp(IDictionary <string, string> configuration)
{
this.configuration = configuration;
notificationReceiver = new();
client = await InitializeClient(options => {
options
.AddHandler(DafnyRequestNames.CompilationStatus, NotificationHandler.For <CompilationStatusParams>(notificationReceiver.NotificationReceived));
});
}
public async Task SetUp(IDictionary <string, string> configuration)
{
_configuration = configuration;
_notificationReceiver = new TestNotificationReceiver();
_client = await InitializeClient(options => {
options
.AddHandler(DafnyRequestNames.VerificationStarted, NotificationHandler.For <VerificationStartedParams>(_notificationReceiver.StatusReceived))
.AddHandler(DafnyRequestNames.VerificationCompleted, NotificationHandler.For <VerificationCompletedParams>(_notificationReceiver.StatusReceived));
});
}
public async Task SetUp(IDictionary <string, string> configuration)
{
this.configuration = configuration;
diagnosticReceiver = new();
client = await InitializeClient(options => options.OnPublishDiagnostics(diagnosticReceiver.NotificationReceived));
}
