rt/emul/mini/src/main/java/java/lang/Character.java
changeset 1291 f66bcda82345
parent 1260 fe3567c7b522
child 1350 f14e9730d4e9
     1.1 --- a/rt/emul/mini/src/main/java/java/lang/Character.java	Sat Sep 07 13:56:22 2013 +0200
     1.2 +++ b/rt/emul/mini/src/main/java/java/lang/Character.java	Sun Sep 22 21:42:48 2013 +0200
     1.3 @@ -2375,7 +2375,14 @@
     1.4       * @since   1.5
     1.5       */
     1.6      public static boolean isWhitespace(int codePoint) {
     1.7 -        throw new UnsupportedOperationException();
     1.8 +        if (
     1.9 +            codePoint == SPACE_SEPARATOR || 
    1.10 +            codePoint == LINE_SEPARATOR || 
    1.11 +            codePoint == PARAGRAPH_SEPARATOR
    1.12 +        ) {
    1.13 +            return true;
    1.14 +        }
    1.15 +        return false;
    1.16      }
    1.17  
    1.18      /**