Improve error message for annotation insertion attempt on (non-existent) receiver of non-inner constructor

[GoogleCodeExporter]

insert-annotation{,-to-source} should give a more specific message -- e.g. 
"top-level constructors do not have receivers" -- when the input JAIF indicates 
an insertion on the (non-existent) receiver of a non-inner constructor.  
Excerpt from emailed example submission follows.

Subject: Re: inference of the jaif
From: Damiano Macedonio <damiano.macedonio@juliasoft.com>

When you run
insert-annotations-to-source OsTrusted.jaif Test.java
you will obtain Test.java.annotated. Then its type checking will end up with 
the following errors:

annotated/com/juliasoft/test/Test.java:24: error: the receiver type does not 
match the enclosing outer class type
        NestedStatic(Test.@OsUntrusted NestedStatic this) {
                          ^
  required: Test
  found: NestedStatic
annotated/com/juliasoft/test/Test.java:24: error: the receiver name does not 
match the enclosing outer class type
        NestedStatic(Test.@OsUntrusted NestedStatic this) {
                                                    ^
  required: Test
  found: NestedStatic
2 errors

Original issue reported on code.google.com by d...@cs.washington.edu on 21 Feb 2014 at 11:04

Attachments:

• OsTrusted.jaif
• Test.java
• Test.java.annotated