added examples of generics and string support needed by Poirot

1 files changed, 20 insertions, 0 deletions

diff --git a/BCT/Samples/Generics/GenericsExample.cs b/BCT/Samples/Generics/GenericsExample.cs
new file mode 100644
index 00000000..c7016ceb
--- /dev/null
+++ b/BCT/Samples/Generics/GenericsExample.cs
@@ -0,0 +1,20 @@
+using System;

+using System.Collections.Generic;

+using System.Diagnostics.Contracts;

+using System.Linq;

+using System.Text;

+

+/* Simple example of generics/dictionary support needed by Poirot */

+class GenericsExample

+{

+    public static void Main()

+    {

+        Dictionary<String, String> dict = new Dictionary<String, String>();

+        dict["foo"] = "bar";

+        Contract.Assert(dict.ContainsKey("foo"));

+        Contract.Assert(dict.ContainsValue("bar"));

+        Contract.Assert(dict["foo"] == "bar");

+        dict.Remove("foo");

+        Contract.Assert(dict["foo"] == "bar"); // should fail

+    }

+}
\ No newline at end of file