src/parser/Text_Token_Stream.cc
unsigned Text_Token_Stream::scan_digit_sequence_(unsigned &pos) {
  unsigned const old_pos = pos;
  while (isdigit(peek_(pos)))
    pos++;
  return pos - old_pos;
}
//------------------------------------------------------------------------------------------------//
/*!
 * \brief Try to scan a digit sequence.
 *
 * \return length of scanned text; 0 if no text could be scanned.
 */
\brief Try to scan a digit sequence.
\return length of scanned text; 0 if no text could be scanned.
\ brief Try to scan a digit sequence . \ return length of scanned text ; 0 if no text could be scanned .
unsigned Text_Token_Stream::scan_digit_sequence_(unsigned &pos) {
  unsigned const old_pos = pos;
  while (isdigit(peek_(pos)))
    pos++;
  return pos - old_pos;
}
unsigned Text_Token_Stream :: scan_digit_sequence_ ( unsigned & pos ) { unsigned const old_pos = pos ; while ( isdigit ( peek_ ( pos ) ) ) pos ++ ; return pos - old_pos ; }
\brief Try to scan a digit sequence.
\ brief Try to scan a digit sequence .