Java™ und Objektorientierung
Java/OO	Druckversion

Schlüsselwort : assert

Gehe zu : abstract

Gehe zu : boolean

Beschreibung assert

"Assertions" sind Erklärungen im Sinne von Vor- bzw. Nachbedingungen ans Programm, die den Code hart abbrechen lassen können. (Seit JDK 1.4)

Beispiel

 public double myAbs(double x)
 {
   x = radius * Math.abs(x); // or some more complicated code here
   assert x >= 0; // postcondition
   return x
 }

 public double setRadius(double x)
 {
   this.radius = x;
   assert x >= 0 : "Kein negativer Radius moeglich!"; // postcondition
   return x
 }

Um Assertions zu nutzen müssen zwei Dinge beachtet werden:

a) Kompilieren mit Version 1.4, damit assert nicht als Keyword verwendet werden kann: javac -source 1.4 MyClass.java
b) Ausführen im debug-Modus mit: java -enableassertions MyClass