Gary T. Leavens
-
2006-05-19
- assigned_to: cruby --> nobody
I mentioned in a commit message today that I had found
a bunch of bugs in the multijava code using findbugs
(see findbugs.sourceforge.net). It pointed out as high
priority bugs in the MJ code only that we
haven't implemented hashCode correctly for CClass and
CType. I tried implementing these, but when I did I got
many errors from the JML tests, although MJ's tests
were fine. I think all the errors are probably due to
something in the JML class loader that deals with
refinement, which seems to rely on hasCode being
Object's hashCode method. If you could find what
these problems are we could make the code better by
fixing the hashCode implementations of CClass and
CType.