String function ( int [ ] arg0 ) { String loc0 = new String ( "srini_string" ) ; for ( int loc1 = 0 ; loc1 < arg0 . length ; loc1 ++ ) { loc0 += arg0 [ loc1 ] + ( loc1 < arg0 . length - 1 ? "srini_string" : "srini_string" ) ; } return loc0 + "srini_string" ; }
returns a human readable string of the given array . concode_field_sep PlaceHolder placeHolder concode_field_sep String arr2str concode_elem_sep boolean compare_arr concode_elem_sep Automaton libalf2brics concode_elem_sep int[] str2arr