Design by Contract in Java (Contract4J)

Click http://www.contract4j.org/contract4j link to open resource.