Take the 2-minute tour ×
Programmers Stack Exchange is a question and answer site for professional programmers interested in conceptual questions about software development. It's 100% free, no registration required.

I have used Java Modeling Language (JML) with its runtime assertion checker jml4c for writing code contracts in java. However, it would have been great to have a static checker in place as well that provides suggestions as to where a contract is possibly broken during the build process, something like the code-contracts library developed for the .NET platform. Esc/Java2 does this for java version 1.4. Is there any such tool that supports java 1.6?

share|improve this question

closed as off-topic by MichaelT, GlenH7, maple_shaft Dec 4 at 18:36

This question appears to be off-topic. The users who voted to close gave this specific reason:

  • "Questions asking us to recommend a tool, library or favorite off-site resource are off-topic for Programmers as they tend to attract opinionated answers and spam. Instead, describe the problem and what has been done so far to solve it." – MichaelT, GlenH7, maple_shaft
If this question can be reworded to fit the rules in the help center, please edit the question.

Doesn't such a tool would have to solve the halting problem? –  Simon Mar 1 '13 at 18:14