2019-08-23 11:56:54 -07:00
|
|
|
namespace System.Diagnostics
|
|
|
|
{
|
2021-05-17 15:01:49 +02:00
|
|
|
static class Check
|
2019-08-23 11:56:54 -07:00
|
|
|
{
|
|
|
|
|
|
|
|
[Unchecked, SkipCall]
|
|
|
|
public static void Assert(bool condition)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
[Checked]
|
|
|
|
public static void Assert(bool condition)
|
|
|
|
{
|
|
|
|
if (!condition)
|
|
|
|
Internal.FatalError("Assert failed", 1);
|
|
|
|
}
|
|
|
|
|
|
|
|
[Unchecked, SkipCall]
|
|
|
|
public static void Assert(bool condition, String error)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
[Checked]
|
|
|
|
public static void Assert(bool condition, String error)
|
|
|
|
{
|
|
|
|
if (!condition)
|
|
|
|
Internal.FatalError(error, 1);
|
|
|
|
}
|
|
|
|
|
|
|
|
[NoReturn]
|
|
|
|
[SkipCall]
|
|
|
|
public static void FatalError(String msg = "Fatal error encountered")
|
|
|
|
{
|
|
|
|
Internal.FatalError(msg, 1);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|