Change tabbing for everything....

[IRC.git] / Robust / src / Lex / WhiteSpace.java

diff --git a/Robust/src/Lex/WhiteSpace.java b/Robust/src/Lex/WhiteSpace.java
index fc87301d37432e5a669b22033e8b912bdf93d0b3..a9425569c5a918499180985e5ff8f62b146596ae 100644 (file)
--- a/Robust/src/Lex/WhiteSpace.java
+++ b/Robust/src/Lex/WhiteSpace.java
@@ -2,15 +2,21 @@ package Lex;
 
 class WhiteSpace extends InputElement {
   char whitespace;
-  WhiteSpace(char which) { this.whitespace=which; }
+  WhiteSpace(char which) {
+    this.whitespace=which;
+  }
 
-  public String toString() { 
+  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+">";