Some improvements to JavaByContract, the design-by-contract tool for Java:
Invariants now appear in the Javadoc for types that use JavaByContract. While this is only a small source change, it’s a huge usability improvement, as programmers using your types can now read the contracts for those types in their documentation.
- There is Javadoc for the JavaByContract package.
- The error message on contract violation distinguishes between precondition, postcondition and invariant violation.
I’m speaking generally about moving beyond TDD, using JavaByContract as a specific example, at Coventry Tech Meetup next week. See you there!