Java Modeling Language (JML) Wiki

Status: Beta

Brought to you by: chalin, cheon, davidcok, dmzimmerman, and 3 others

JavaContracts

Labels:

Authors: Anonymous

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.