question: read length bytes from position of a file channel . an eofexception will be thrown if you attempt to read beyond the end of file . concode_field_sep int WRITE_CHUNK_SIZE concode_elem_sep int READ_CHUNK_SIZE concode_field_sep byte[] readFromFileChannel concode_elem_sep int readFromFileChannel concode_elem_sep int readFromFileChannel concode_elem_sep void writeToChannel concode_elem_sep void writeToChannel concode_elem_sep void writeToChannel concode_elem_sep void writeToChannel concode_elem_sep int readSingleChunk
target: void function ( FileChannel arg0 , long arg1 , byte [ ] arg2 , int arg3 , int arg4 ) { int loc0 = readFromFileChannel ( arg0 , arg1 , arg2 , arg3 , arg4 ) ; if ( loc0 < 0 ) { throw new EOFException ( "srini_string" + arg1 + "srini_string" + arg4 + "srini_string" + arg0 . size ( ) + "srini_string" ) ; } }