O assert
existemexiste na maioria das linguagens de programação e tem sempre a mesma função, garantir uma condição para continuar a execução do código.
Caso a condição não seja atendida, uma exceção é disparada, e a execução é interrompida.
O exemplo que vc citou:
assert n >= 0
Irá disparar uma exceção se o n não for maior que 0.
Veja este post no SO-en.
ATUALIZAÇÃO: Um Exemplo, sugerido pela IDE - Android Studio, no analisador de código.
public boolean Upload(String pArqOrigem, String pArqDestino, String DiretorioDestino) {
boolean status = false;
FileInputStream srcFileStream = null;
try {
srcFileStream = new FileInputStream(pArqOrigem);
if (MudarDiretorio(pDiretorioDestino)) {
myLog.info( "Mudou para: "+pDiretorioDestino);
status = mFtp.storeFile(pArqDestino, srcFileStream);
}
myLog.info( "Upload OK? " + status);
return status;
} catch (Exception e) {
myLog.error( "Erro: Falha ao efetuar Upload. ", e);
return false;
} finally {
try {
assert srcFileStream != null;
srcFileStream.close();
} catch (IOException e) {
e.printStackTrace();
}
}
}
A IDE segeriu o uso do assert
no finally
, pois é preciso ter certeza que o objeto srcFileStream
exista antes de fechar o mesmo.