6.9 Assertions *

Die Übersetzung des englischen Worts assertion lässt vermuten, worum es geht: um Behauptungen. Mit diesen werden innerhalb von Methoden Zusicherungen (Vor- und Nachbedingungen) aufgestellt, die den korrekten Ablauf der Methode garantieren sollen. Ist eine Bedingung nicht erfüllt, wird ein Fehler ausgelöst, der darauf hinweist, dass im Programm etwas falsch gelaufen sein muss. Die ausgelösten Fehler sind vom Typ »Error« und nicht vom Typ »Exception« und sollten daher auch nicht aufgefangen werden, da eine nicht erfüllte Bedingung ein Programmierfehler ist.

6.9.1 Assertions in eigenen Programmen nutzen

Assertions werden im Java-Quellcode mit der assert-Anweisung benutzt. Es gibt zwei Varianten, eine mit und eine ohne Meldung:

assert AssertConditionExpression;
assert AssertConditionExpression : MessageExpression;

AssertConditionExpression steht für eine Bedingung, die zur Laufzeit ausgewertet wird. Wertet sich das Ergebnis zu true aus, führt die Laufzeitumgebung die Abarbeitung normal weiter; ergibt die Auswertung false, wird das Programm mit einem java.lang.AssertionError beendet. Der optionale zweite Parameter, MessageExpression, ist ein Text, der beim Stack-Trace als Nachricht in der Fehlermeldung erscheint.

Formulieren wir ein Beispiel: Eine eigene statische Methode subAndSqrt(double, double) bildet die Differenz zweier Zahlen und zieht aus dem Ergebnis die Wurzel. Natürlich weiß jeder Entwickler, dass die Wurzel aus negativen Zahlen nicht erlaubt ist, aber dennoch ginge so etwas in Java durch, nur das Ergebnis ist eine NaN. Sollte irgendein Programmteil nun die Methode subAndSqrt() mit einem falschen Paar Zahlen aufrufen und das Ergebnis NaN sein, muss ein Assert-Error erfolgen, da es einen internen Programmfehler zu korrigieren gilt:

Listing 6.30: com/tutego/insel/assertion/AssertKeyword.java

package com.tutego.insel.assertion;

public class AssertKeyword
{
  public static double subAndSqrt( double a, double b )
  {
    double result = Math.sqrt( a – b );

    assert ! Double.isNaN( result ) : "Berechnungsergebnis ist NaN!";

    return result;
  }

  public static void main( String[] args )
  {
    System.out.println( "Sqrt(10-2)=" + subAndSqrt(10, 2) );
    System.out.println( "Sqrt(2-10)=" + subAndSqrt(2, 10) );
  }
}

6.9.2 Assertions aktivieren

Ein aktueller Java-Compiler übersetzt das Beispiel ohne Fehler, doch zur Laufzeit werden die Assertions standardmäßig nicht beachtet, da sie abgeschaltet sind. Somit entsteht kein Geschwindigkeitsverlust bei der Ausführung der Programme. Um Assertions zu aktivieren, muss die Laufzeitumgebung mit dem Schalter -ea (enable assertions) gestartet werden.

$ java –ea AssertKeyword

Die Ausgabe ist dann:

Sqrt(10-2)=2.8284271247461903
Exception in thread "main" java.lang.AssertionError: Berechnungsergebnis ist NaN!
  at com.tutego.insel.assertion.AssertKeyword.subAndSqrt(AssertKeyword.java:9)
  at com.tutego.insel.assertion.AssertKeyword.main(AssertKeyword.java:17)

Abbildung 6.13: Wurde das Programm in Eclipse schon gestartet, kann im Menü
Run • Run Configurations ... auf dem Reiter »Arguments« bei den VM arguments der Schalter »-ea« gesetzt werden.

Abbildung 6.14: Unter File • Project Properties kann der VM-Schalter für die Assertions gesetzt werden.

Ihr Kommentar

Wie hat Ihnen das <openbook> gefallen? Wir freuen uns immer über Ihre freundlichen und kritischen Rückmeldungen.