void function ( byte [ ] arg0 , int arg1 , int arg2 ) { if ( arg1 + arg2 > arg0 . length ) { throw new ArrayIndexOutOfBoundsException ( ) ; } }
ensures that the given buffer contains at least the given number of bytes after the given offset . concode_field_sep PlaceHolder placeHolder concode_field_sep void writeInt concode_elem_sep void writeInt concode_elem_sep void writeInt concode_elem_sep void writeByte concode_elem_sep void writeByte concode_elem_sep void writeByte concode_elem_sep void writeLong concode_elem_sep void writeLong concode_elem_sep long readLong concode_elem_sep short readShort concode_elem_sep void writeShort concode_elem_sep void writeShort concode_elem_sep byte readByte concode_elem_sep byte readByte concode_elem_sep int readInt concode_elem_sep int readInt