This is the mail archive of the
mailing list for the Mauve project.
Re: Unicode character \u2102
The 1.2 specification for Character.isLowerCase() appears to have 2
specifications. Also one might also read that all the "L1" characters are
"considered to be lowercase"
1) is the "L1" in the unicode 2.0 character set.
2) The other soecification that specifically excludes the \u2000 <=>
The Character.isUpperCase() does not have any Unicode character
'category" specification at all.
It is not yet, to me, what is/isnot really true/false for any of the
Character methods. Searching......
Tom Tromey wrote:
> >>>>> ">" == Uncle George <firstname.lastname@example.org> writes:
> >> From the JAVA documentaion, the unicode char 2102, is just not a
> >> capital letter ( 1'st test - must NOT be between \u2000 - \u2fff ).
> >> ergo can never be a java uppercase letter!
> >> Is there something going on with the presumption of the
> >> CharacterTest ?
> I don't recall -- does CharacterTest say that \u2102 is upper case or
> If you read the online JDK 1.2 docs, you'll notice that isLowercase
> has two possible definitions. One is `Ll'. The other is a long
> sequence of conditions.
> Sun told me that `Ll' is the correct answer. I'm not sure I believe
> them. So it's still possible that this bug could lie anywhere: in
> Sun's doc, Sun's implementation, or our test.
> Anyway, by analogy I'd assume their uppercase documentation is
> similarly incorrect (or not).
> Opinions, preferably with supporting documentation, solicited.