blob: b89056aa784723b73c016d904b66697604b16a8f (
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
|
//############################################################################
// Exceptions
//############################################################################
// $Id$
//############################################################################
abstract class IntMap[A] {
def lookup(key: Int): A = match {
case Empty() => error("KO")
case _ => error("ok")
}
}
case class Empty[A]() extends IntMap[A];
object exceptions {
def check(what: String, actual: Any, expected: Any): Unit = {
val success: Boolean = actual == expected;
System.out.print(if (success) "ok" else "KO");
var value: String = if (actual == null) "null" else actual.toString();
if (value == "\u0000") value = "\\u0000";
System.out.print(": " + what + " = " + value);
if (!success) System.out.print(" != " + expected);
System.out.println();
System.out.flush();
}
def test: Unit = {
val key = 2000;
val map: IntMap[String] = new Empty[String];
val value = try {
map.lookup(key)
} catch {
case e => e.getMessage()
}
check("lookup(" + key + ")", value, "KO");
}
}
//############################################################################
object Test {
def main(args: Array[String]): Unit = {
exceptions.test;
}
}
//############################################################################
|