Read annotation definitions from classpath

[GoogleCodeExporter]

The AFU manual states:

"The Annotation File Utilities can read annotation definitions from the 
classpath, so it is optional to define them in the annotation file."

This is not true, annotations are not read from the classpath and must always 
be defined in the annotation file. This would be a nice feature to have though.

A simple example is attached. To run it execute:

export CLASSPATH=$CHECKERS/checkers-quals.jar
insert-annotations-to-source Classpath.jaif Classpath.java

Currently, the insertion fails with the error:

Error while parsing annotation file Classpath.jaif at line 5:
    No definition for annotation type checkers.nullness.quals.Nullable

Original issue reported on code.google.com by emspis...@gmail.com on 12 Mar 2013 at 2:04

Attachments:

• Classpath.java
• Classpath.jaif