void function ( int arg0 ) { int loc0 = peekBufferPosition + arg0 ; if ( loc0 > peekBuffer . arg0 ) { peekBuffer = Arrays . copyOf ( peekBuffer , Math . max ( peekBuffer . arg0 * 2 , loc0 ) ) ; } }
ensures peekbuffer is large enough to store at least length bytes from thecurrent peek position . concode_field_sep int peekBufferLength concode_elem_sep int peekBufferPosition concode_elem_sep long streamLength concode_elem_sep byte[] peekBuffer concode_elem_sep long position concode_elem_sep DataSource dataSource concode_elem_sep byte[] SCRATCH_SPACE concode_field_sep int skipFromPeekBuffer concode_elem_sep int readFromDataSource concode_elem_sep int read concode_elem_sep int readFromPeekBuffer concode_elem_sep int skip concode_elem_sep void commitBytesRead concode_elem_sep boolean peekFully concode_elem_sep void peekFully concode_elem_sep void updatePeekBuffer concode_elem_sep boolean skipFully concode_elem_sep void skipFully concode_elem_sep void resetPeekPosition concode_elem_sep long getPosition concode_elem_sep boolean readFully concode_elem_sep void readFully concode_elem_sep long getLength concode_elem_sep boolean advancePeekPosition concode_elem_sep void advancePeekPosition concode_elem_sep long getPeekPosition