src/parser/Text_Token_Stream.cc
void Text_Token_Stream::pop_include() {
  Check(lines_.size() > 0);

  line_ = lines_.top();
  lines_.pop();
  buffer_ = buffers_.top();
  buffers_.pop();

  Require(check_class_invariants());
}
//------------------------------------------------------------------------------------------------//
/*!
 * This function is pure virtual with an implementation. This means that every
 * child class must implement this function, but part of its implementation
 * must be to reset the line number by directly calling the base version. That
 * is, every child class must include
 *
 * \code
 *    Text_Token_Stream::pop_include(include_file_name);
 * \endcode
 *
 * as the first line in its implementation of this function.
 */
This function is pure virtual with an implementation. This means that every
child class must implement this function, but part of its implementation
must be to reset the line number by directly calling the base version. That
is, every child class must include



as the first line in its implementation of this function.
This function is pure virtual with an implementation . This means that every child class must implement this function but part of its implementation must be to reset the line number by directly calling the base version . That is every child class must include as the first line in its implementation of this function .
void Text_Token_Stream::pop_include() {
  Check(lines_.size() > 0);
  line_ = lines_.top();
  lines_.pop();
  buffer_ = buffers_.top();
  buffers_.pop();
  Require(check_class_invariants());
}
void Text_Token_Stream :: pop_include ( ) { Check ( lines_ . size ( ) > 0 ) ; line_ = lines_ . top ( ) ; lines_ . pop ( ) ; buffer_ = buffers_ . top ( ) ; buffers_ . pop ( ) ; Require ( check_class_invariants ( ) ) ; }
This function is pure virtual with an implementation.
This function is pure virtual with an implementation .