aboutsummaryrefslogtreecommitdiff
path: root/tests/run/boolexprs.scala
blob: 94313d9c8e9aea97370c25758a776a93b0d7f6d4 (plain) (blame)
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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
//############################################################################
// Boolean Expressions
//############################################################################

class Counter {
  private var n: Int = 0;
  def incrThen(b: Boolean) = if (b) n += 1;
  def value = n;
}

object Test1 {
  var flag = false;
  def flip: Boolean = { val tmp = flag; flag = !flag; tmp }
  def run: Int = {
    val c = new Counter;
    c.incrThen(flip || flip);
    c.value
  }
}

object Test2 {
  val a = Array(false);

  def run: Int = {
    val c = new Counter;
    c.incrThen(true && a(0));
    c.incrThen(false || Nil.length > 0);
    c.value
  }
}

//############################################################################
// Test code

object Test {
  def check_success(name: String, closure: => Int, expected: Int): Unit = {
    Console.print("test " + name);
    try {
      val actual: Int = closure;
      if (actual == expected) {
        Console.print(" was successful");
      } else {
        Console.print(" failed: expected "+ expected +", found "+ actual);
      }
    } catch {
      case exception: Throwable =>
        Console.print(" raised exception " + exception);
    }
    Console.println;
  }

  def main(args: Array[String]): Unit = {
    check_success("Test1", Test1.run, 1);
    check_success("Test2", Test2.run, 0);
    Console.println;
  }
}

//############################################################################