Question on remapping type annotations when casts are discarded by the compiler
	Hi, I'm in one of the corners of the JSR308 spec, Section 3.3.10: === If the compiler eliminates an annotated cast, it is required to retain the annotations on the cast in the class file (if the annotation type has at least RetentionPolicy.CLASS retention). When a cast is removed, the... more » By Andrew Clement  - Jun 4 - 3 new of 3 messages

Release 1.6.4 of the Checker Framework and Type Annotations Compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and the Eclipse plugin for 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,... more » By Jonathan Burke  - Jun 3 - 1 new of 1 message

Release 1.6.3 of the Checker Framework and Type Annotations Compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and the Eclipse plugin for 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,... more » By Jonathan Burke  - May 3 - 1 new of 1 message

	type paths for some annotated array references
	Hi, Thanks Mike for answering my previous question, I'm actually working on this implementation for the Eclipse Compiler (resurrecting a patch from a while ago). I had another quick question, I'm trying to determine whether I need a type path in a certain situation. I compile two statements: Object o = new @A String[1];... more » By Andrew Clement  - Apr 17 - 2 new of 2 messages

	Seeking clarification on a bit of the spec? 'type_path_entry'
	Hi all, Hope this is the right place to post. I'm doing some implementation work around JSR308. I'm looking at type_paths. In Section 3.4 it gives the structure of a type_path_entry as: struct type_path_entry { u1 type_path_kind; // 0: annotation is deeper in this array type // 1: annotation is deeper in this nested type... more » By Andrew Clement  - Apr 15 - 2 new of 2 messages

Release 1.6.2 of the Checker Framework and Type Annotations compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and the Eclipse plugin for 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,... more » By Jonathan Burke  - Apr 5 - 1 new of 1 message

Release 1.6.1 of the Checker Framework and Type Annotations compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and the Eclipse plugin for 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,... more » By Jonathan Burke  - Mar 1 - 1 new of 1 message

	Checkers for "Stringly-typed expressions"
	This group will be interested in a discussion on the Java Posse group, where the Checker Framework is brought up: [link] Alex By Alex Buckley  - Feb 20 - 1 new of 1 message

Release 1.6.0 of the Checker Framework and Type Annotations compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and the Eclipse plugin for 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,... more » By Jonathan Burke  - Feb 2 - 1 new of 1 message

Release 1.5.0 of the Checker Framework and Type Annotations compiler

We have released a new version of the Type Annotations (JSR 308) compiler, the Checker Framework, and the Eclipse plugin for 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,... more » By Jonathan Burke  - Jan 15 - 1 new of 1 message