/// <inheritdoc />
public void InitializeFrontEnd([NotNull] FrontEndHost host, [NotNull] FrontEndContext context, [NotNull] IConfiguration configuration)
{
Host = host;
Context = context;
Configuration = configuration;
}
/// <summary>
/// Sets the singleton debugging context with the given context.
/// </summary>
public static void SetContextForDebugging(FrontEndContext frontEndContext)
{
Contract.Requires(frontEndContext != null);
DebugContext = frontEndContext;
}