Voraussetzungen sind eine Klassenbibliothek in Guave, mit der die Passparameter überprüft werden.
Boolean findElement (list <string> Elemente, String gewünscht) {ChecknotNull (Elemente);Die Verwendung ist einfach und klar, dh prüfen Sie, ob die Parameterelemente null sind. Natürlich gibt es in der Voraussetzungsklasse andere Methoden, die die Überprüfungen fast aller bestehenden Parameter erfüllen können. Der Vorteil von Voraussetzungen besteht darin, dass es im Anrufstack einfacher zu verstehen ist, und jede Methode bietet auch Varianten der formatierten Zeichenfolge, wie z. B.:
Checkargument (i <j, "erwartet i <j, aber %s> %s", i, j);
Anders als die mit Java gelieferten Keywords sind die Voraussetzungen in der Versionsversion immer noch wirksam.