Type Annotations (JSR 308) Compiler README

Version 1.1.2 (12 Jan 2011)

For the latest version, see the Type Annotations (JSR 308) webpage.

Contents:

• Introduction
• Installing the Type Annotations compiler
  • Installing from source
• Features of the Type Annotations compiler
  • Type Annotations (JSR 308) features
  • Differences from the OpenJDK compiler
    • Writing annotations in comments for forward compatibility
    • Determining a diff against the OpenJDK distribution
• Contributing
  • How to report bugs
  • Credits
  • Changelog
  • Making a release (a distribution)

Introduction

(If you are impatient, you can skip to the installation instructions.)

The Type Annotations compiler is a version of the OpenJDK Java 7 compiler that supports some extra features for type annotations. Since build M4, the OpenJDK Java 7 compiler has supported the Type Annotations (JSR 308) syntax, which permits annotations to appear on types. The extra features in the Type Annotations compiler make it possible for you write (and type-check) type annotations, while still permitting your code to be compiled with a Java 4/5/6 compiler.

You may use the Type Annotations compiler as a replacement for the OpenJDK javac compiler or any other Java compiler.

Pluggable type-checking is made possible by the Type Annotations syntax. Pluggable type-checking is made easy by the Checker Framework. It includes several example type qualifiers that you can start using right away, and it enables you to create your own new compiler plug-ins that check user-defined type qualifiers.

The “Installing the Type Annotations compiler” section below contains instructions for installing, running, and testing the compiler.

IntelliJ IDEA (Maia release) supports the Type Annotations (JSR 308) syntax. Other IDEs (such as Eclipse and NetBeans) are being updated to support the Type Annotations syntax. For Eclipse, write an Ant buildfile that compiles your project using the Type Annotations compiler (and maybe does pluggable type-checking too), then build by running Ant. Problem markers will show up in the Eclipse IDE as normal. (You will lose a few Eclipse features, such as error checking as you type, until Eclipse's internal compiler is updated for to support type annotations.)

Installing the Type Annotations compiler

The easiest way to install the Type Annotations compiler, which is sufficient for most users, is to install the Checker Framework binary distribution.

The remainder of this section gives instructions for installing the Type Annotations compiler from source.

Building from source is useful mainly for people who are developing compiler plug-ins or modifying the compiler itself. Also, if you use an Apple Macintosh (Mac OS X) computer, you must build the compiler from source.

Note that while these instructions install the Type Annotations compiler, you do not have to make it your default compiler. For example, you could use the Type Annotations compiler only for running pluggable type-checkers. Also, you can use javac's -target argument to generate bytecodes that are compatible with earlier JVMs, so that you can work seamlessly with colleagues who are using an earlier version of Java.

Installing from source

Requirements: These instructions assume that Ant (version 1.7 or later) and the JDK (version 6 or later) are installed. Furthermore, the JAVA_HOME environment variable should be set to the location of your JDK installation. Most likely it is already set for Ant to work.

1. Install a new copy of OpenJDK. This new installation will be modified later (but no other copy of OpenJDK will be modified). You can put the new installation anywhere you want; a common place is in a new directory ~/jsr308. We will call that directory $JSR308.
   1. Download a JDK 7 binary snapshot: self-extracting JDK file (choose JDK, not JRE or DEBUG, and choose a binary, not a source distribution).
   2. Follow the installation instructions — essentially, just run the .exe, .sh, or .bin file that you downloaded and follow the directions.
   3. Optionally set the default version of Java. (At any time, you can run either the default or the non-default version of Java.)
      • For Linux: After installing, your old version of Java remains the default. If you wish to make OpenJDK Java 7 the default, then set your JAVA_HOME environment variable to the top-level directory of the JDK 7 installation /path/to/jdk1.7.0, and augment your PATH with /path/to/jdk1.7.0/bin. Example:

        export JSR308=$HOME/jsr308
        export JAVA_HOME=$JSR308/jdk1.7.0
        export PATH=$JAVA_HOME/bin:$PATH
        

        The shell uses the PATH variable to locate java, while Ant uses JAVA_HOME.
      • For Windows: After installing, the OpenJDK Java 7 (at c:\Program Files\Java\jdk1.7.0\) becomes the default. If you wish to retain an older version of Java as the default, then do the following:
        1. Install Java 7
        2. Copy the jdk1.7.0 and jre1.7.0 directories from Program Files\Java\ to the desktop
        3. Uninstall Java 7
        4. Move the jdk/jre directories back to Program Files\Java\
        If you want to be able to run javac from Cygwin, then set environment variables as for Linux, above.
   4. Verify that your installation is correct: run javac -version, and the output should be javac 1.7.0-ea.
2. Download the Type Annotations compiler, and unpack it to create a jsr308-langtools directory. Do not do this inside the JDK 7 installation (directory jdk1.7.0) that you downloaded in the preceding step. Example commands:

   mkdir ~/jsr308
   cd ~/jsr308
   wget http://types.cs.washington.edu/checker-framework/current/jsr308-langtools.zip
   unzip jsr308-langtools.zip
   

3. Compile the Type Annotations javac compiler and the javap tool, from directory jsr308-langtools/make:

   cd jsr308-langtools/make
       ant clean build-javac build-javap

   Add the jsr308-langtools/dist/bin directory to the front of your PATH environment variable.

   The effect of the above commands is that the javac command invokes the Type Annotations Java compiler and the javap command invokes the Type Annotations javap, but the Java 7 OpenJDK is used for everything else.

4. Run

   javac -version
   

   and confirm that the output contains the string jsr308, such as javac 1.7.0-jsr308-1.1.1.
   If the output is does not contain jsr308 (e.g., javac 1.7.0-ea), but you are using the correct javac binary (in jsr308-langtools/dist/bin), then it is possible that tools.jar is on your classpath. You should either remove tools.jar from your classpath, or else put jsr308-langtools/dist/lib/javac.jar and/or jsr308-langtools/dist/lib/javap.jar on your classpath before tools.jar.

When updating to a newer version of the Type Annotations compiler, you only have to follow steps 2, 3, and 4. In other words, you only have to redo step 1 if you want a newer version of OpenJDK.

Features of the Type Annotations compiler

Type Annotations (JSR 308) features

The new type annotations features (which appear in both OpenJDK and in the Type Annotations compiler) are:

• The compiler (which is located in jsr308-langtools/src/share/classes) supports the Type Annotations syntax. This syntax permits annotations to appear on any occurrence of a type, not just on declarations as declaration annotation (also known as Java 5 annoatations or JSR 175 annotations) do. For details of the syntax, see the Type Annotations (JSR 308) specification (PDF, HTML).
• javac has the ability to warn about redundant casts (when directed to do so using a lint option). If the target type of the cast contains an annotation, then javac never issues a redundant cast warning, but leaves that up to the annotation processor. The processor should issue a warning exactly if the cast is redundant with respect to the entire annotated type: that is, the unannotated type parts are redundant when ignoring the annotations, and the annotations are also redundant. (A potential problem is that if a type has multiple annotations that are handled by different type processors, then no redundant cast warning will ever be issued.)

Differences from the OpenJDK compiler

The Type Annotations distribution includes only the langtools portion of OpenJDK. The Type Annotations compiler makes no modifications in other parts of OpenJDK, and the remaining parts of OpenJDK are not necessary to build and use the Type Annotations tools.

This Type Annotations distribution differs from the langtools portion of Sun's OpenJDK distribution in the following ways:

• This documentation file has been included.
• A doc/ subdirectory contains other design documentation.
• The compiler parses annotations written in specially-formatted comments, which enables your code to both:
  • compile with earlier compilers, and
  • be type-checked by the Type Annotations compiler.
• Bug fixes appear in this distribution before they are incorporated in the OpenJDK.

Writing annotations in comments for forward compatibility

The Type Annotations compiler allows annotations to be written in “/* */“ (C-style) comments, for example:

  List</*@NonNull*/ String> strings;

There must be no whitespace within the comment.

These mechanism allows developers to use type annotations while maintaining the ability to compile their code with an unmodified Java compiler, including compilers for earlier versions of the Java language (such as Java 4, Java 5, or Java 6).

A related mechanism, that also facilitates compatibility with compilers that do not support the Type Annotations syntax, is the ability to specify imported packages from the command line.

Finally, the compiler accepts the -target 5 command-line option even when the -source option is 7 or is omitted. The compiler creates a .class file that is compatible with a Java 5 JVM, but that contains the type annotations.

For additional information about these features, see the Checker Framework Manual.

Determining a diff against the OpenJDK distribution

The Type Annotations distribution is a modification of the langtools portion of Sun's OpenJDK javac distribution.

The following commands determine the differences between the Type Annotations compiler and the OpenJDK compiler.

1. If you do not have a clean checkout of the Type Annotations compiler source, obtain one:

   hg clone https://jsr308-langtools.googlecode.com/hg/ jsr308-langtools

   If you already have one, then just pull all the changes, by running the following command in the directory containing the Type Annotations compiler source:

   hg pull; hg up

2. Determine the identifier of the last changeset done by Sun. Run "hg log | less" to find the last changeset with an author other than mahmood, mali, or mernst, or notnoop. The changeset identifier is in the format:

   450:143956db282e

3. Use hg diff to generate the diff.

   hg diff -r450:tip

Contributing

We welcome bug fixes, new features, type-checking plug-ins, and other improvements. All contributions to javac (annotation-related or not) should follow the guidelines for contributing to javac. Any code contributed to javac or to the Type Annotations compiler is contributed to Sun under Sun's Contributor Agreement (SCA).

How to report bugs

To report a bug, use the issue tracking system.
Please see below for details that will help you submit an informative bug report, that is most likely to be accepted.

What bugs should you report?

If you have any problems with the compiler, please let us know. We welcome bug reports and suggestions, and we want to help. We will fix all reported bugs in the Type Annotations compiler. Examples of bugs include:

• Any inconsistency between the Type Annotations compiler and the JSR 308 design (PDF, HTML).
• Any annotation-related problem.
• Any problem that occurs with the Type Annotations compiler but does not occur with the OpenJDK Java 7 compiler on which the Type Annotations compiler is based.

To whom should you report the bug?

The Type Annotations compiler is built on Sun's OpenJDK compiler. If you find a bug in the Type Annotations compiler:

• It might be due to a bug in the OpenJDK compiler. In this case, it should be reported to Sun.
• It might be due to the Type Annotations modifications. In this case, it should be reported to the Type Annotations compiler developers.

In some cases (such as a problem with processing annotations on types), the responsibility is clearly with the JSR 308 modifications. Otherwise, please determine who is responsible for the bug using this procedure:

1. Obtain a copy of the OpenJDK compiler, using the commands in the diff section of this document.
2. Try your test case using the OpenJDK compiler. If the problem is present, then search the bug database (use the “Java” category). If the problem is not in the bug database, then report your bug to Sun, using category “Java” and subcategory “compiler”.

If the problem is present in the Type Annotations compiler, but not in the OpenJDK compiler, then please report it to us by creating a new issue in the issue tracking system. (Search the issue tracker first, to avoid reporting a duplicate. But feel free to augment an existing issue with more information.) The issue tracker is not intended for general support or questions.

How can you make a clear, complete bug report?

Please ensure that your bug report is clear and that it is complete. Otherwise, we may be unable to understand it or to reproduce it, either of which would prevent us from fixing the bug. Sun has a description of how to write a helpful bug report. Here are some crucial points:

• Indicate exactly what you did. Show the exact commands (don't merely describe them in words). Don't skip any steps.
• Include all files that are necessary to reproduce the problem. This includes every file that is used by any of the commands you reported, and possibly other files as well.
• Indicate exactly what the result was (don't merely describe it in words). Also indicate what you expected the result to be — remember, a bug is a difference between desired and actual outcomes.
• Indicate which version of the Type Annotations compiler you are using. You can determine that by running javac -version.

Thanks for reporting a bug

Finally, thanks for reporting the bug!

Credits

The Type Annotations compiler was implemented by Matthew M. Papi and Mahmood Ali as a modification of the Sun OpenJDK compiler. See above for how to report bugs.

Changelog

Differences from previous versions may be found in the changelog.

Making a release (a distribution)

The Type Annotations compiler and the Checker Framework are typically released together; one set of instructions releases both. See file checker-framework/release/README-maintainers.html in the Checker Framework.

JSR 308 webpage