Les conditions préalables sont une bibliothèque de classe dans la goyave, qui est utilisée pour vérifier les paramètres de passage.
Boolean FindElement (list <string> Elements, String DeiredElement) {CheckNotNull (Elements);L'utilisation est simple et claire, c'est-à-dire vérifier si les éléments des paramètres sont nuls. Bien sûr, il existe d'autres méthodes dans la classe des préconditions, qui peuvent répondre aux contrôles de presque tous les paramètres de passage. L'avantage des conditions préalables est qu'il est plus facile à comprendre dans la pile d'appels, et chaque méthode fournit également des variantes de chaîne formatée, telles que:
CheckArgument (i <j, "attendu i <j, mais% s>% s", i, j);
Différent des mots clés ASSERT qui sont livrés avec Java, la méthode des conditions préalables est toujours efficace dans la version de version.