[Checkers] Arrays and checkers
mernst at csail.mit.edu
Thu Mar 20 04:30:55 EDT 2008
I added another failing test case for arrays.
There is another failure that I can't seem to reproduce as a small test
case. To reproduce it, see
and follow the directions.
Also, this error message is not comprehensible:
/DS/home-0/mernst/tmp/try-freepastry/pastry/src/rice/p2p/util/XMLObjectOutputStream.java:656: invalid type, type need to be a supertype of the required type.
found : java.lang.Class
required: @checkers.quals.Interned java.lang.Class
return (Class) v.toArray(new Class);
There's an English error ("need" should be "needs"), but more seriously
there are 4 uses of "type" in the message, and it's not clear what any of
them refer to.
More information about the checkers