blob: 366763e7f946ce24fdee0e34526c888e1be08166 (
plain) (
tree)
|
|
9a10,11
> /* INSTRUMENTED VERSION */
>
44c46,49
< def isTuple(x: Any) = x != null && tupleNames(x.getClass.getName)
---
> var arrayApplyCount = 0
> var arrayUpdateCount = 0
>
> def isTuple(x: Any) = tupleNames(x.getClass.getName)
76c81,83
< def array_apply(xs: AnyRef, idx: Int): Any = xs match {
---
> def array_apply(xs: AnyRef, idx: Int): Any = {
> arrayApplyCount += 1
> xs match {
88a96
> }
91c99,101
< 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 {
102a113
> }
|