PROPOSAL: language support for JSR 292

[John Rose]

On Apr 30, 2009, at 3:00 AM, Bruce Chapman wrote:

> John Rose wrote:
>>
>> I have factored out the Dynamic type from the proposal, leaving a  
>> static-only type called InvokeDynamic in its place.  Here is the  
>> updated spec (also enclosed FTR):
>>   http://wikis.sun.com/display/mlvm/ProjectCoinProposal
> John,
>
> Do you think you could find someone with more intimate JLS knowledge  
> to help you write this. You seem to be out of your area of  
> (undoubted) expertise here.

I am indeed working with Alex et al on this.

> For example, section 1.2 says
> " The type name InvokeDynamic may be qualified with any method name  
> whatever, and invoked on any number and type of arguments."
>
> which is wrong on the following counts.
> 1. Type names are qualified by either enclosing types, or package  
> names.(not by method names)
> 2. Type names are not invoked, methods are.

"Qualified with" != "Qualified by", but the former phrase may indeed  
not have a precise the meaning w.r.t. the JLS.

Static methods are invoked via qualified names; that's how  
invokedynamic call sites will appear in Java code.

Sorry to leave you guessing as to who's the qualifier and who's the  
qualified.  We will work to align the language better with JLS.

-- John