|Re: Character.isIdentifierIgnorable [message #1826500 is a reply to message #1826497]
||Sat, 25 April 2020 22:42
| Jeff Higgins
Registered: July 2009
isIdentifierIgnorable() is specified and implemented as part of the Java system libraries.|
If that conflicts with practical issues in certain languages, than that specification (and its implementation) should be changed
Yes, no, maybe.
We, I, are/am not discussing which characters are specified in Character.isIdentifierIgnorable(int).
The issue is what an implementation does with these ignorable characters, whatever they may be.
Prior to JLS for SE 9 the relevent paragraph read:
Two identifiers are the same only if they are identical, that is, have the same
Unicode character for each letter or digit. Identifiers that have the same external
appearance may yet be different.
Since then reads:
Two identifiers are the same only if, after ignoring characters that are
ignorable, the identifiers have the same Unicode character for each letter
or digit. An ignorable character is a character for which the method
Character.isIdentifierIgnorable(int) returns true. Identifiers that have the
same external appearance may yet be different.
in one of the linked bugs someone argued why ecj might be at fault.
I tend to agree that openjdk impl is more in line with my reading.
Whether and how ecj is to be changed is discussed in bugzilla, not here.
Now your sounding like a dev. :-)
That would, however, go towards ignoring *more*, not less.
I don't understand this sentence.
Looking at your comment #13 in 547817 you seem to be agreeing with my assessment above:
"I tend to agree that openjdk impl is more in line with my reading."
[Updated on: Sat, 25 April 2020 22:56]
Report message to a moderator
Powered by FUDForum
. Page generated in 0.02829 seconds