Robust/src/ClassLibrary/Character.java

   1 public class Character {
   2
   3   public static int digit(char ch, int radix) {
   4     if (ch>='0'&&ch<='9')
   5       return ch-'0';
   6     else if (ch>='a'&&ch<='z') {
   7       int val=(ch-'a')+10;
   8       if (val<radix)
   9         return val;
  10     } else if (ch>='A'&&ch<='Z') {
  11       int val=(ch-'A')+10;
  12       if (val<radix)
  13         return val;
  14     }
  15     return -1;
  16   }
  17
  18   public static boolean isDigit(char ch) {
  19     // TODO This is a temparory implementation, there are other groups of digits
  20     // besides '0' ~ '9'
  21     if (ch>='0'&&ch<='9')
  22       return true;
  23     else
  24       return false;
  25   }
  26
  27   char value;
  28
  29   public Character(char c) {
  30     value = c;
  31   }
  32
  33   public Character(Character c) {
  34     value = c.value;
  35   }
  36
  37   public String toString() {
  38     return ""+value;
  39   }
  40
  41   public static boolean isWhitespace(char character) {
  42     boolean returnValue;
  43     if ( (character == '\t') ||
  44          (character == '\n') ||
  45          (character == ' ') ||
  46          (character == '\u000C') ||
  47          (character == '\u001C') ||
  48          (character == '\u001D') ||
  49          (character == '\u001E') ||
  50          (character == '\u001F')) {
  51       returnValue = true;
  52     } else {
  53       returnValue = false;
  54     }
  55     return returnValue;
  56   }
  57 }