20.5

java.lang.Character

THE PACKAGE JAVA.LANG

20.5.17

public static boolean isJavaLetter(char ch)

The result is true if and only if the character argument is a character that can begin

a Java identifier.

A character is considered to be a Java letter if and only if it is a letter

( 20.5.15) or is the dollar sign character

 $ 

 (

\u0024

) or the underscore ( low

line ) character

 _ 

 (

\u005F

).

[This method is scheduled for introduction in Java version 1.1, either as

defined here, or updated for Unicode 2.0; see  20.5.]

20.5.18

public static boolean isJavaLetterOrDigit(char ch)

The result is true if and only if the character argument is a character that can occur

in a Java identifier after the first character.

A character is considered to be a Java letter or digit if and only if it is a letter 

or digit ( 20.5.16) or is the dollar sign character

 $ 

 (

\u0024

) or the underscore

( low line ) character

 _ 

 (

\u005F

).

[This method is scheduled for introduction in Java version 1.1, either as

defined here, or updated for Unicode 2.0; see  20.5.]

20.5.19

public static boolean isSpace(char ch)

The result is

true

 if the argument

ch

 is one of the following characters:

 \t 

\u0009

HT

HORIZONTAL TABULATION

 \n 

\u000A

LF

LINE FEED

(also known as

NEW LINE

)

 \f 

\u000C

FF

FORM FEED

 \r 

\u000D

CR

CARRIAGE RETURN

\u0020

SP

SPACE

Otherwise, the result is

false

.

20.5.20

public static char toLowerCase(char ch)

If the character

ch

 has a lowercase equivalent specified in the Unicode attribute

table, then that lowercase equivalent character is returned. Otherwise, the argu 

ment

ch

 is returned.

The lowercase equivalents specified in the Unicode attribute table, for Uni 

code 1.1.5 as corrected above, are as follows, where character codes to the right of

arrows are the lowercase equivalents of character codes to the left of arrows:

0041

005A

0061

007A

,

00C0

00D6

00E0

00F6

,

00D8

00DE

00F8

00FE

,

0100

012E

0101

012F

 (evens to odds),

0132

0136

0133

0137

 (evens to

482