On 5/29/2019 9:57 AM, Arthur Neufeld wrote:
String season = """ winter """; // the six characters w i n t e rDoesn’t “season” actually contain 7 characters? w i n t e r \n
Good catch, thanks. Yes, seven characters. The final character is a line terminator per step 7 of the reindentation algorithm: "If the final line in the list from step 6 is empty [because the final line was all white space prior to stripping], then the joining LF from the previous line will be the last character in the result string."
There were other spec examples which had the closing delimiter on its own line, yet forgot to include the final LF in the result string. I have corrected the spec @ http://cr.openjdk.java.net/~abuckley/jep355/text-blocks-jls.html
Alex
