src/parser/Parallel_File_Token_Stream.cc
void Parallel_File_Token_Stream::letter::rewind() {
  if (is_io_processor_) {
    infile_.clear(); // Must clear the error/end flag bits.
    infile_.seekg(0);
  }

  at_eof_ = at_error_ = false;

  Ensure(check_class_invariants());
}
//-------------------------------------------------------------------------//
/*!
 *
 * This function rewinds the file stream associated with the file token stream
 * and flushes its internal buffers, so that scanning resumes at the beginning
 * of the file stream.
 */
This function rewinds the file stream associated with the file token stream
and flushes its internal buffers, so that scanning resumes at the beginning
of the file stream.
This function rewinds the file stream associated with the file token stream and flushes its internal buffers so that scanning resumes at the beginning of the file stream .
void Parallel_File_Token_Stream::letter::rewind() {
  if (is_io_processor_) {
    infile_.clear(); 
    infile_.seekg(0);
  }
  at_eof_ = at_error_ = false;
  Ensure(check_class_invariants());
}
void Parallel_File_Token_Stream :: letter :: rewind ( ) { if ( is_io_processor_ ) { infile_ . clear ( ) ; infile_ . seekg ( 0 ) ; } at_eof_ = at_error_ = false ; Ensure ( check_class_invariants ( ) ) ; }
This function rewinds the file stream associated with the file token stream
 and flushes its internal buffers, so that scanning resumes at the beginning
 of the file stream.
This function rewinds the file stream associated with the file token stream and flushes its internal buffers so that scanning resumes at the beginning of the file stream .
// Must clear the error/end flag bits.