2 public class Character {
4 public static int digit(char ch, int radix) {
7 else if (ch>='a'&&ch<='z') {
11 } else if (ch>='A'&&ch<='Z') {
19 public static boolean isDigit(char ch) {
20 // TODO This is a temparory implementation, there are other groups of digits
28 @LOC("VALUE") char value;
30 public Character(char c) {
34 public Character(Character c) {
38 @LATTICE("OUT<THIS,RETURNLOC=OUT,THISLOC=THIS,GLOBALLOC=OUT")
39 public String toString() {
43 public static boolean isWhitespace(char character) {
45 if ( (character == '\t') ||
46 (character == '\n') ||
48 (character == '\u000C') ||
49 (character == '\u001C') ||
50 (character == '\u001D') ||
51 (character == '\u001E') ||
52 (character == '\u001F')) {
60 public static final int MIN_RADIX = 2;
61 public static final int MAX_RADIX = 36;
63 public static char forDigit(int digit, int radix) {
64 if ((digit >= radix) || (digit < 0)) {
67 if ((radix < Character.MIN_RADIX) || (radix > Character.MAX_RADIX)) {
71 return (char)('0' + digit);
73 return (char)('a' - 10 + digit);