The language Jass (‘Java with assertions’) is an extension of Java by assertions. This concept is taken from Eiffel. 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.
Tag Archives: jass
Modern Jass
Modern Jass implements a new concept to bring Design by Contract. to Java.. Basically, it uses Java 5 annotation to specify contracts, the Pluggable Annotation Processing API to validate contracts, and the Bytecode Instrumentation API to enforce contracts.