[Checkers] [JSR308] Stub files?

Michael Ernst mernst at csail.mit.edu
Fri Oct 3 16:08:55 EDT 2008


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

Thanks for the clarification; I understand now.  It should definitely be
possible to supply multiple sets of stub files.  I don't know whether the
current implementation supports that.


More information about the checkers mailing list