Detect if character is a whitespace

diff --git a/Robust/src/ClassLibrary/Character.java b/Robust/src/ClassLibrary/Character.java
index 2a12c8c1d9b4b8f5cfba9ee33442e2e2269b310a..521a174e6eb967a4707776876ca2ce78d6b4dad4 100644 (file)
--- a/Robust/src/ClassLibrary/Character.java
+++ b/Robust/src/ClassLibrary/Character.java
@@ -28,4 +28,22 @@ public class Character {
   public String toString() {
     return ""+value;
   }
+
+  public static boolean isWhitespace(char character) {
+    boolean returnValue;
+    if ( (character == '\t') ||
+        (character == '\n') || 
+        (character == ' ') || 
+        (character == '\u000C') || 
+        (character == '\u001C') || 
+        (character == '\u001D') || 
+        (character == '\u001E') || 
+        (character == '\u001F')) 
+    {
+      returnValue = true;     
+    } else {
+      returnValue = false;
+    }
+    return returnValue;
+  }
 }