void function ( int arg0 , Value arg1 ) { if ( arg0 < 0 || arg0 >= size ) { throw new IndexOutOfBoundsException ( "srini_string" + arg0 + "srini_string" + size + "srini_string" ) ; } values [ arg0 ] = arg1 ; if ( arg1 . isCategory2 ( ) ) { values [ arg0 + 1 ] = TOP_VALUE ; } }
stores the given value at the given variable index . concode_field_sep int size concode_elem_sep TopValue TOP_VALUE concode_elem_sep Value[] values concode_field_sep ReferenceValue aload concode_elem_sep Value getValue concode_elem_sep int size concode_elem_sep Value load concode_elem_sep IntegerValue iload concode_elem_sep LongValue lload concode_elem_sep int hashCode concode_elem_sep boolean equals concode_elem_sep void reset concode_elem_sep boolean generalize concode_elem_sep DoubleValue dload concode_elem_sep String toString concode_elem_sep void initialize concode_elem_sep InstructionOffsetValue oload concode_elem_sep FloatValue fload