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
60
61
62
63
64
65
66
67
|
8a9,10
> /* INSTRUMENTED VERSION */
>
73a76,77
> var arrayApplyCount = 0
>
75,86c79,93
< def array_apply(xs: AnyRef, idx: Int): Any = xs match {
< case x: Array[AnyRef] => x(idx).asInstanceOf[Any]
< case x: Array[Int] => x(idx).asInstanceOf[Any]
< case x: Array[Double] => x(idx).asInstanceOf[Any]
< case x: Array[Long] => x(idx).asInstanceOf[Any]
< case x: Array[Float] => x(idx).asInstanceOf[Any]
< case x: Array[Char] => x(idx).asInstanceOf[Any]
< case x: Array[Byte] => x(idx).asInstanceOf[Any]
< case x: Array[Short] => x(idx).asInstanceOf[Any]
< case x: Array[Boolean] => x(idx).asInstanceOf[Any]
< case x: Array[Unit] => x(idx).asInstanceOf[Any]
< case null => throw new NullPointerException
---
> def array_apply(xs: AnyRef, idx: Int): Any = {
> arrayApplyCount += 1
> xs match {
> case x: Array[AnyRef] => x(idx).asInstanceOf[Any]
> case x: Array[Int] => x(idx).asInstanceOf[Any]
> case x: Array[Double] => x(idx).asInstanceOf[Any]
> case x: Array[Long] => x(idx).asInstanceOf[Any]
> case x: Array[Float] => x(idx).asInstanceOf[Any]
> case x: Array[Char] => x(idx).asInstanceOf[Any]
> case x: Array[Byte] => x(idx).asInstanceOf[Any]
> case x: Array[Short] => x(idx).asInstanceOf[Any]
> case x: Array[Boolean] => x(idx).asInstanceOf[Any]
> case x: Array[Unit] => x(idx).asInstanceOf[Any]
> case null => throw new NullPointerException
> }
88a96,97
> var arrayUpdateCount = 0
>
90,101c99,113
< def array_update(xs: AnyRef, idx: Int, value: Any): Unit = xs match {
< case x: Array[AnyRef] => x(idx) = value.asInstanceOf[AnyRef]
< case x: Array[Int] => x(idx) = value.asInstanceOf[Int]
< case x: Array[Double] => x(idx) = value.asInstanceOf[Double]
< case x: Array[Long] => x(idx) = value.asInstanceOf[Long]
< case x: Array[Float] => x(idx) = value.asInstanceOf[Float]
< case x: Array[Char] => x(idx) = value.asInstanceOf[Char]
< case x: Array[Byte] => x(idx) = value.asInstanceOf[Byte]
< case x: Array[Short] => x(idx) = value.asInstanceOf[Short]
< case x: Array[Boolean] => x(idx) = value.asInstanceOf[Boolean]
< case x: Array[Unit] => x(idx) = value.asInstanceOf[Unit]
< case null => throw new NullPointerException
---
> def array_update(xs: AnyRef, idx: Int, value: Any): Unit = {
> arrayUpdateCount += 1
> xs match {
> case x: Array[AnyRef] => x(idx) = value.asInstanceOf[AnyRef]
> case x: Array[Int] => x(idx) = value.asInstanceOf[Int]
> case x: Array[Double] => x(idx) = value.asInstanceOf[Double]
> case x: Array[Long] => x(idx) = value.asInstanceOf[Long]
> case x: Array[Float] => x(idx) = value.asInstanceOf[Float]
> case x: Array[Char] => x(idx) = value.asInstanceOf[Char]
> case x: Array[Byte] => x(idx) = value.asInstanceOf[Byte]
> case x: Array[Short] => x(idx) = value.asInstanceOf[Short]
> case x: Array[Boolean] => x(idx) = value.asInstanceOf[Boolean]
> case x: Array[Unit] => x(idx) = value.asInstanceOf[Unit]
> case null => throw new NullPointerException
> }
|
