SCJP 6 Clase 5 – Control de Flujo,

Exceptions y Assertions

Ezequiel Aranda

Sun Microsystems Campus Ambassador

Disclaimer & Acknowledgments

>!Even though Ezequiel Aranda is a full-time employee of Sun Microsystems, the contents here are created as his own personal endeavor and thus does not reflect any official stance of Sun Microsystems.

>!Sun Microsystems is not responsible for any inaccuracies in the contents.

>!Acknowledgments – The slides of this presentation are made from “SCJP Unit 5” by Warit Wanwithu and Thanisa

Kruawaisayawan and SCJP Workshop by P. Srikanth.

>!This slides are Licensed under a Creative Commons

Attribution – Noncommercial – Share Alike 3.0

>!http://creativecommons.org/licenses/by-nc-sa/3.0/

AGENDA

>!if

>!for

>!for “mejorado”

>!break y continue

>!excepciones

>!assertions

if

>!Observen este ejemplo:

if (exam.done())

if (exam.getScore() < 0.61)

System.out.println("Try again.");

// ¿A que “if” pertenece el próximo else?

else

System.out.println("Javamaster!");

>!El “else” pertenece al segundo “if”

if (II)

int trueInt = 1;

int falseInt = 0;

if (trueInt) // ilegal

if (trueInt == true) // ilegal

if (1) // illegal

if (falseInt == false) // ilegal

if (trueInt == 1) // legal

if (falseInt == 0) // legal

>!La única expresión legal en un if es una de tipo boolean.

>!En algunos lenguajes, 0 == false y 1 == true. No es así en Java.

Switch

>!Una expresión en un switch debe evaluar a un char, byte, short, int o, a partir de Java 5, un enum.

>!Una constante en un case debe evaluar al mismo tipo que la expresión puede usar.

>!Switch solo chequea igualdad.

>!Puede colocarse el caso por defecto arriba.

Switch (II)

>!Una vez que se encuentra una correspondencia entre las constantes del case, la JVM ejecutará el bloque de código asociado, y TODOS los bloques subsecuentes (salvo que encuentre un break en el camino). public static void main(String [] args) {

int x = 10; switch(x) {

case 5: System.out.print("five ");

case 10: System.out.print("ten ");

case 15: System.out.print("fifteen");

default: System.out.println("done");

}}

While

>!Cualquier variable a ser utilizada en la expresión del bucle while debe ser declarada antes de la evaluación de la expresión.

while (int x = 2) { } // no legal

>!El punto clave a recordar del while es que podría no ejecutarse nunca.

Bucles

>!Ejemplos de salidas forzadas de los bucles son:

break

return

System.exit()

exception

>!Los cuales causan que un loop termine abruptamente, sin ejecutar la expresión de la iteración.

For

>!Las variables declaradas en la sentencia “for” son locales al bucle, y no pueden ser usadas fuera del ámbito del bucle. int i = 0;

for (;i<10;) {

i++;

}

for (int i = 0,j = 0; (i<10) && (j<10); i

++, j++) {

System.out.println("i is " + i + " j is "

+j);

}

For (II)

>!El último detalle a destacar sobre el “for” es que las tres secciones del bucle son independientes entre si.

int b = 3;

for(int a=1; b=1;

System.out.println("iterate")){

b = b -a;

}

For “mejorado”

>!El nuevo for incluido en Java 5 es una forma especializada del bucle que simplifica la tarea de recorrer arrays o collections.

>!En vez de tener tres componentes, tiene solo dos.

int[] a = {1,2,3,4};

for(int n : a)

System.out.print(n);

For “mejorado” (II)

>!El viejo:

int[] a = {1,2,3,4};

for(int x = 0; x < a.length; x++)

System.out.print(a[x]);

>!El nuevo:

for(int n : a)

System.out.print(n);

For “mejorado” (III)

>!Declaración: la variable declarada debe ser de un tipo compatible con los elementos del array. Su ámbito será el bloque del bucle, y su valor será el del elemento actual del array.

>!Expresión: la expresión debe evaluar al array que queremos recorrer. Puede ser una variable o un método que retorne un array. El array puede ser de cualquier tipo: primitivos, objetos, incluso arrays de arrays.

Ejemplos de for “mejorado”

// Declaración de arrays int x;

long x2;

Long [] La = {4L, 5L, 6L};

long [] la = {7L, 8L, 9L};

int [][] twoDee = {{1,2,3}, {4,5,6}, {7,8,9}};

String [] sNums = {"one", "two", "three"};

Animal [] animals = {new Dog(), new Cat()};

Ejemplos de for “mejorado” (II)

// declaraciones legales

for(long y : la ) ;

for(long lp : La) ; // autounboxing

for(int[] n : twoDee) ;

for(int n2 : twoDee[2]) ; // 3er sub-array

for(String s : sNums) ;

for(Object o : sNums) ;

for(Animal a : animals) ;

Ejemplos de for “mejorado” (III)

// declaraciones ilegales for(x2 : la) ; // x2 ya está

//declarado

for(int x2 : twoDee) ; // no puedo

//colocar un array en un int

for(int x3 : la) ; // no puedo

//poner un long en un int

for(Dog d : animals) ; //no todos

//eran perros

break y continue

>!Las palabras clave break y continue se usan, respectivamente, para detener un bucle completo o solo la iteración actual.

>!La diferencia entre ellas es si continuamos con una nueva iteración del loop o desde la sentencia que se encuentra directamente debajo del ciclo.

Continue

for (int i = 0; i < 10; i++) {

System.out.println("Inside loop");

if (foo.doStuff() == 5) {

continue;

}

// código que no

//será alcanzado si

//se ejecuta el

//continue

}

Break

boolean problem = true;

while (true) {

if (problem) {

System.out.println("There was a

problem");

break;

}

}

// la ejecución continúa en este punto

Pregunta boolean problem = true;

for (int i = 0; i < 5; i++) {

while (true) {

if (problem) {

System.out.println("There was a

problem");

break;

System.out.println(“a”);

}

}

}

>!¿Cuál es el resultado de este código?

Etiquetas

>!Las sentencias break y continue pueden ser “etiquetadas” o “no etiquetadas”.

>!En el examen, se espera que conozcamos como funcionan las sentencias etiquetadas.

>!De colocarse, la etiqueta debe ir antes de la sentencia que queremos etiquetar, y consiste en un identificador valido, seguido de dos puntos (‘:’).

Break con etiquetas

boolean isTrue = true;

outer:

for(int i=0; i<5; i++) {

while (isTrue) {

System.out.println("Hello");

break outer;

} // fin del while

System.out.println("Outer loop."); // no se imprime

} // fin del for

System.out.println("Good-Bye");

Continue con etiquetas

outer:

for (int i=0; i<5; i++) {

for (int j=0; j<5; j++) {

System.out.println("Hello");

continue outer;

} // fin del ciclo interior

System.out.println("outer"); // no se imprime

}

System.out.println("Good-Bye");

Pregunta boolean problem = true;

outer:

for (int i = 0; i < 5; i++) {

while (true) {

if (problem) {

System.out.println("There was a

problem");

break outer;

System.out.println(“a”);

}

}

}

>!¿Cuál es el resultado de este código? ¿Dónde continúa?

Manejo de Excepciones

>!El “try” se usa para definir un bloque de código en el que pueden ocurrir excepciones. Este bloque de código se llama “región cautelosa” (lo cual significa que el “código riesgoso se coloca aquí”).

>!Una o más clausulas “catch” emparejan cada excepción con el bloque de código que las maneja.

Manejo de Excepciones (II)

try {

// Código que podría arrojar una excepción

}

catch(MyFirstException) {

// Código que trata la excepción “MyFirstException”

}

catch(MySecondException) {

// Código que trata la excepción “MySecondException”

}

// Código que no arroja excepciones

Pregunta

System.out.println(1/0.0);

System.out.println(-1/0.0);

System.out.println(Math.sqrt(-1));

System.out.println(1/0);

System.out.println(“Hello”);

System.out.printf("%d+ %d", 123,

456);

>!¿Qué imprime?

Manejo de excepciones (III)

>!Nótese que si ocurre una excepción, el resto de las líneas del bloque “try” nunca se ejecutarán.

>!Una vez que el control pasa al bloque “catch”, nunca retorna al bloque try.

class Plane {

static String s = "-";

public static void main(String[] args){

new Plane().s1();

System.out.println(s); }

void s1() {

try { s2(); }

catch (Exception e) {s += "c"; }}

void s2() throws Exception {

s3(); s += "2";

s3(); s += "2b"; }

void s3() throws Exception {

throw new Exception();} }

>!¿Cuál es el resultado de este código?

finally

>!Un bloque finally contiene código que siempre se ejecuta luego del bloque try, sin importar si hubo o no una excepción.

>!Incluso si hay un return, el bloque finally se ejecuta luego de que la JVM encuentra el return, pero antes de que este se ejecute.

1.! public class Test {

2.! public static String output =””;

3.! public static void foo(int i) {

4.! try {

5.! if(i==1)

6.! { throw new Exception(); }

7.! output += “1”;

8.! } catch(Exception e) {

9.! output += “2”;

10.! return;

11.! } finally {

12.! output += “3”;

13.! }

14.! output += “4”;

15.! }

16.! public static void main(String args[]) {

17.! foo(0);

18.! foo(1); } } ¿Cuál es el valor de output en la línea 18?

?

Orden de try, catch, finally

>!try -catch== OK.

>!try-finally== OK.

>!try -catch-finally== OK.

>!try-finally -catch!= OK.

>!Solo try!= OK.

>!Solo catch!= OK.

>!Solo finally!= OK.

>!try-algo–catch!= OK.

Propagando excepciones no atrapadas

>!Si nuestro programa comienza en un método main(), y main() llama a un método a(), que llama a un método b(), que a su vez llama a un método c(), la pila de llamadas consistirá de:

c

b

a

main

>!Las excepciones son como pelotas que se arrojan de persona a persona, empezando desde la azotea.

Definiendo excepciones

>!Cada excepción es una instancia de una clase que posee la clase Exception en su jerarquía.

>!Cuando una excepción es arrojada, se crea un objeto de un subtipo de Exception, que se pasa como parámetro a la clausula catch del manejador de dicha excepción.

Jerarquía de excepciones

>!Generalmente, nuestra aplicación no podrá recuperarse de un Error.

>!Las excepciones representan en general, ausencia de recursos.

>!Las RuntimeExceptions suelen indicar errores en el programa.

Atrapar distintas excepciones

>!Podemos atrapar más de una excepción en una única cláusula catch.

>!Por ejemplo: FileNotFoundException es una subclase de IOException. Por lo tanto, podemos atraparla tanto en una cláusula que atrape todos los subtipos de IOException, como creando una cláusula especifica para FileNotFoundException.

public static void main(String args[]) {

try {

RandomAccessFile raf= new

RandomAccessFile("myfile.txt", "r");

byte b[] = new byte[1000];

raf.readFully(b, 0, 1000);

}

catch(FileNotFoundException e) {

System.err.println("File not found");

System.err.println(e.getMessage());

e.printStackTrace();

}

catch(IOException e) {

System.err.println("IO Error");

System.err.println(e.toString());

e.printStackTrace();

}

}

Atrapar distintas excepciones (II)

>!Es importante notar que la cláusula catch para la excepción “FileNotFoundException”, se encontraba arriba de la cláusula para la excepción “IOException”.

>!Si estuviesen al revés, sucedería algo como:

java.io.FileNotFoundException has

already been caught }

catch (FileNotFoundException ex) {

Métodos para manejar excepciones

>!try/ catch

>!throws

>!Cada método debe tratar las excepciones (checked) proveyendo una clausula catch o bien declarar que es posible que arroje una excepción.

Declaración de excepciones

>!Supongamos que nuestro método no arroja una excepción directamente, pero llama a un método que sí lo hace. Podemos elegir no tratar la excepción en nuestro método.

>!Para esto, declaramos la excepción que podría surgir, pero no proveemos cláusulas try/catch.

void myFunction() throws

MyException{

// código del método }

Pregunta

void doStuff() {

doMore();

}

void doMore() throws IOException{

throw new IOException();

}

>!¿Compila? ¿Hay algo mal?

RuntimeException

public void myMethod3() {

//código que podría arrojar una

NullPointerException

}

>!Las excepciones que heredan de RuntimeException se llaman “unchecked exceptions” y, como su nombre indica, no es necesario tratarlas o declararlas.

Algo más sobre excepciones

public void test1() throws A{

throw new B();

} // Puede ser del mismo tipo que A o menor

class Parent {

public void test2() throws Exception{}

}

class Child extends Parent {

public void test2() throws

ArithmeticException{}

} // Debe ser del mismo tipo o menor

Errores

>!Heredan de Throwable (pueden arrojarse usando “throws”), pero son unchecked.

>!Podríamos atraparlos, pero en general es demasiado tarde.

>!Por ejemplo, si tuviésemos un “OutOfMemoryError” o un “VirtualMachineError”, ¿Qué podríamos hacer?

Assertions

>!Mientras probamos nuestro programa, validamos nuestras asunciones utilizando prints, sentencias if/else, manejadores de excepciones, etc.

>!¡Y después hay que sacarlos!

>!Utilizando assertions, podremos validar nuestro programa sin quitar nada luego.

Assertions (II)

>!Los assertions funcionan de forma sencilla. Siempre asumimos que son true. Si lo son, no hay problema, el programa continúa su ejecución. Si son false, ocurre un AssertionError. private void methodA(int num) {

assert (num>=0);

useNum(num+ x);

}

Assertions (III)

private void doStuff() {

assert (y > x): "y is " + y + " x

is " + x;

// código que asume que y es mayor

que x

}

>!El resultado de esta expresión se agrega a la traza de la pila. Ambas versiones arrojan un error AssertionError inmediatamente, pero la versión simple nos da algo mas de ayuda en el debugging.

void noReturn() { }

int aReturn() { return 1; }

void go() {

int x = 1;

boolean b = true;

// Asserts legales:

assert(x== 1);

assert(b);

assert true;

assert(x== 1) : x;

assert(x== 1) : aReturn();

assert(x== 1) : new ValidAssert(); }

Assertions (IV)

Assertions (V)

// Asserts ilegales

// no son booleans

assert(x = 1);

assert(x);

assert 0;

assert(x== 1) : ;

// no retornan un valor

assert(x== 1) : noReturn() -void;

assert(x== 1) : ValidAssert va;

Habilitando Assertions

>!Los assertions pueden habilitarse o desabilitarse a elección. Por defecto, están deshabilitados.

>!Para ejecutar un programa con assertions habilitados:

>!java -ea TestClass

>!java -enableassertions TestClass

Deshabilitar assertions

>!Para deshabilitar los assertions:

>!java -daTestClass

>!java -disableassertions TestClass

>!Este comando puede parecer innecesario….

Habilitación selectiva

>!Podemos combinar los comandos para, por ejemplo, deshabilitar las assertions en una única clase, pero habilitarlas en todas las otras. >!java -ea -da:com.geeksanonymous.Foo

>!Podemos usar un nombre de paquete (de esta

forma se deshabilita también en todos los

subpaquetes).

>!java -ea -da:com.geeksanonymous...

Usando assertions correctamente

>!AssertionError es una subclase de Throwable, por lo que puede ser capturada. Pero no debemos hacerlo.

>!No debemos usar assertions para validar argumentos en métodos públicos:

public void doStuff(intx) {

assert (x > 0); // inapropiado

}

>!De la misma forma, no debemos usar assertions para validar argumentos en la línea de comandos.

Usando assertions correctamente (II)

>!Debemos usar assertions para validar argumentos en métodos privados:

private void doMore(int x) {

assert (x > 0);

// código que utiliza x asumiendo

que es mayor que 0

}

Usando assertions correctamente (III)

>!Podemos usarlas de esta forma:

switch(x) {

case 1: y = 3;

case 2: y = 9;

case 3: y = 27;

default: assert false;

// No se supone que lleguemos hasta

aquí

}

No usar assertions que causen efectos secundarios

>!No está garantizado que las expresiones con asserts se ejecuten siempre, por lo tanto, no queremos que nuestro código se comporte de forma distinta dependiendo si las assertions están o no habilitadas. public void doStuff() {

assert (modifyThings());

}

public boolean modifyThings() {

y = x++;

return true; }

Nota

Si en el examen aparece la palabra “apropiado”, no debemos confundirla

con “legal”. “Apropiado” se refiere a lo forma en la que se SUPONE que algo

debe ser usado, mientras que “legal” se refiere a la forma en la que algo PUEDE

ser usado.

Preguntas