protected void pushBack ( String str ) { char [ ] chars = str . toCharArray ( ) ; for ( int j = chars . length - 1 ; j >= 0 ; j -- ) { reader . unread ( chars [ j ] ) ; } idx -= chars . length ; }
push back a string to the stream