Programmi di polyglotprogramming.com/contract4j

Contract4J è uno strumento di compilazione e runtime che supporta "Design by Contract" per Java 5. I test vengono definiti utilizzando le annotazioni. In fase di esecuzione, gli aspetti AspectJ valutano le espressio