blob: 04fc4a1a85db726a7c174616debda33910b79fc2 (
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 = this 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;
Console.print(if (success) "ok" else "KO");
var value: String = if (actual == null) "null" else actual.toString();
if (value == "\u0000") value = "\\u0000";
Console.print(": " + what + " = " + value);
if (!success) Console.print(" != " + expected);
Console.println;
Console.flush;
}
def test: Unit = {
val key = 2000;
val map: IntMap[String] = new Empty[String];
val value = try {
map.lookup(key)
} catch {
case e => scala.runtime.compat.Platform.getMessage(e)
}
check("lookup(" + key + ")", value, "KO");
}
}
//############################################################################
object Test {
def main(args: Array[String]): Unit = {
exceptions.test;
}
}
//############################################################################
|