src/parser/Console_Token_Stream.cc
void Console_Token_Stream::report(Token const &token, string const &message) {
  std::cerr << token.location() << ": " << message << std::endl;

  Ensure(check_class_invariants());
}
//------------------------------------------------------------------------------------------------//
/*!
 * This function sends a message by writing it to the error console stream.
 */
This function sends a message by writing it to the error console stream.
This function sends a message by writing it to the error console stream .
void Console_Token_Stream::report(Token const &token, string const &message) {
  std::cerr << token.location() << ": " << message << std::endl;
  Ensure(check_class_invariants());
}
void Console_Token_Stream :: report ( Token const & token , string const & message ) { std :: cerr << token . location ( ) << " " << message << std :: endl ; Ensure ( check_class_invariants ( ) ) ; }
This function sends a message by writing it to the error console stream.
This function sends a message by writing it to the error console stream .