April 05
Prof. Ismael H. F. Santos
- ismael@tecgraf.puc-rio.br
2
Asserções – since JSDK
1.4.0
nExpressões booleanas que o programador define
para afirmar uma
condição que ele acredita ser verdade
nAsserções são usadas para validar código ( ter a
certeza que um vetor
tem determinado tamanho, ter a certeza que o programa não passou por determinado lugar, etc)
nMelhoram a qualidade do código: tipo de teste
caixa-branca
nDevem ser usadas durante o desenvolvimento e
desligadas na produção
(afeta a performance)
nNão devem ser usadas como parte da lógica do
código
nAsserções são um recurso novo do
JSDK1.4.0
nNova palavra-chave: assert
nÉ preciso compilar usando a opção -source
1.4:
n>javac -source 1.4 Classe.java
nPara executar, é preciso habilitar afirmações
(enable assertions):
n>java -ea Classe