<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
Thanks Alex (and apologies for missing your earlier email - don’t know what happened there).
<div class=""><br class="">
</div>
<div class="">Updated spec available at:</div>
<div class=""><br class="">
</div>
<div class=""><a href="https://cr.openjdk.org/~gbierman/jep430/latest/" class="">https://cr.openjdk.org/~gbierman/jep430/latest/</a></div>
<div class=""><br class="">
</div>
<div class="">Thanks,</div>
<div class="">Gavin<br class="">
<div><br class="">
<blockquote type="cite" class="">
<div class="">On 28 Feb 2023, at 18:37, Alex Buckley <<a href="mailto:alex.buckley@oracle.com" class="">alex.buckley@oracle.com</a>> wrote:</div>
<br class="Apple-interchange-newline">
<div class="">
<div class="">1. Escape sequences are legal in fragments, so 3.10.7 should open with something like:<br class="">
<br class="">
"In character literals, string literals, and text blocks (§3.10.4, §3.10.5, §3.10.6), +and in fragments of a template (3.13),+ the escape sequences allow for ..."<br class="">
<br class="">
<br class="">
2. 3.10.7 goes on to say that "An escape sequence in the content of a character literal, string literal, or text block is interpreted by ...". This statement constitutes one half of a two-part exposition of interpretation, the other half being found in 3.10.4/5/6
where `String.translateEscapes` is mentioned. Two-way exposition is hard to write, expensive to maintain, but helpful to read. 3.13 is upfront that StringTemplateBegin, StringTemplateMid, and StringTemplateEnd tokens enjoy interpretation, so let's get them
named in 3.10.7. 3.13 is less upfront about TextBlockTemplateBegin, TextBlockTemplateMid, and TextBlockTemplateEnd tokens, let me set them aside for now.<br class="">
<br class="">
<br class="">
3. 3.10.7 should end with a note that the character sequence \{ is not an escape sequence but rather has meaning in a template (3.13).<br class="">
<br class="">
<br class="">
4. In 3.13, consider "A fragment ~consists of~ +represents+ a non-expression part of a template." (Ch.3 is big on "representing", or perhaps "denoting", things.) This sentence would work well in the opening paragraph of the section.<br class="">
<br class="">
<br class="">
5. 15.8.6 needs more polishing, per the mail I sent about it last time. I'll discuss offline.<br class="">
<br class="">
Alex<br class="">
<br class="">
On 2/28/2023 8:15 AM, Gavin Bierman wrote:<br class="">
<blockquote type="cite" class="">Following the feedback, a small update of the String Templates Spec is now available:<br class="">
<a href="https://cr.openjdk.org/~gbierman/jep430/jep430-20230222/specs/string-templates-jls.html" class="">https://cr.openjdk.org/~gbierman/jep430/jep430-20230222/specs/string-templates-jls.html</a> <<a href="https://cr.openjdk.org/~gbierman/jep430/jep430-20230222/specs/string-templates-jls.html" class="">https://cr.openjdk.org/~gbierman/jep430/jep430-20230222/specs/string-templates-jls.html</a>><br class="">
Any further comments welcomed!<br class="">
Thanks,<br class="">
Gavin<br class="">
<blockquote type="cite" class="">On 9 Feb 2023, at 15:28, Gavin Bierman <<a href="mailto:gavin.bierman@oracle.com" class="">gavin.bierman@oracle.com</a> <<a href="mailto:gavin.bierman@oracle.com" class="">mailto:gavin.bierman@oracle.com</a>>> wrote:<br class="">
<br class="">
Dear experts:<br class="">
<br class="">
A new, updated spec covering JEP 430 (String Templates) is now available at:<br class="">
<br class="">
<a href="https://cr.openjdk.java.net/~gbierman/jep430/latest" class="">https://cr.openjdk.java.net/~gbierman/jep430/latest</a> <<a href="https://cr.openjdk.java.net/~gbierman/jep430/latest" class="">https://cr.openjdk.java.net/~gbierman/jep430/latest</a>><br class="">
<br class="">
This is a substantial rewrite: it now covers more fully how templates are tokenized, how to deal with ambiguities, and how text block templates are dealt with.<br class="">
<br class="">
Comments welcomed!<br class="">
Gavin<br class="">
</blockquote>
</blockquote>
</div>
</div>
</blockquote>
</div>
<br class="">
</div>
</body>
</html>