From: Archie Cobbs (archie@whistle.com)
Date: Sun Dec 13 1998 - 01:27:43 EST
Godmar Back writes:
> Therefore, I restructured the tokenizer to never push back EOF
> onto the pushback reader. Instead, once an EOF is detected, it
> will always return EOF when reading the next character. To achieve
> this, I wrapped the call to pushIn.unread() in a function unRead() that
> would check whether EOF was about to be pushed back.
> I replaced all calls to pushIn.unread with calls to unRead().
>
> Any comments?
As long as it implements what's described in the Java API docs
on the javasoft website, I'm happy :-)
-Archie
___________________________________________________________________________
Archie Cobbs * Whistle Communications, Inc. * http://www.whistle.com
This archive was generated by hypermail 2b29 : Sat Sep 23 2000 - 19:57:13 EDT