[prev in list] [next in list] [prev in thread] [next in thread] 

List:       openjdk-type-annotations-spec
Subject:    [type-annos-observers] specification example: receiver in inner constructor
From:       "Roman Shevchenko" <roman.shevchenko () jetbrains ! com>
Date:       2013-02-14 13:05:55
Message-ID: op.wshyn5fnrj4h8l () munit-012 ! labs ! intellij ! net
[Download RAW message or body]

Hi!

I wonder if this example of a receiver annotation is correct:

   class Outer {
     class Inner {
       @Result Inner(@Receiver Outer Outer.this, boolean b) { }
     }
   }

It has receiver have a type Outer instead of Inner, and a syntax  
'Outer.this' isn't understood by  
1.8.0-ea-jsr308-nightly-h2410-20121221-b69-b00 compiler.

(I'm referring to the spec from January 30, 2013 at  
http://types.cs.washington.edu/jsr308/specification/java-annotation-design.html)

Thanks.
[prev in list] [next in list] [prev in thread] [next in thread]