Julho 06
Prof(s). Eduardo Bezerra
& Ismael H. F. Santos
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 deveria chegar
aqui!";
}