tests/untried/pos/unapplyComplex.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39

trait Complex extends Product2[Double, Double] {
  def canEqual(other: Any) = other.isInstanceOf[Complex]
}

class ComplexRect(val _1: Double, val _2: Double) extends Complex {
  override def toString = "ComplexRect("+_1+","+_2+")"
}

class ComplexPolar(val _1: Double, val _2: Double) extends Complex {
  override def toString = "ComplexPolar("+_1+","+_2+")"
}

object ComplexRect {
  def unapply(z:Complex): Option[Complex] = {
    if (z.isInstanceOf[ComplexRect]) Some(z) else z match {
      case ComplexPolar(mod, arg) =>
    Some(new ComplexRect(mod*math.cos(arg), mod*math.sin(arg)))
} } }

object ComplexPolar {
  def unapply(z:Complex): Option[Complex] = {
    if (z.isInstanceOf[ComplexPolar]) Some(z) else z match {
      case ComplexRect(re,im) =>
    Some(new ComplexPolar(math.sqrt(re*re + im*im), math.atan(re/im)))
} } }

object Test {
  def main(args:Array[String]) = {
    new ComplexRect(1,1) match {
      case ComplexPolar(mod,arg) => // z @ ???
    Console.println("mod"+mod+"arg"+arg)
    }
    val Komplex = ComplexRect
    new ComplexPolar(math.sqrt(2),math.Pi / 4.0) match {
      case Komplex(re,im) => // z @ ???
    Console.println("re"+re+" im"+im)
    }
  }
}