call this to notify us that no chars before this absolute position are needed anymore . concode_field_sep char[] buffer concode_elem_sep Reader reader concode_elem_sep int nextPos concode_elem_sep int nextWrite concode_elem_sep int count concode_elem_sep boolean end concode_field_sep boolean inBounds concode_elem_sep int getIndex concode_elem_sep int get concode_elem_sep char[] get concode_elem_sep void reset
void function ( int arg0 ) { assert arg0 >= 0 ; assert arg0 <= nextPos ; final int loc0 = nextPos - arg0 ; assert loc0 <= count : "srini_string" + loc0 + "srini_string" + count ; assert loc0 <= buffer . length : "srini_string" + loc0 + "srini_string" + buffer . length ; count = loc0 ; }