Hi, I have a program that receives an array with unknown length as input.
The program looks like this:
Part of output of running jbse setting RunParameters.StepShowMode.LEAVES, RunParameters.StateFormatMode.TEXT is as follows.
Here, on the top the returned value is {R1} which is Object[4458], and this is an object in heap on the bottom.
I am having difficulty understanding the Items. Could anyone help me out?
I would appreciate any help, such as the meaning of -> or [_ + 0], and (if any) how to read the information of array getting swapped under certain path conditions.
Hi, I have a program that receives an array with unknown length as input. The program looks like this:
Part of output of running jbse setting
RunParameters.StepShowMode.LEAVES
,RunParameters.StateFormatMode.TEXT
is as follows. Here, on the top the returned value is {R1} which is Object[4458], and this is an object in heap on the bottom.I am having difficulty understanding the
Items
. Could anyone help me out?I would appreciate any help, such as the meaning of
->
or[_ + 0]
, and (if any) how to read the information of array getting swapped under certain path conditions.