JavaContracts

Java Contracts

Java Contracts (JC for short) is a static API for specifying JML contracts in a style inspired by .Net's Code Contracts.

JC's repository is found at [source:/JavaContract/trunk].

Patrice and Robby are the primary authors of JC.