[JSR308] Release 0.7.9 of JSR 308 javac, Checker Framework, and checkers

Eugene Kuleshov eu at javatx.org
Mon Sep 22 14:57:37 EDT 2008


  I am implementing an extension for ASM framework for reading JSR 308 
annotations and having difficulties to interpret reference_info specs.

  Can someone please help me to map target_type values [1] to 
corresponding reference_info field [2] in the bytecode generated for JSR 
308 annotations or maybe update specs with that information? For 
example, assign a sub-section number for each of the following cases and 
then cross-reference them from the target_type table in section 4.1.1:

* Typecasts, type tests, and object creation
* Local Variables
* Method Receivers
* Type Parameter Bounds
* Class extends and implements Clauses
* throws Clauses
* Generic Type Arguments or Arrays (applied to all of the above?)

  Also, is there a test suite anywhere that has compiled sample classes 
for each possible annotation slot supported by JSR 308? So, I could 
reuse it for my own round trip tests.





Mahmood Ali wrote:
> We have released version 0.7.9 of the JSR 308 implementation and of  
> the Checker Framework.  You can always download the latest version of  
> these tools at: http://groups.csail.mit.edu/pag/jsr308/ .
> The JSR 308 implementation is a backward-compatible extension to  
> javac. The Checker Framework makes it easy to write a tool that finds  
> or prevents errors; the tool is expressed as a type-checker for a  
> pluggable type system.  The Checker Framework distribution includes  
> sample checkers.
> This release includes support for a stub file format for annotating  
> libraries, the source of which is not available.  It includes many  
> fixes for bugs related to anonymous classes and qualifier  
> polymorphism, some of which caused crashing failures.  It includes a  
> fix for a bug causing IGJ tests to fail on Windows (and Cygwin).
>      - Mahmood
> ---- Changelog for JSR 308 implementation -----
> Version 0.7.9, 19 Sep 2008
> No changes for this release
> ---- Changelog for Checker Framework ----
> Version 0.7.9, 19 Sep 2009
> Framework
>    Added support for stub files/classes
>    Fixed bugs related to anonymous classes
>    Fixed bugs related to qualifier polymorphism
> Manual
>    Updated 'Annotating Libraries' section to describe stub files
> Tests
>    Added support for Windows
>    Fixed a bug causing IGJ tests to fail on Windows
> _______________________________________________
> JSR308 mailing list
> JSR308 at lists.csail.mit.edu
> https://lists.csail.mit.edu/mailman/listinfo/jsr308

More information about the JSR308 mailing list