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: