April 05
Prof. Ismael H. F. Santos
- ismael@tecgraf.puc-rio.br
2
Asserções: exemplo
nTrecho de código que afirma que controle
nunca passará pelo
default:
switch(estacao) {
case
Estacao.PRIMAVERA:
...
break;
case
Estacao.VERAO:
...
break;
case
Estacao.OUTONO:
...
break;
case
Estacao.INVERNO:
...
break;
default:
assert false: "Controle nunca chegará
aqui!";
}