Program menurut polyglotprogramming.com/contract4j

Contract4J adalah alat build dan runtime yang mendukung "Design by Contract" untuk Java 5. Tes didefinisikan menggunakan anotasi. Pada waktu proses, aspek AspectJ mengevaluasi ekspresi pengujian dan menangani kegaga