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

[Mahmood Ali]

We have released version 0.7.7 of the JSR 308 specification and  
implementation and of the Checker Framework.  You can always review  
the latest version of the specification at: http://groups.csail.mit.edu/pag/jsr308/specification/java-annotation-design.html 
  ; and download the latest version of these tools at: http://groups.csail.mit.edu/pag/jsr308/ 
  .

The JSR 308
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 fixes for many bugs, including the following bugs:
  - a bug causing the compiler to crash when files contain tab files,
  - a bug causing checkers not to honor array syntax when parsing  
classfiles, and
  - bugs causing polymorphic qualifiers not to resolve properly.

The changlogs of the specification and the implementations appear below.

      - Mahmood

------------------ Changelog for JSR 308 specification   
-------------------
Version 29 Aug 2008

Changes to normative section:
   Array syntax is now uniformly prefix: @English String @NonNull []  
@Length(10) [] is a non-null array of length-10 arrays of English  
Strings. (This was already the default for the reference  
implementation.)
   Make description of varargs more explicit early in the document.

Changes to non-normative section:
   Remove long, distracting discussions of alternative syntax  
proposals. Retain high-level comments about the other alternatives.
   Add details about annotations in comments (which are supported by  
the prototype implementation).
   Improve and lengthen comparison with JSR 305.
   Clarify that annotations must be stored in the classfile because  
the classfile is supposed to represent the full type of each expression.
   Clarify that Sun's Tree API is javac-specific.
   Clarify that reflective invocation is not changed.
   Note that anonymous class constructors are analogous to bridge  
methods.

Editorial changes:
   Many small textual improvements, typo fixes, improved examples, new  
citations, new HTML links.
   Reinstate table of contents, for easier navigation.

------------------ Changelog for JSR 308 implementation  
-------------------
Version 0.7.7, 29 Aug 2008

Base build
   Updated to OpenJDK langtools tl repository

Bug fixes
   Fix bug causing crashes when input files contain tabs

--------------------- Changelog for Checker Framework  
---------------------
Version 0.7.7, 29 Aug 2008

Framework
   Fixed bugs related to polymorphic qualifiers
   Fixed bugs related to elements array convention
   Add implicit type arguments to raw types

Interning
   Suppress cast warnings for interned classes

Manual
   Removed discussion of proposed array syntax alternatives

-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.csail.mit.edu/pipermail/jsr308/attachments/20080829/78d49492/attachment.htm