<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<font size="4"><font face="monospace">This is coming together
nicely!<br>
<br>
Good catch on "can't have a return"; the precise way to state
this is "statements that can complete abruptly for reasons X, Y
and Z" (see JLS 14.1). <br>
<br>
The static context applies not only to the BlockStatements
prior, but also the ExplicitCtorInvocation. <br>
<br>
<br>
</font></font><br>
<div class="moz-cite-prefix">On 1/27/2023 3:52 PM, Archie Cobbs
wrote:<br>
</div>
<blockquote type="cite" cite="mid:CANSoFxtgHsQ1-WFAgkS0kTbpBDJ-SxNnFBsW8yESgFDmAgzoAg@mail.gmail.com">
<div dir="ltr">
<div dir="ltr">On Fri, Jan 27, 2023 at 12:16 PM Archie Cobbs
<<a href="mailto:archie.cobbs@gmail.com" moz-do-not-send="true" class="moz-txt-link-freetext">archie.cobbs@gmail.com</a>>
wrote:</div>
<div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0px 0px 0px
0.8ex;border-left:1px solid
rgb(204,204,204);padding-left:1ex">
<div dir="ltr">On Thu, Jan 26, 2023 at 5:51 PM Brian Goetz
<<a href="mailto:brian.goetz@oracle.com" target="_blank" moz-do-not-send="true" class="moz-txt-link-freetext">brian.goetz@oracle.com</a>>
wrote:
<div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0px 0px
0px 0.8ex;border-left:1px solid
rgb(204,204,204);padding-left:1ex">
<div> <font size="4"><font face="monospace">I think
that's where we should start; if we are
spectacularly successful, we can come back for
more.</font></font></div>
</blockquote>
<div><br>
</div>
<div>OK thanks. Proceeding...<br>
</div>
</div>
</div>
</blockquote>
<div><br>
</div>
<div>JEP is <a href="https://bugs.openjdk.org/browse/JDK-8300786" moz-do-not-send="true">updated</a>. Not surprisingly, it
has gotten a good bit simpler.</div>
<div>
<div class="gmail_quote">
<div><br>
</div>
<div>Change log...<br>
</div>
<div><br>
</div>
- Removed discussions of 'this' escape, try { } blocks and
initialization order</div>
<div class="gmail_quote">
<div class="gmail_quote">- Removed if/then example
choosing between two different superclass constructors</div>
- Restate JLS changes</div>
</div>
<div><br>
</div>
<div>The updated JLS changes are:<br>
</div>
<div><br>
</div>
<div style="margin-left:40px">1. Change the grammar for
`ConstructorBody` to:<br>
<br>
</div>
<div style="margin-left:40px"><span style="font-family:monospace"> ConstructorBody:</span><br>
<span style="font-family:monospace"> {
[BlockStatements] } ;</span><br>
<span style="font-family:monospace"> {
[BlockStatements] ExplicitConstructorInvocation
[BlockStatements] } ;</span><br>
</div>
<div style="margin-left:40px">
<div style="margin-left:40px"><span style="font-family:monospace"></span></div>
<br>
2. Specify that the <span style="font-family:monospace">BlockStatements</span>
prior to <span style="font-family:monospace">ExplicitConstructorInvocation</span>
are in a static context (ยง8.1.3)<br>
</div>
</div>
<div><br>
</div>
<div>Reload & resume firing... :)<br>
</div>
<div><br>
</div>
<div>-Archie<br>
</div>
<div class="gmail_quote"><br>
</div>
-- <br>
<div dir="ltr" class="gmail_signature">Archie L. Cobbs<br>
</div>
</div>
</blockquote>
<br>
</body>
</html>