/// <summary>
/// Registers all services necessary to manage the dafny workspace.
/// </summary>
/// <param name="options">The language server where the workspace services should be registered to.</param>
/// <param name="configuration">The configuration object holding the server configuration.</param>
/// <returns>The language server enriched with the dafny workspace services.</returns>
public static LanguageServerOptions WithDafnyWorkspace(this LanguageServerOptions options, IConfiguration configuration)
{
return(options.WithServices(services => services.WithDafnyWorkspace(configuration)));
}
/// <summary>
/// Registers all services necessary to manage the dafny language.
/// </summary>
/// <param name="options">The language server where the workspace services should be registered to.</param>
/// <returns>The language server enriched with the dafny workspace services.</returns>
public static LanguageServerOptions WithDafnyLanguage(this LanguageServerOptions options)
{
return(options.WithServices(services => services.WithDafnyLanguage()));
}
