src/parser/Text_Token_Stream.cc
void Text_Token_Stream::rewind() {
  while (!buffers_.empty())
    buffers_.pop();
  buffer_.clear();
  while (!lines_.empty())
    lines_.pop();
  line_ = 1;

  Token_Stream::rewind();

  Ensure(check_class_invariants());
  Ensure(error_count() == 0);
}
//------------------------------------------------------------------------------------------------//
/*!
 * This function flushes the Text_Token_Stream's internal buffers, so that
 * scanning resumes at the beginning of the file stream.  It is normally called
 * by its overriding version in children of Text_Token_Stream.
 */
This function flushes the Text_Token_Stream's internal buffers, so that
scanning resumes at the beginning of the file stream.  It is normally called
by its overriding version in children of Text_Token_Stream.
This function flushes the Text_Token_Stream ' s internal buffers so that scanning resumes at the beginning of the file stream . It is normally called by its overriding version in children of Text_Token_Stream .
void Text_Token_Stream::rewind() {
  while (!buffers_.empty())
    buffers_.pop();
  buffer_.clear();
  while (!lines_.empty())
    lines_.pop();
  line_ = 1;
  Token_Stream::rewind();
  Ensure(check_class_invariants());
  Ensure(error_count() == 0);
}
void Text_Token_Stream :: rewind ( ) { while ( ! buffers_ . empty ( ) ) buffers_ . pop ( ) ; buffer_ . clear ( ) ; while ( ! lines_ . empty ( ) ) lines_ . pop ( ) ; line_ = 1 ; Token_Stream :: rewind ( ) ; Ensure ( check_class_invariants ( ) ) ; Ensure ( error_count ( ) == 0 ) ; }
This function flushes the Text_Token_Stream's internal buffers, so that
 scanning resumes at the beginning of the file stream.
This function flushes the Text_Token_Stream ' s internal buffers so that scanning resumes at the beginning of the file stream .