(int a, int b, Object[] arr)
| 2779 | /// - `arr`: @param arr - |
| 2780 | /// the array in which to swap elements. |
| 2781 | private static void swap(int a, int b, Object[] arr) { |
| 2782 | Object tmp = arr[a]; |
| 2783 | arr[a] = arr[b]; |
| 2784 | arr[b] = tmp; |
| 2785 | } |
| 2786 | |
| 2787 | /// Performs a sort on the section of the array between the given indices |
| 2788 | /// using a mergesort with exponential search algorithm (in which the merge |