[Checkers] ClassWriter bug report

[Mahmood Ali]

Hi Matt again,

Mike asked me to try using annotation-file-utils.  The annotation  
doesn't get written to the classfile, or at least annotation-file- 
utils.  Here is my sequence of commands:

> mahmood-mac:bin mahmood$ javac -version
> javac 1.7.0-jsr308-0.6.2
> mahmood-mac:bin mahmood$ cat Test.java
> import checkers.interning.quals.*;
> import java.util.*;
>
> public class Test {
>     // Test parameter
>     void m1() @PolyInterned { }
>
>     void testParam(List<@Interned String> m) { }
> }
> mahmood-mac:bin mahmood$ javac -cp ~/checkers.jar Test.java
> mahmood-mac:bin mahmood$ extract-annotations Test
> reading: Test
> printing results to : Test.jaif
> mahmood-mac:bin mahmood$ cat Test.jaif
> package checkers.interning.quals:
> annotation visible @PolyInterned:
>
> package :
> class Test:
>
>     method <init>()V:
>
>     method m1()V:
>         receiver: @checkers.interning.quals.PolyInterned
>
>     method testParam(Ljava/util/List;)V:

I am planning to pick this up later mid next week.

Regards,
- Mahmood