Программы polyglotprogramming.com/contract4j

Contract4J — это инструмент сборки и выполнения, который поддерживает «квоту;Дизайн по контракту»; для Java 5. Тесты определяются с помощью аннотаций. Во время выполнения аспекты AspectJ оценивают выражения теста и обрабатыва