From 0ef0f40ae31bf8a1e3d5b9c6eea7ef5b5a073192 Mon Sep 17 00:00:00 2001
From: Burak Emir <emir@epfl.ch>
Date: Wed, 24 Jan 2007 15:20:25 +0000
Subject: moved working tests to files

---
 test/files/run/unapply.scala | 86 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 86 insertions(+)
 create mode 100644 test/files/run/unapply.scala

(limited to 'test/files/run/unapply.scala')

diff --git a/test/files/run/unapply.scala b/test/files/run/unapply.scala
new file mode 100644
index 0000000000..d84711519f
--- /dev/null
+++ b/test/files/run/unapply.scala
@@ -0,0 +1,86 @@
+import scala.testing.SUnit._
+
+object Test {
+  def main(args:Array[String]) = {
+    Foo.run
+    Mas.run
+    Lis.run
+  }
+}
+
+// this class is used for representation
+class Bar {
+  var size: Int    = 50
+  var name: String = "medium"
+}
+
+// test basic unapply for 0, 1 and 2 args and with precise type test
+object Fii {
+  def unapply(x: Any): boolean = x.isInstanceOf[Bar]
+}
+object Faa {
+  def unapply(x: Any): Option[String] = if(x.isInstanceOf[Bar]) Some(x.asInstanceOf[Bar].name) else None
+}
+object FaaPrecise {
+  def unapply(x: Bar): Option[String] = Some(x.name)
+}
+object FaaPreciseSome {
+  def unapply(x: Bar) = Some(x.name)  // return type Some[String]
+}
+object Foo extends Assert {
+  def unapply(x: Any): Option[Product2[Int, String]] = x match {
+    case y: Bar => Some(Tuple(y.size, y.name))
+    case _ => None
+  }
+  def doMatch1(b:Bar) = b match {
+      case Foo(s:Int, n:String) => {s,n}
+  }
+  def doMatch2(b:Bar) = b match {
+      case Fii() => null
+  }
+  def doMatch3(b:Bar) = b match {
+      case Faa(n:String) => n
+  }
+  def doMatch4(b:Bar) = (b:Any) match {
+    case FaaPrecise(n:String) => n
+  }
+  def doMatch5(b:Bar) = (b:Any) match {
+    case FaaPreciseSome(n:String) => n
+  }
+  def run {
+    val b = new Bar
+    assertEquals(doMatch1(b),{50,"medium"})
+    assertEquals(doMatch2(b),null)
+    assertEquals(doMatch3(b),"medium")
+    assertEquals(doMatch4(b),"medium")
+    assertEquals(doMatch5(b),"medium")
+  }
+}
+
+// same, but now object is not top-level
+object Mas extends Assert {
+  object Gaz {
+    def unapply(x: Any): Option[Product2[Int, String]] = x match {
+      case y: Baz => Some(Tuple(y.size, y.name))
+      case _ => None
+    }
+  }
+  class Baz {
+    var size: Int    = 60
+    var name: String = "too large"
+  }
+  def run {
+    val b = new Baz
+    assertEquals(b match {
+      case Gaz(s:Int, n:String) => {s,n}
+    }, {60,"too large"})
+  }
+}
+
+object Lis extends Assert {
+  def run {
+    assertEquals((List(1,2,3): Any) match { case List(x,y,_*) => {x,y}}, {1,2})
+  }
+}
+
+
-- 
cgit v1.2.3