21 lines
407 B
Plaintext
21 lines
407 B
Plaintext
[source,csharp]
|
|
----
|
|
using System;
|
|
using JetBrains.Annotations;
|
|
|
|
public class Utils
|
|
{
|
|
[TerminatesProgram]
|
|
public void TerminateProgram()
|
|
{
|
|
Environment.FailFast("A catastrophic failure has occurred.")
|
|
}
|
|
|
|
public void TerminatesProgramIsRespected()
|
|
{
|
|
object myObject = null;
|
|
TerminateProgram();
|
|
myObject.ToString(); // Compliant: unreachable
|
|
}
|
|
}
|
|
---- |