summaryrefslogtreecommitdiff
path: root/BCT/Samples/Exceptions/ExceptionsExample.cs
diff options
context:
space:
mode:
Diffstat (limited to 'BCT/Samples/Exceptions/ExceptionsExample.cs')
-rw-r--r--BCT/Samples/Exceptions/ExceptionsExample.cs35
1 files changed, 0 insertions, 35 deletions
diff --git a/BCT/Samples/Exceptions/ExceptionsExample.cs b/BCT/Samples/Exceptions/ExceptionsExample.cs
deleted file mode 100644
index 5efb69b7..00000000
--- a/BCT/Samples/Exceptions/ExceptionsExample.cs
+++ /dev/null
@@ -1,35 +0,0 @@
-using System;
-using System.Threading;
-using System.Collections.Generic;
-using System.Diagnostics.Contracts;
-using System.Linq;
-using System.Text;
-
-/* Simple example of exception support needed by Poirot */
-
-class PoirotMain
-{
-
- public static void foo()
- {
- throw new Exception("Error");
- }
-
- public static void Main()
- {
- int x = 5;
- try
- {
- foo();
- x = 17;
- }
- catch (Exception e)
- {
- x = 34;
- }
- Contract.Assert(x == 35);
- }
-}
-
-
-