Observe o algoritmo abaixo escrito na linguagem de programação Java. Sobre o mesmo, é correto afirmar que:

public static int busca ( int[] array, int valor )
{
int esq = 0;
int dir = array.length - 1;
int valorMeio;

while ( esq <= dir ) {
valorMeio = (esq + dir) / 2;
if ( array[valorMeio] < valor ) {
esq = valorMeio + 1;
} else if( array[valorMeio] > valor ) {
dir = valorMeio - 1;
} else {
return valorMeio;
}
}
return -1;
}