As pré -condições são uma biblioteca de classes em goiaba, usada para verificar os parâmetros de aprovação.
Boolean FindElement (List <String> Elementos, String desesedElement) {CheckNotNull (Elements);O uso é simples e claro, ou seja, verifique se os elementos do parâmetro são nulos. Obviamente, existem outros métodos na classe de pré -condições, que podem atender às verificações de quase todos os parâmetros de aprovação. A vantagem das pré -condições é que é mais fácil de entender na pilha de chamadas, e cada método também fornece variantes de string formatada, como:
Checkargument (i <j, "esperado i <j, mas %s> %s", i, j);
Diferente das palavras -chave assert que acompanham o Java, o método das pré -condições ainda é eficaz na versão de liberação.