StreamTokenizer.java (pushBack): Update documentation.
authorMark Wielaard <mark@klomp.org>
Tue, 16 Jul 2002 21:08:25 +0000 (21:08 +0000)
committerMark Wielaard <mark@gcc.gnu.org>
Tue, 16 Jul 2002 21:08:25 +0000 (21:08 +0000)
* java/io/StreamTokenizer.java (pushBack): Update documentation.
(whitespaceChars): call resetChar().

From-SVN: r55496

libjava/ChangeLog
libjava/java/io/StreamTokenizer.java

index b8981122027a17127365433f9b91eb6747a5a8d5..242638f5d95e959ecf0ad7d0cdc70f54053a119a 100644 (file)
@@ -1,3 +1,8 @@
+2002-07-16  Mark Wielaard  <mark@klomp.org>
+
+       * java/io/StreamTokenizer.java (pushBack): Update documentation.
+       (whitespaceChars): call resetChar().
+
 2002-07-15  Tom Tromey  <tromey@redhat.com>
 
        * Makefile.in: Rebuilt.
index f2e39698ca6fbd8bb04e06ae73966c4822b29d08..5b3533b633d1882d2820c062e999e0836a61d8f4 100644 (file)
@@ -1,5 +1,5 @@
 /* StreamTokenizer.java -- parses streams of characters into tokens
-   Copyright (C) 1998, 1999, 2000, 2001  Free Software Foundation
+   Copyright (C) 1998, 1999, 2000, 2001, 2002  Free Software Foundation
 
 This file is part of GNU Classpath.
 
@@ -554,16 +554,13 @@ public class StreamTokenizer
   }
 
   /**
-   * This method returns the current line number.  Note that if the 
-   * <code>pushBack()</code> method is called, it has no effect on the
-   * line number returned by this method.
-   *
-   * @return The current line number
+   * Puts the current token back into the StreamTokenizer so
+   * <code>nextToken</code> will return the same value on the next call.
+   * May cause the lineno method to return an incorrect value
+   * if lineno is called before the next call to nextToken.
    */
   public void pushBack()
   {
-    // pushBack may cause the lineno method to return an incorrect value
-    // if lineno is called before the next call to nextToken.
     pushedBack = true;
   }
 
@@ -670,7 +667,10 @@ public class StreamTokenizer
     if (hi > 255)
       hi = 255;
     for (int i = low; i <= hi; i++)
-      whitespace[i] = true;
+      {
+       resetChar(i);
+       whitespace[i] = true;
+      }
   }
 
   /**