Tools or VM agents to verify hashCode/equals/compareTo contracts

[Kelly O'Hair]

Does anyone know of any Tools or VM agents to verify hashCode/equals/compareTo contracts?
E.g. That equals() agrees with compareTo(), and hashCode() on the equals() objects is the same?

The jdk7 TimSort change seems to be shaking out places where these contracts are not followed, just curious if there are any VM a gets or tools that might help find these at runtime.

-kto

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mail.openjdk.java.net/pipermail/serviceability-dev/attachments/20130403/1b8634f9/attachment.html