Robust/src/Lex/WhiteSpace.java

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