Control de Flujo en Java: Estructuras y Sintaxis Esenciales

Control de Flujo con Java

Java tiene sentencias de control de flujo y su sintaxis es muy similar a la del lenguaje C. Las sentencias de flujo siguen el teorema de la programación estructurada, conocido también como el teorema de Böhm y Jacopini.

if

Entre paréntesis se pone la expresión, la cual debe dar un valor booleano true o false. Si es true, la expresión es verdadera, entonces se realiza el conjunto de sentencias; pero si es false, se transfiere el control de flujo después de la llave que cierra el ámbito del bloque if.

if-else

El siguiente diagrama nos da la sintaxis de la instrucción if-else, de decisión doble. Entre paréntesis se pone la expresión, la cual debe dar un valor booleano true o false. Si es true, la expresión es verdadera, entonces se realiza el primer conjunto de sentencias; pero si es false, se transfiere el control de flujo al segundo bloque de sentencias correspondiente al else.

switch

En la sentencia switch, primeramente se evalúa la expresión expr que está dentro del paréntesis. Después, dependiendo del valor, si es el caso de que valga c1, entonces se efectúa el bloque del primer conjunto de sentencias hasta su rompimiento con la instrucción break, la cual transfiere el control del flujo hasta después de la última llave que cierra la sentencia switch.

while

Se evalúa la expresión; si es true, se ejecuta el bloque o conjunto de sentencias. Si la expresión es false, se transfiere el control después de la llave que cierra el bloque de instrucciones. Debido a que la evaluación de la instrucción se hace al principio, el conjunto o bloque de sentencias puede no ejecutarse ni una sola vez.

do-while

Ejecuta el bloque o conjunto de sentencias por lo menos una vez, desde el do hasta el while, donde lleva a cabo la evaluación de la expresión. Si es true, se vuelve a repetir el ciclo y a ejecutar por segunda vez el bloque de sentencias; si, de lo contrario, la expresión es false, se transfiere el control después del punto y coma (;), que es el separador de sentencias e indicador del final del ciclo.

for

Se ejecuta la expresión1; después se evalúa por primera vez la expresión2, que es booleana. Si da true, entonces se ejecuta el bloque de sentencias; pero si da false, entonces se finaliza el ciclo, transfiriéndose el control de flujo después de la llave que cierra el bloque.