Java Standard: Assertions

Assertions in Java

Ab Java1.4 ermöglicht Java die Verwendung von Assertions. Eine Assertion ist eine Behauptung oder Versicherung. Dieses Konstrukt ist aus dem C/C++ Bereich schon länger bekannt und auch in der Objektorientierten Programmierung als "Programming by contract" von Bertrand Meyer 1996 in seiner Sprache Eiffel eingeführt worden. Assertions sind eine Art von Annahmen (vom Typ boolean), die zu einer Fehlermeldung führen falls diese Annahmen verletzt werden. Assertions können zur Realisierung von Vorbedingungen, Nachbedingungen und Invariaten benutzt werden.