[Checkers] [JSR308] Stub files?

[Niko Matsakis]

>> 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  
> aren't
> part of the Java standard, this option would never be implemented in  
> javac.

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  
> concerned
> 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.


>
regards,
Niko