src/parser/Text_Token_Stream.cc
char Text_Token_Stream::peek_(unsigned const pos) {
  while (buffer_.size() <= pos) {
    fill_character_buffer_();
  }

  Ensure(check_class_invariants());
  return buffer_[pos];
}
//------------------------------------------------------------------------------------------------//
/*!
 * An internal buffer is used to implement unlimited lookahead, necessary for
 * scanning numbers (which have a quite complex regular expression.)  This
 * function peeks ahead the specified number of places in the buffer, using
 * fill_character_buffer() if necessary to ensure that there is a sufficient
 * number of characters in the buffer.
 *
 * \param pos Position at which to peek.
 *
 * \return The character at \c buffer[pos].
 */
An internal buffer is used to implement unlimited lookahead, necessary for
scanning numbers (which have a quite complex regular expression.)  This
function peeks ahead the specified number of places in the buffer, using
fill_character_buffer() if necessary to ensure that there is a sufficient
number of characters in the buffer.

\param pos Position at which to peek.

\return The character at \c buffer[pos].
An internal buffer is used to implement unlimited lookahead necessary for scanning numbers ( which have a quite complex regular expression . ) This function peeks ahead the specified number of places in the buffer using fill_character_buffer () if necessary to ensure that there is a sufficient number of characters in the buffer . \ param pos Position at which to peek . \ return The character at \ c buffer [ pos ] .
char Text_Token_Stream::peek_(unsigned const pos) {
  while (buffer_.size() <= pos) {
    fill_character_buffer_();
  }
  Ensure(check_class_invariants());
  return buffer_[pos];
}
char Text_Token_Stream :: peek_ ( unsigned const pos ) { while ( buffer_ . size ( ) <= pos ) { fill_character_buffer_ ( ) ; } Ensure ( check_class_invariants ( ) ) ; return buffer_ [ pos ] ; }
An internal buffer is used to implement unlimited lookahead, necessary for
 scanning numbers (which have a quite complex regular expression.)
An internal buffer is used to implement unlimited lookahead necessary for scanning numbers ( which have a quite complex regular expression . )