The JaWA Page

OUTDATED!!! new version here

(Informationen auf Deutsch)

The JaWA precompiler translates JaWA to Java. The language JaWA ('Java with assertions') is an extension of Java by assertions. This concept is taken from Eifel. It has been developed by Bertrand Meyer as part of the concept "design by contract" in order to develop correct software. For this purpose the assertions are checked during runtime. If they are violated, exceptions are triggered which can themselves be handled in the program.

For further information on the JaWA-precompiler check the online documentation .
Downloads (Sourcecode and documentation)