Missing JDK stubs for Javarifier tests #6
Description
The annotated Javari JDK is missing annotations for some classes.
This will probably always be true, but there should at least be enough
annotations that the Javarifier tests run without complaint.
This is a change that needs to be made to the Checker Framework, but it
will influence Javarifier because Javarifier uses the Checker Framework's
annotated JDK.
To see the missing classes, remove the "-useWorldAsStubs" line from each of
javarifier/tests/tinySQL/Makefile
javarifier/tests/htmlparser/Makefile
javarifier/tests/eclipsec/Makefile
and run the tests. A whole class should be annotated at a time -- never
just a single method in a test -- and ideally an entire related set of
classes or an entire package.
This issue can be closed when there are enough annotations in the Checker
Framework annotated JDK for the Javarifier tests.
Original issue reported on code.google.com by [email protected] on 17 May 2010 at 4:05