Chương trình theo polyglotprogramming.com/contract4j

Contract4J là một công cụ xây dựng và thời gian chạy hỗ trợ & Thiết kế theo Hợp đồng & cho Java 5. Các bài kiểm tra được xác định bằng cách sử dụng chú thích. Tại thời gian chạy, các khía cạnh AspectJ đánh giá các biể