From 8c6461fbfccd5dee8c9adf1d57f57704ee0f5181 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Wed, 21 Mar 2012 23:56:24 +0000
Subject: [PATCH] Some testcases
---
mytest/MyTuple1.scala | 11 +++++++++++
mytest/MyTuple2.scala | 10 ++++++++++
mytest/MyTupleWrong.scala | 14 ++++++++++++++
3 files changed, 35 insertions(+)
create mode 100644 mytest/MyTuple1.scala
create mode 100644 mytest/MyTuple2.scala
create mode 100644 mytest/MyTupleWrong.scala
diff --git a/mytest/MyTuple1.scala b/mytest/MyTuple1.scala
new file mode 100644
index 000000000..029eff990
--- /dev/null
+++ b/mytest/MyTuple1.scala
@@ -0,0 +1,11 @@
+object MyTuple1 {
+
+ def foo(): Int = {
+ val t = (1, true)
+ val a1 = t._1
+ val a2 = t._2
+ a1
+ } ensuring( _ > 0)
+
+}
+
diff --git a/mytest/MyTuple2.scala b/mytest/MyTuple2.scala
new file mode 100644
index 000000000..bc4289ffc
--- /dev/null
+++ b/mytest/MyTuple2.scala
@@ -0,0 +1,10 @@
+object MyTuple2 {
+
+ def foo(): Int = {
+ val t = (1, true)
+ val a1 = t._1
+ val a2 = t._2
+ a1
+ } ensuring( _ < 0)
+
+}
diff --git a/mytest/MyTupleWrong.scala b/mytest/MyTupleWrong.scala
new file mode 100644
index 000000000..23368d31b
--- /dev/null
+++ b/mytest/MyTupleWrong.scala
@@ -0,0 +1,14 @@
+object MyTupleWrong {
+
+ def foo(): Int = {
+ val t = (1, true)
+ val a1 = t._1
+ val a2 = t._2
+ val a3 = t._3
+ a1
+ }
+
+}
+
+
+// vim: set ts=4 sw=4 et:
--
GitLab