blob: 8d085501653ede78e842d684ef985fd9a988a057 (
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
|
9a10,11
> /* INSTRUMENTED VERSION */
>
43c45,48
< def isTuple(x: Any) = x != null && tupleNames(x.getClass.getName)
---
> var arrayApplyCount = 0
> var arrayUpdateCount = 0
>
> def isTuple(x: Any) = tupleNames(x.getClass.getName)
75c80,82
< def array_apply(xs: AnyRef, idx: Int): Any = xs match {
---
> def array_apply(xs: AnyRef, idx: Int): Any = {
> arrayApplyCount += 1
> xs match {
87a95
> }
90c98,100
< def array_update(xs: AnyRef, idx: Int, value: Any): Unit = xs match {
---
> def array_update(xs: AnyRef, idx: Int, value: Any): Unit = {
> arrayUpdateCount += 1
> xs match {
101a112
> }
|