[JSR308] Problems with stubs.
niko at alum.mit.edu
Thu Feb 26 11:39:07 EST 2009
I am attempting to use the stub feature with v0.8.6. For the moment,
I have created a stub file for the package java.lang. Unfortunately,
whenever I try to use this stub file with the checkers framework, I
always get null ptr exceptions in the routine StubParser.findType().
These exceptions are caused by the fact that the element pointers in
the AnnotatedDeclaredTypes are null, but findType() expects otherwise.
This crash is fairly reproducible. I believe that all that is
required is to create a new stub file for java.lang, add an import of
some qualifier to the top (any one will do), and then run a checker
Am I doing something wrong? Or are stub files just not yet fully
More information about the JSR308