Draft LW2 spec

[Harold Seigel]

Hi Dan,

Doesn't the text concerning <init>, such as the following, need to 
change because <init> can now have a non-void return type and be called 
by invokestatic when it is used as a factory method?

    4.4.2 ...

    If the name of the method in a|CONSTANT_Methodref_info|structure
    begins with a '|<|' ('|\u003c|'), then the name must be the special
    name|<init>|, representing an instance initialization method (2.9.1
    <https://docs.oracle.com/javase/specs/jvms/se11/html/jvms-2.html#jvms-2.9.1>).
    The return type of such a method must be|void|.

Thanks, Harold


On 6/18/2019 7:56 PM, Dan Smith wrote:
>> On Jun 13, 2019, at 2:57 PM, Dan Smith <daniel.smith at oracle.com> wrote:
>>
>> Here's a first look at a preview-feature-quality spec for values^H^H^H^H^H^Hinline classes.
>>
>> http://cr.openjdk.java.net/~dlsmith/inline-classes/specs/jvms-inline-classes.html <http://cr.openjdk.java.net/~dlsmith/inline-classes/specs/jvms-inline-classes.html>
> I've done some tidying up of my cr folder. Please just use this URL now, which redirects to the latest:
>
> http://cr.openjdk.java.net/~dlsmith/inline-classes <http://cr.openjdk.java.net/~dlsmith/inline-classes>
>