void function ( Comparable [ ] arg0 , int arg1 , int arg2 ) { while ( 2 * arg1 <= arg2 ) { int loc0 = 2 * arg1 ; if ( loc0 < arg2 && less ( arg0 , loc0 , loc0 + 1 ) ) loc0 ++ ; if ( ! less ( arg0 , arg1 , loc0 ) ) break ; exch ( arg0 , arg1 , loc0 ) ; arg1 = loc0 ; } }
helper functions to restore the heap invariant . concode_field_sep PlaceHolder placeHolder concode_field_sep void exch concode_elem_sep void show concode_elem_sep void main concode_elem_sep void sort concode_elem_sep boolean less concode_elem_sep boolean less concode_elem_sep boolean isSorted