The binaries and the Javadoc for the extended annotation API are available for download here. Acceptance of the Java Research License is not necessary.

• subannot Binaries
• subannot Javadoc (web)

The source code will be released soon.

Below is the source and a Windows binary for a tool that allows you to replace the original javac executable and redirect calls to any other program, for example xajavac.jar.

• javac Redirector Source, Binaries and Instructions

I have also created a compiler adapter for Apache Ant 1.7.0. The single Java source file and the jar file created from it are available for download below. To use the compiler adapter, first make the class available to Ant by adding the -lib path/to/ant-xajavac.jar parameter to the Ant command line. Then set the following two properties:

build.compiler=org.apache.tools.ant.taskdefs.compilers.Xajavac
xajavac.path=path/to/xajavac.jar

The compiler adapter can also be used to launch other Java compilers as long as they are contained in a jar file and have com.sun.tools.javac.Main as main class, just like the original Java compiler.

• xajavac Ant Compiler Adapter Source and Binaries

Here are two presentations I gave in a PLT seminar:

• Java Annotations for Invariant Specification (PowerPoint)
• Java Annotations for Types, Expressions and Multi-Stage Programming (PowerPoint)

And here is my poster for the Corporate Affiliates Meeting at the Computer Science Department of Rice University:

• Invariant Specification and Multi-Staging using Java Annotations (PDF, view embedded)