From 917954e4213a98e3df21928493ca05377866b682 Mon Sep 17 00:00:00 2001
From: Utkarsh Upadhyay <musically.ut@gmail.com>
Date: Wed, 23 Jun 2010 14:55:42 +0000
Subject: [PATCH] Added a set example which is successfully parsed. (No
cardinality extraction, though.)
---
testcases/SetOperations.scala | 11 +++++++++++
1 file changed, 11 insertions(+)
create mode 100644 testcases/SetOperations.scala
diff --git a/testcases/SetOperations.scala b/testcases/SetOperations.scala
new file mode 100644
index 000000000..0cd18de4c
--- /dev/null
+++ b/testcases/SetOperations.scala
@@ -0,0 +1,11 @@
+import scala.collection.immutable.Set
+
+// Cardinalities not supported yet.
+// Pre/Post conditions commented out.
+
+object SetOperations {
+ def add(a: Set[Int], b: Int) : Set[Int] = {
+ // require(a.size >= 0)
+ a + b
+ } // ensuring((x:Set[Int]) => x.size == a.size + 1)
+}
--
GitLab