[Checkers] Arrays and checkers

Michael Ernst 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[0]);

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 mailing list