Birkaç yıl önce, Java için DbC paketleri inceledim, ve bunlardan herhangi biri ile tamamen memnun değildim. Ne yazık ki benim bulgulara iyi notlar tutmadım, ve işler değişti sanırım. Kimsenin umrunda karşılaştırın ve Java için DbC farklı paketler kontrast istiyorsunuz?

Güzel bir bakış var WikiPedia about Design by Contract, sonunda bir bölümü Java kütüphanelerini güzel bir serie içerir languages with third party support libraries ile ilgili. Bu Java kütüphanelerini en Java İddialar dayanmaktadır.

Sadece Precondition Checking ihtiyaç durumunda da Validate Method Arguments basit bir çözüm, Java Argument Validation (Normal Java uygulaması) altında SourceForge de var.

Senin sorunun, belki de OVal çerçeve, alan/özellik Kısıtlamaları doğrulama bağlı olarak iyi bir seçimdir. Bu çerçeve farklı formlar her türlü (ek Açıklamalar, POJO, XML) Kısıtlamaları yerleştirmenize olanak sağlar. POJO veya betik dilleri ile müşteri kısıtlamaları () JavaScript, Groovy, BeanShell, OGNL, MVEL oluşturun. Ve aynı zamanda parti Programming by Contract uygular.