src/parser/String_Token_Stream.cc
void String_Token_Stream::report(Token const &token, string const &message) {
  messages_ += token.location() + "\n" + message + '\n';

  Ensure(check_class_invariants());
}
//------------------------------------------------------------------------------------------------//
/*!
 * This function sends a messsage by writing it to an internal string.
 */
This function sends a messsage by writing it to an internal string.
This function sends a messsage by writing it to an internal string .
void String_Token_Stream::report(Token const &token, string const &message) {
  messages_ += token.location() + "\n" + message + '\n';
  Ensure(check_class_invariants());
}
void String_Token_Stream :: report ( Token const & token , string const & message ) { messages_ += token . location ( ) + " \n " + message + ' \n ' ; Ensure ( check_class_invariants ( ) ) ; }
This function sends a messsage by writing it to an internal string.
This function sends a messsage by writing it to an internal string .