[JSR308] Stub files?

[Niko Matsakis]

The checkers manual includes a detailed description of stub files,  
including a tool for generating stub files.  However, when I attempt  
to use a stub file with javac I get back an error message:

> > ./javac -stubs=x Foo.java
> javac: invalid flag: -stubs=x
> Usage: javac <options> <source files>
> use -help for a list of possible options
> > ./javac -version
> javac 1.7.0-jsr308-0.8

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?

If and when they are implemented, is there a plan to allow a  
"stubpath" (similar to sourcepath) that would point at a directory  
full of stub files?  Having to add each .stubs entry individually to  
the command line would seem to be a somewhat limiting interface.

Another interesting feature would be the ability to union together  
multiple stub entries for different, independent checkers.

I realize that the existing checkers use the "-sourcepath" technique  
for annotating the standard library, but the manual made it sound as  
though that was undesirable.


regards,
Niko Matsakis
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.csail.mit.edu/pipermail/jsr308/attachments/20080929/35b472ed/attachment.htm