Прецизионная Java с контрактами Google

Контрактно-ориентированный дизайн имеет потенциал для уменьшения ошибок программиста за счет применения условий как в классе, так и в интерфейсе. Теперь есть способ с открытым исходным кодом добавлять контракты в Java с помощью cofoja.