void function ( int arg0 , int arg1 ) { checkArgument ( arg1 >= 0 , "srini_string" ) ; if ( arg0 < 0 || arg0 >= arg1 ) { throw new IndexOutOfBoundsException ( "srini_string" + arg0 + "srini_string" + arg1 ) ; } }
ensures that the given index is valid for an array , list or string of the given size . concode_field_sep PlaceHolder placeHolder concode_field_sep T checkNotNull concode_elem_sep T checkNotNull concode_elem_sep T checkNotNull concode_elem_sep void checkState concode_elem_sep void checkState concode_elem_sep void checkState concode_elem_sep String format concode_elem_sep void checkArgument concode_elem_sep void checkArgument concode_elem_sep void checkArgument