//\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\
// UserRTX.NET satellite library | Author: Sergei Y.Kitáev
//~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
using System;
using System.Threading;

#if !WASM
namespace user_rtx { using u = user_rtx;
#else
namespace user_rtx.wasm { using u = user_rtx.wasm;
#endif

/// <summary>
/// Fatal termination parameters
/// </summary>
public static partial class fatal_params {
//~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

public static u.FatalRoutine_0? FatalRoutine_0 {
   get { lock (fatal.SyncRoot) return fatal.Settings.FatalRoutine_0; }}
public static u.FatalRoutine? FatalRoutine {
   get { lock (fatal.SyncRoot) return fatal.Settings.FatalRoutine; }}

public static string? MainModuleName {
   get { lock (fatal.SyncRoot) return fatal.Settings.MainModuleName; }}
public static Thread? MainThread {
   get { lock (fatal.SyncRoot) return fatal.Settings.MainThread; }}

public static bool UseMessageDialog {
   get { lock (fatal.SyncRoot) return fatal.Settings.UseMessageDialog; }}
public static bool ShowHtmlReport {
   get { lock (fatal.SyncRoot) return fatal.Settings.ShowHtmlReport; }}
public static bool ReportToConsole {
   get { lock (fatal.SyncRoot) return fatal.Settings.ReportToConsole; }}

//==================================================================================================

static readonly object _syncRoot = new ();

//~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
} // fatal_params

} // user_rtx (.wasm)
