+++ /dev/null
-package Lex;
-
-class WhiteSpace extends InputElement {
- char whitespace;
- WhiteSpace(char which) {
- this.whitespace=which;
- }
-
- public String toString() {
- String s;
- switch(whitespace) {
- case ' ': s = "SP"; break;
-
- case '\t': s = "HT"; break;
-
- case '\f': s = "FF"; break;
-
- case '\n': s = "LT"; break;
-
- default: s = "Unknown Whitespace character."; break;
- }
- return "Whitespace <"+s+">";
- }
-}