Roger, You withdrew the comment from the CSR so I assumed that you had changed your mind.
Stuart, Sherman and Joe have be pushing the use of codepoints versus char (or ASCII) in new character related comments hence the choice of ‘\unnnn' notation. Unfortunately, unicode preprocessing vs backslash processing vs Javadoc does not allow the '\\u0020' in comments (it ends up being '\\u0020’ in the Javadoc) and '\u0020’ just ends up being ‘ ‘. Cheers, — Jim > On May 8, 2018, at 10:04 AM, Roger Riggs <roger.ri...@oracle.com> wrote: > > Hi Jim, > > The use of \u005c in the source makes the source code unreadable. > The more conventional use of the 0x prefix (i.e. 0x0130) is preferred. > Though \u is necessary in some cases, it should be avoided where a more > readable alternative is available. > > Thanks, Roger > > > On 5/8/2018 8:19 AM, Jim Laskey wrote: >> Comment change approved in CSR >> >> webrev: http://cr.openjdk.java.net/~jlaskey/8200372/webrev/index.html >> JBS: https://bugs.openjdk.java.net/browse/JDK-8200372 >> CSR: https://bugs.openjdk.java.net/browse/JDK-8196005 >
