X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2FJavaGrammar%2FLex%2FWhiteSpace.java;fp=Robust%2FJavaGrammar%2FLex%2FWhiteSpace.java;h=0000000000000000000000000000000000000000;hb=cdcf09c40af1419fa42932aae249cb79b69b5daf;hp=fc87301d37432e5a669b22033e8b912bdf93d0b3;hpb=bae799f54777dbf7bf3f222c61aeeb72b4b11c85;p=IRC.git

diff --git a/Robust/JavaGrammar/Lex/WhiteSpace.java b/Robust/JavaGrammar/Lex/WhiteSpace.java
deleted file mode 100644
index fc87301d..00000000
--- a/Robust/JavaGrammar/Lex/WhiteSpace.java
+++ /dev/null
@@ -1,18 +0,0 @@
-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+">";
-  }
-}