Release 1.1.3 of the Checker Framework and Type Annotations compiler

5 views
Skip to first unread message

Werner Dietl

unread,
Jun 17, 2011, 8:55:48 PM6/17/11
to jsr308-...@googlegroups.com, checker-fram...@googlegroups.com
We have released a new version of the Type Annotations (JSR 308) compiler
and the Checker Framework.
* The Type Annotations compiler supports the type annotation syntax that is
planned for a future version of the Java language.
* The Checker Framework lets you create and/or run pluggable type-checkers,
in order to detect and prevent bugs in your code.

Changes for the Checker Framework
Version 1.1.3, 17 Jun 2011

Interning:
- Add @UsesObjectEquals annotation

Manual:
- Signature Checker is now documented
- Fenum Checker documentation improved
- Small improvements to other sections

Implementation details:

- Updates to the web-site build process

- The BaseTypeVisitor used to provide the same two type parameters as
class SourceVisitor. However, all subtypes of BaseTypeVisitor were
instantiated as <Void, Void>. We decided to directly instantiate the
SourceVisitor as <Void, Void> and removed this complexity.
Instead, the BaseTypeVisitor is now parameterized by the subtype of
BaseTypeChecker that should be used. This gives a more concrete type
to field "checker" and is similar to BasicAnnotatedTypeFactory.

- Added method AnnotatedTypeFactory.typeVariablesFromUse to allow type
checkers to adapt the upper bounds of a type variable depending on
the type instantiation.

- Method type argument inference:
Changed AnnotatedTypeFactory.methodFromUse to return a Pair consisting
of the method and the inferred or explicit method type arguments.
If you override this method, you will need to update your version.
See this change set for a simple example:
http://code.google.com/p/checker-framework/source/detail?r=8381a213a4

- Testing framework:
Support for multiple expected errors using the "//:: A :: B :: C" syntax.

Many small updates and fixes.


Changes for Type Annotations Compiler
Version 1.1.3, 17 Jun 2011

Bug fixes:
javac: don't run type annotation processors if deferred errors exist

Rename occurrences of "Sun" to "Oracle"

Updates to the web-site build process

The commits from March 21st/22nd 2011 re-add JSR 308 support that was
previously removed in langtools. All of them previously existed in
this repository.

Base build
Updated to OpenJDK langtools build b145

Reply all
Reply to author
Forward
0 new messages