Programming Languages Research Group: Git - IRC.git/blob

   1 package Lex;
   2
   3 class WhiteSpace extends InputElement {
   4   char whitespace;
   5   WhiteSpace(char which) { this.whitespace=which; }
   6
   7   public String toString() {
   8     String s;
   9     switch(whitespace) {
  10     case ' ':  s = "SP"; break;
  11     case '\t': s = "HT"; break;
  12     case '\f': s = "FF"; break;
  13     case '\n': s = "LT"; break;
  14     default:   s = "Unknown Whitespace character."; break;
  15     }
  16     return "Whitespace <"+s+">";
  17   }
  18 }