void function ( int arg0 ) { if ( arg0 >= getPageCount ( ) || arg0 < 0 ) throw new IndexOutOfBoundsException ( ) ; if ( currentPage != arg0 ) invalidateBuffer ( ) ; currentPage = arg0 ; }
set current position concode_field_sep int pageElementCount concode_elem_sep int currentPage concode_elem_sep int currentElement concode_field_sep Iterator previousPage concode_elem_sep Iterator lastPage concode_elem_sep int getPageCount concode_elem_sep Iterator getPage concode_elem_sep Iterator nextPage concode_elem_sep Object firstElement concode_elem_sep List toList concode_elem_sep int seek concode_elem_sep Iterator iterator concode_elem_sep int getCurrentPageElementCount concode_elem_sep int getPageElementCount concode_elem_sep Object find concode_elem_sep boolean hasPreviousPage concode_elem_sep int getCurrentElementNumber concode_elem_sep Object prevElement concode_elem_sep int getCurrentPageNumber concode_elem_sep boolean hasNextPage concode_elem_sep Cursor listDifference concode_elem_sep Cursor listUnion concode_elem_sep void invalidateBuffer concode_elem_sep void setPageElementCount concode_elem_sep Set toSet concode_elem_sep Set toSet concode_elem_sep Iterator firstPage concode_elem_sep Cursor listIntersection concode_elem_sep Object getElement concode_elem_sep Object lastElement concode_elem_sep Object nextElement