[Checkers] [JSR308] Stub files?
niko at alum.mit.edu
Fri Oct 3 15:52:32 EDT 2008
>> Poking about in the source, I don't see any entry for "stubs" in
>> OptionName.java or RecognizedOptions.java. Are stubs implemented in
>> javac, or not yet?
> As a minor point, since they are used by the Checker Framework but
> part of the Java standard, this option would never be implemented in
Of course, that makes sense.
>> Another interesting feature would be the ability to union together
>> multiple stub entries for different, independent checkers.
> Can you let us know why you want to do this? We are slightly
> that the stub files might become unreadable with too many
> annotations in
> that case -- it seems that it might be preferable to keep them
> separate, so
> each can be considered separately.
What I meant is that when you have multiple checkers simultaneously,
each would presumably have their own set of stub files. I had the
impression, however, that one could only specify a single set of stub
files, rather than one set per checker. I may be mistaken about this:
it occurs to me now I didn't try it out. In any case, I agree that it
is preferable to keep the stub files for each checker separate.
More information about the checkers